runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742047-1338784144/watcher-3742047-1338784144 -o /tmp/evaluation-result-3742047-1338784144/solver-3742047-1338784144 -C 1800 -W 1900 -M 15500 pbclasp instance-3742047-1338784144.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 7187
/proc/meminfo: memFree=22351440/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) R 7185 7187 6982 0 -1 4202496 560 0 0 0 0 0 0 0 20 0 1 0 344542928 26206208 491 33554432000 4194304 4198148 140736947360896 140736947358344 235374745722 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 499 355 1 0 230 0
[startup+0.0275741 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 7187
/proc/meminfo: memFree=22351440/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100279 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 7187
/proc/meminfo: memFree=22351440/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300226 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 7187
/proc/meminfo: memFree=22351440/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700108 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 7187
/proc/meminfo: memFree=22351440/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 7192
/proc/meminfo: memFree=22344968/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=8408 CPUtime=1.17 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 1749 0 0 0 117 0 0 0 20 0 1 0 344542929 8609792 1573 33554432000 134512640 134847168 4294007824 4294006268 134735927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 2102 1573 270 82 0 1343 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 68756
[startup+3.10034 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 7192
/proc/meminfo: memFree=22343604/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=11524 CPUtime=2.77 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 2512 0 0 0 277 0 0 0 20 0 1 0 344542929 11800576 2336 33554432000 134512640 134847168 4294007824 4294006064 7292199 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 2881 2336 270 82 0 2122 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 71872
[startup+6.30034 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 7192
/proc/meminfo: memFree=22339644/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=13412 CPUtime=5.96 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 2975 0 0 0 596 0 0 0 20 0 1 0 344542929 13733888 2799 33554432000 134512640 134847168 4294007824 4294006464 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 3353 2799 270 82 0 2594 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 73760
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 7192
/proc/meminfo: memFree=22333832/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=17448 CPUtime=12.37 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 3967 0 0 0 1236 1 0 0 20 0 1 0 344542929 17866752 3791 33554432000 134512640 134847168 4294007824 4294006400 134714478 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 4362 3791 270 82 0 3603 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 77796
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 7192
/proc/meminfo: memFree=22318952/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=30152 CPUtime=25.16 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 7139 0 0 0 2515 1 0 0 20 0 1 0 344542929 30875648 6963 33554432000 134512640 134847168 4294007824 4294006592 134737492 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 7538 6963 270 82 0 6779 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 90500
[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.91 3/181 7192
/proc/meminfo: memFree=22312228/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=37916 CPUtime=50.75 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 9066 0 0 0 5074 1 0 0 20 0 1 0 344542929 38825984 8886 33554432000 134512640 134847168 4294007824 4294006080 7292199 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 9479 8886 270 82 0 8720 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98264
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/182 7195
/proc/meminfo: memFree=22284540/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=51692 CPUtime=101.94 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 12518 0 0 0 10192 2 0 0 20 0 1 0 344542929 52932608 12363 33554432000 134512640 134847168 4294007824 4294006556 134714080 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 12923 12363 270 82 0 12164 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 112040
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/181 7195
/proc/meminfo: memFree=22270940/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=64280 CPUtime=161.91 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7205
/proc/meminfo: memFree=22104332/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=153856 CPUtime=1361.69 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 37574 0 0 0 136159 10 0 0 20 0 1 0 344542929 157548544 37882 33554432000 134512640 134847168 4294007824 4294006464 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 38464 37882 270 82 0 37705 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 214204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7206
/proc/meminfo: memFree=22084540/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=173388 CPUtime=1421.68 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 42381 0 0 0 142157 11 0 0 20 0 1 0 344542929 177549312 42689 33554432000 134512640 134847168 4294007824 4294006464 134782610 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 43347 42689 270 82 0 42588 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 233736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7206
/proc/meminfo: memFree=22069776/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=173388 CPUtime=1481.66 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 42394 0 0 0 148155 11 0 0 20 0 1 0 344542929 177549312 42714 33554432000 134512640 134847168 4294007824 4294006580 134737606 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 43347 42714 270 82 0 42588 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 233736
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7206
/proc/meminfo: memFree=22068156/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=174712 CPUtime=1541.66 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 42735 0 0 0 154154 12 0 0 20 0 1 0 344542929 178905088 43093 33554432000 134512640 134847168 4294007824 4294006464 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 43678 43093 270 82 0 42919 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 235060
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7206
/proc/meminfo: memFree=22066960/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=175932 CPUtime=1601.65 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 42988 0 0 0 160153 12 0 0 20 0 1 0 344542929 180154368 43346 33554432000 134512640 134847168 4294007824 4294006464 134782673 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 43983 43346 270 82 0 43224 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 236280
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 7206
/proc/meminfo: memFree=22046748/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=196428 CPUtime=1661.63 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 48037 0 0 0 166150 13 0 0 20 0 1 0 344542929 201142272 48395 33554432000 134512640 134847168 4294007824 4294006592 134737492 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 49107 48395 270 82 0 48348 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 256776
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/181 7207
/proc/meminfo: memFree=22045604/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=196140 CPUtime=1721.61 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 48051 0 0 0 172148 13 0 0 20 0 1 0 344542929 200847360 48508 33554432000 134512640 134847168 4294007824 4294006076 134793589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 49035 48508 270 82 0 48276 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 256488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7260
/proc/meminfo: memFree=22144760/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=196140 CPUtime=1781.6 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 48051 0 0 0 178147 13 0 0 20 0 1 0 344542929 200847360 48508 33554432000 134512640 134847168 4294007824 4294006464 134782313 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 49035 48508 270 82 0 48276 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 256488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7260
/proc/meminfo: memFree=22131368/32873844 swapFree=7112/7112
[pid=7187] ppid=7185 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/7187/stat : 7187 (pbclasp) S 7185 7187 6982 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 344542928 26357760 536 33554432000 4194304 4198148 140736947360896 140736947359784 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7187/statm: 6435 536 363 1 0 230 0
[pid=7189] ppid=7187 vsize=9148 CPUtime=0.34 cores=0,2,4,6
/proc/7189/stat : 7189 (sh) S 7187 7187 6982 0 -1 4202496 372 621 0 0 0 0 34 0 20 0 1 0 344542929 9367552 263 33554432000 4194304 5064252 140735703989056 140735703987312 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7189/statm: 2287 263 223 213 0 72 0
[pid=7191] ppid=7189 vsize=196140 CPUtime=1799.71 cores=0,2,4,6
/proc/7191/stat : 7191 (clasp-1.0) R 7189 7187 6982 0 -1 4202496 48051 0 0 0 179958 13 0 0 20 0 1 0 344542929 200847360 48508 33554432000 134512640 134847168 4294007824 4294006464 134782435 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7191/statm: 49035 48508 270 82 0 48276 0
[pid=7192] ppid=7189 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7192/stat : 7192 (pboutclasp.pl) S 7189 7187 6982 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344542929 26071040 437 33554432000 4194304 4198148 140736990540208 140736990530744 235378107632 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7192/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 256488
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.94
CPU system time (s): 0.142978
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 256776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.142978
maximum resident set size= 194120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 1880
runsolver used 2.70959 second user time and 7.16991 second system time
The end