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-3739648-1338761815/watcher-3739648-1338761815 -o /tmp/evaluation-result-3739648-1338761815/solver-3739648-1338761815 -C 1800 -W 1900 -M 15500 pbclasp instance-3739648-1338761815.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.02 2.01 2.00 3/180 17147
/proc/meminfo: memFree=26105600/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) R 17145 17147 14893 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 342310095 26357760 532 33554432000 4194304 4198148 140734473129936 140736187380088 218213355412 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6435 532 355 1 0 230 0
[startup+0.0504311 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17147
/proc/meminfo: memFree=26105600/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) R 17145 17147 14893 0 -1 4202496 758 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 689 33554432000 4194304 4198148 140734473129936 140736187380088 218217112816 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 689 357 1 0 394 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26396
[startup+0.100275 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17147
/proc/meminfo: memFree=26105600/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26396
[startup+0.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17147
/proc/meminfo: memFree=26105600/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26396
[startup+0.700239 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17147
/proc/meminfo: memFree=26105600/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26396
[startup+1.50043 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 17152
/proc/meminfo: memFree=26090324/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17150] ppid=17149 vsize=25592 CPUtime=1.44 cores=0,2,4,6
/proc/17150/stat : 17150 (pb2clasp1) R 17149 17147 14893 0 -1 4202496 607 0 0 0 144 0 0 0 20 0 1 0 342310100 26206208 507 33554432000 4194304 4198148 140737402381792 140737402372328 218226212168 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/17150/statm: 6398 507 378 1 0 193 0
[pid=17151] ppid=17149 vsize=13332 CPUtime=0.16 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) S 17149 17147 14893 0 -1 4202496 2886 0 0 0 16 0 0 0 20 0 1 0 342310100 13651968 2794 33554432000 134512640 134847168 4289369600 4289365320 5600304 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 3333 2794 249 82 0 2574 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 99928
[startup+3.10045 s]
/proc/loadavg: 2.02 2.01 2.00 4/184 17152
/proc/meminfo: memFree=26050584/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=45176 CPUtime=0.53 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 11066 0 0 0 51 2 0 0 20 0 1 0 342310100 46260224 10338 33554432000 134512640 134847168 4289369600 4289368100 2523383 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 11294 10338 262 82 0 10535 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 106180
[startup+6.30035 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17152
/proc/meminfo: memFree=26024488/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=43740 CPUtime=3.73 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 11282 0 0 0 371 2 0 0 20 0 1 0 342310100 44789760 10265 33554432000 134512640 134847168 4289369600 4289367860 134792688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 10935 10265 270 82 0 10176 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 104744
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17152
/proc/meminfo: memFree=26017904/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=51628 CPUtime=10.12 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 13257 0 0 0 1010 2 0 0 20 0 1 0 342310100 52867072 12240 33554432000 134512640 134847168 4289369600 4289368320 134741370 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 12907 12240 270 82 0 12148 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.03
Current children cumulated vsize (KiB) 112632
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 17152
/proc/meminfo: memFree=25974024/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=81076 CPUtime=22.92 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 20594 0 0 0 2288 4 0 0 20 0 1 0 342310100 83021824 19577 33554432000 134512640 134847168 4289369600 4289368368 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 20269 19577 270 82 0 19510 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 142080
[startup+51.1005 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 17152
/proc/meminfo: memFree=25901520/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=120228 CPUtime=48.51 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 30453 0 0 0 4845 6 0 0 20 0 1 0 342310100 123113472 29291 33554432000 134512640 134847168 4289369600 4289368240 134715327 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 30057 29291 270 82 0 29298 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.42
Current children cumulated vsize (KiB) 181232
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17153
/proc/meminfo: memFree=25818732/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=159220 CPUtime=99.68 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 40900 0 0 0 9959 9 0 0 20 0 1 0 342310100 163041280 39014 33554432000 134512640 134847168 4289369600 4289368176 134714339 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 39805 39014 270 82 0 39046 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.59
Current children cumulated vsize (KiB) 220224
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 17153
/proc/meminfo: memFree=25762380/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 17167
/proc/meminfo: memFree=25285924/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=426828 CPUtime=1419.38 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 120951 0 0 0 141907 31 0 0 20 0 1 0 342310100 437071872 105067 33554432000 134512640 134847168 4289369600 4289368340 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 106707 105067 270 82 0 105948 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 487832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17167
/proc/meminfo: memFree=25282088/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=429812 CPUtime=1479.36 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 121605 0 0 0 147905 31 0 0 20 0 1 0 342310100 440127488 105721 33554432000 134512640 134847168 4289369600 4289368240 134782662 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 107453 105721 270 82 0 106694 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 490816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17167
/proc/meminfo: memFree=25269812/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=442628 CPUtime=1539.35 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 124707 0 0 0 153903 32 0 0 20 0 1 0 342310100 453251072 108725 33554432000 134512640 134847168 4289369600 4289368368 134737584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 110657 108725 270 82 0 109898 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 503632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17168
/proc/meminfo: memFree=25264232/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=446600 CPUtime=1599.34 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 126108 0 0 0 159902 32 0 0 20 0 1 0 342310100 457318400 109538 33554432000 134512640 134847168 4289369600 4289368356 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 111650 109538 270 82 0 110891 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 507604
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 17168
/proc/meminfo: memFree=25260772/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=446600 CPUtime=1659.33 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 126132 0 0 0 165901 32 0 0 20 0 1 0 342310100 457318400 110141 33554432000 134512640 134847168 4289369600 4289368368 134737345 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 111650 110141 270 82 0 110891 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 507604
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17168
/proc/meminfo: memFree=25256120/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=447568 CPUtime=1719.32 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 126328 0 0 0 171900 32 0 0 20 0 1 0 342310100 458309632 110354 33554432000 134512640 134847168 4289369600 4289368240 134782416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 111892 110354 270 82 0 111133 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 508572
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 17168
/proc/meminfo: memFree=25240496/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=449772 CPUtime=1779.31 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 126972 0 0 0 177899 32 0 0 20 0 1 0 342310100 460566528 110817 33554432000 134512640 134847168 4289369600 4289368368 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 112443 110817 270 82 0 111684 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 510776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17221
/proc/meminfo: memFree=25657416/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=455088 CPUtime=1797.11 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 128151 0 0 0 179678 33 0 0 20 0 1 0 342310100 466010112 111996 33554432000 134512640 134847168 4289369600 4289368240 134782375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 113772 111996 270 82 0 113013 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 516092
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17221
/proc/meminfo: memFree=25657416/32873844 swapFree=7628/7628
[pid=17147] ppid=17145 vsize=26396 CPUtime=0.04 cores=0,2,4,6
/proc/17147/stat : 17147 (pbclasp) S 17145 17147 14893 0 -1 4202496 783 0 0 0 4 0 0 0 20 0 1 0 342310095 27029504 696 33554432000 4194304 4198148 140734473129936 140734473128824 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17147/statm: 6599 696 364 1 0 394 0
[pid=17149] ppid=17147 vsize=9148 CPUtime=2.87 cores=0,2,4,6
/proc/17149/stat : 17149 (sh) S 17147 17147 14893 0 -1 4202496 371 623 0 0 0 0 287 0 20 0 1 0 342310100 9367552 263 33554432000 4194304 5064252 140736858594512 140736858592768 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17149/statm: 2287 263 223 213 0 72 0
[pid=17151] ppid=17149 vsize=455088 CPUtime=1797.11 cores=0,2,4,6
/proc/17151/stat : 17151 (clasp-1.0) R 17149 17147 14893 0 -1 4202496 128151 0 0 0 179678 33 0 0 20 0 1 0 342310100 466010112 111996 33554432000 134512640 134847168 4289369600 4289368240 134782375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17151/statm: 113772 111996 270 82 0 113013 0
[pid=17152] ppid=17149 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17152/stat : 17152 (pboutclasp.pl) S 17149 17147 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342310100 26071040 437 33554432000 4194304 4198148 140736067524704 140736067515240 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17152/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 516092
Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.06
CPU user time (s): 1799.71
CPU system time (s): 0.347947
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 516092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.347947
maximum resident set size= 447984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130743
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= 986
involuntary context switches= 1873
runsolver used 5.31219 second user time and 13.8649 second system time
The end