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-3732086-1338704606/watcher-3732086-1338704606 -o /tmp/evaluation-result-3732086-1338704606/solver-3732086-1338704606 -C 1800 -W 1900 -M 15500 pbclasp instance-3732086-1338704606.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 2.00 2.00 3/179 9066
/proc/meminfo: memFree=29213392/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) D 9064 9066 8320 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 336586079 26071040 362 33554432000 4194304 4198148 140734549703728 140734549701176 260190322357 0 0 4224 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6365 362 277 1 0 160 0
[startup+0.061424 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9066
/proc/meminfo: memFree=29213392/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) R 9064 9066 8320 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 336586079 26341376 505 33554432000 4194304 4198148 140734549703728 140734549701176 260189949844 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6431 505 361 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100206 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9066
/proc/meminfo: memFree=29213392/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 336586079 26341376 537 33554432000 4194304 4198148 140734549703728 140734549702616 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6431 537 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9066
/proc/meminfo: memFree=29213392/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=0.08 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 733 2095 0 0 0 0 8 0 20 0 1 0 336586079 26476544 571 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 571 387 1 0 259 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25856
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9066
/proc/meminfo: memFree=29213392/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=0.58 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 862 4806 0 0 0 0 57 1 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 25856
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9084
/proc/meminfo: memFree=29241492/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=0.58 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 862 4806 0 0 0 0 57 1 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9082] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9082/stat : 9082 (sh) S 9066 9066 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336586145 9367552 264 33554432000 4194304 5064252 140735538267760 140735538266016 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9082/statm: 2287 264 223 213 0 72 0
[pid=9084] ppid=9082 vsize=4968 CPUtime=0.83 cores=0,2,4,6
/proc/9084/stat : 9084 (clasp-1.0) R 9082 9066 8320 0 -1 4202496 834 0 0 0 83 0 0 0 20 0 1 0 336586145 5087232 731 33554432000 134512640 134847168 4293018848 4293017472 134784615 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9084/statm: 1242 731 272 82 0 483 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 39972
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9191
/proc/meminfo: memFree=29250844/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=1.66 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 986 7601 0 0 0 0 164 2 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9097] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9097/stat : 9097 (sh) S 9066 9066 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336586253 9367552 263 33554432000 4194304 5064252 140736423419680 140736423417936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9097/statm: 2287 263 223 213 0 72 0
[pid=9099] ppid=9097 vsize=5240 CPUtime=1.36 cores=0,2,4,6
/proc/9099/stat : 9099 (clasp-1.0) R 9097 9066 8320 0 -1 4202496 879 0 0 0 136 0 0 0 20 0 1 0 336586253 5365760 777 33554432000 134512640 134847168 4287840496 4287839136 134782592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9099/statm: 1310 777 270 82 0 551 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 40244
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9247
/proc/meminfo: memFree=29245816/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=5.62 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1106 10608 0 0 0 0 559 3 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 25856
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9263
/proc/meminfo: memFree=29242560/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=5.62 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1106 10608 0 0 0 0 559 3 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9253] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9253/stat : 9253 (sh) S 9066 9066 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336586649 9367552 264 33554432000 4194304 5064252 140735349285136 140735349283392 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9253/statm: 2287 264 223 213 0 72 0
[pid=9255] ppid=9253 vsize=6576 CPUtime=6.99 cores=0,2,4,6
/proc/9255/stat : 9255 (clasp-1.0) R 9253 9066 8320 0 -1 4202496 1227 0 0 0 699 0 0 0 20 0 1 0 336586649 6733824 1125 33554432000 134512640 134847168 4294410416 4294409056 134748324 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9255/statm: 1644 1125 272 82 0 885 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 41580
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9279
/proc/meminfo: memFree=29240828/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=13.63 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1226 13886 0 0 0 0 1360 3 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9269] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9269/stat : 9269 (sh) S 9066 9066 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336587451 9367552 264 33554432000 4194304 5064252 140736451858512 140736451856768 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9269/statm: 2287 264 223 213 0 72 0
[pid=9271] ppid=9269 vsize=8316 CPUtime=11.77 cores=0,2,4,6
/proc/9271/stat : 9271 (clasp-1.0) R 9269 9066 8320 0 -1 4202496 1646 0 0 0 1177 0 0 0 20 0 1 0 336587451 8515584 1544 33554432000 134512640 134847168 4287883280 4287881904 134784670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9271/statm: 2079 1544 270 82 0 1320 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 43320
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9287
/proc/meminfo: memFree=29238284/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=26.28 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1342 17484 0 0 1 0 2623 4 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9285] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9285/stat : 9285 (sh) S 9066 9066 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336588715 9367552 264 33554432000 4194304 5064252 140737025288000 140737025286256 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9285/statm: 2287 264 223 213 0 72 0
[pid=9287] ppid=9285 vsize=8836 CPUtime=24.72 cores=0,2,4,6
/proc/9287/stat : 9287 (clasp-1.0) R 9285 9066 8320 0 -1 4202496 1794 0 0 0 2472 0 0 0 20 0 1 0 336588715 9048064 1692 33554432000 134512640 134847168 4288723152 4288721792 134782598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9287/statm: 2209 1692 270 82 0 1450 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 43840
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9287
/proc/meminfo: memFree=29232216/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=26.28 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1342 17484 0 0 1 0 2623 4 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9285] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9285/stat : 9285 (sh) S 9066 9066 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336588715 9367552 264 33554432000 4194304 5064252 140737025288000 140737025286256 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9285/statm: 2287 264 223 213 0 72 0
[pid=9287] ppid=9285 vsize=13000 CPUtime=75.91 cores=0,2,4,6
/proc/9287/stat : 9287 (clasp-1.0) R 9285 9066 8320 0 -1 4202496 2782 0 0 0 7591 0 0 0 20 0 1 0 336588715 13312000 2699 33554432000 134512640 134847168 4288723152 4288721856 134616637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9287/statm: 3250 2699 270 82 0 2491 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 48004
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9287
/proc/meminfo: memFree=29229236/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=26.28 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1342 17484 0 0 1 0 2623 4 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9285] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9285/stat : 9285 (sh) S 9066 9066 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336588715 9367552 264 33554432000 4194304 5064252 140737025288000 140737025286256 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9285/statm: 2287 264 223 213 0 72 0
[pid=9287] ppid=9285 vsize=14564 CPUtime=135.89 cores=0,2,4,6
/proc/9287/stat : 9287 (clasp-1.0) R 9285 9066 8320 0 -1 4202496 3194 0 0 0 13589 0 0 0 20 0 1 0 336588715 14913536 3122 33554432000 134512640 134847168 4288723152 4288721776 134784667 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9287/statm: 3641 3122 270 82 0 2882 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 49568
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9297
/proc/meminfo: memFree=29233020/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=26.28 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1342 17484 0 0 1 0 2623 4 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9285] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9285/stat : 9285 (sh) S 9066 9066 8320 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 336588715 9367552 264 33554432000 4194304 5064252 140737025288000 140737025286256 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9285/statm: 2287 264 223 213 0 72 0
[pid=9287] ppid=9285 vsize=15420 CPUtime=195.89 cores=0,2,4,6
/proc/9287/stat : 9287 (clasp-1.0) R 9285 9066 8320 0 -1 4202496 3374 0 0 0 19588 1 0 0 20 0 1 0 336588715 15790080 3318 33554432000 134512640 134847168 4288723152 4288721776 134784604 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9287/statm: 3855 3318 270 82 0 3096 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 50424
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 9298
/proc/meminfo: memFree=29228856/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=26.28 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1342 17484 0 0 1 0 2623 4 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9285] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/9309/statm: 4246 3662 270 82 0 3487 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 51988
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9310
/proc/meminfo: memFree=29220244/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=18132 CPUtime=296.08 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 3977 0 0 0 29608 0 0 0 20 0 1 0 336632691 18567168 3966 33554432000 134512640 134847168 4290389520 4290388224 134616592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 4533 3966 270 82 0 3774 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 53136
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9310
/proc/meminfo: memFree=29220048/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=18920 CPUtime=356.05 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4147 0 0 0 35605 0 0 0 20 0 1 0 336632691 19374080 4186 33554432000 134512640 134847168 4290389520 4290388096 134714740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 4730 4186 270 82 0 3971 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 53924
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9311
/proc/meminfo: memFree=29218936/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=19320 CPUtime=416.04 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4260 0 0 0 41604 0 0 0 20 0 1 0 336632691 19783680 4299 33554432000 134512640 134847168 4290389520 4290388200 134789714 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 4830 4299 270 82 0 4071 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 54324
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9311
/proc/meminfo: memFree=29218688/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=19740 CPUtime=476.02 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4342 0 0 0 47602 0 0 0 20 0 1 0 336632691 20213760 4381 33554432000 134512640 134847168 4290389520 4290388204 134616172 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 4935 4381 270 82 0 4176 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 54744
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9314
/proc/meminfo: memFree=29217256/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20300 CPUtime=536.02 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4473 0 0 0 53601 1 0 0 20 0 1 0 336632691 20787200 4512 33554432000 134512640 134847168 4290389520 4290388144 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5075 4512 270 82 0 4316 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 55304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217456/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=596 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 59599 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388212 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 55492
Solver just ended. Dumping a history of the last processes samples
[startup+1065.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217332/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=599.2 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 59919 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388160 134715264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1065.16
Current children cumulated vsize (KiB) 55492
[startup+1067.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217332/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=600.8 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 60079 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388224 134616592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1066.76
Current children cumulated vsize (KiB) 55492
[startup+1067.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217332/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=601.2 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 60119 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388212 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1067.16
Current children cumulated vsize (KiB) 55492
[startup+1067.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217332/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=601.6 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 60159 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388144 134784608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1067.56
Current children cumulated vsize (KiB) 55492
[startup+1068 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9314
/proc/meminfo: memFree=29217332/32873648 swapFree=7116/7116
[pid=9066] ppid=9064 vsize=25856 CPUtime=465.96 cores=0,2,4,6
/proc/9066/stat : 9066 (pbclasp) S 9064 9066 8320 0 -1 4202496 1454 23577 0 0 1 0 46589 6 20 0 1 0 336586079 26476544 573 33554432000 4194304 4198148 140734549703728 140734549702656 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9066/statm: 6464 573 387 1 0 259 0
[pid=9307] ppid=9066 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9307/stat : 9307 (sh) S 9066 9066 8320 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 336632691 9367552 263 33554432000 4194304 5064252 140734081032352 140734081030608 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9307/statm: 2287 263 223 213 0 72 0
[pid=9309] ppid=9307 vsize=20488 CPUtime=601.71 cores=0,2,4,6
/proc/9309/stat : 9309 (clasp-1.0) R 9307 9066 8320 0 -1 4202496 4518 0 0 0 60170 1 0 0 20 0 1 0 336632691 20979712 4557 33554432000 134512640 134847168 4290389520 4290388160 134782598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9309/statm: 5122 4557 270 82 0 4363 0
Current children cumulated CPU time (s) 1067.67
Current children cumulated vsize (KiB) 55492
Child status: 0
Real time (s): 1068.1
CPU time (s): 1067.78
CPU user time (s): 1067.7
CPU system time (s): 0.082987
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 55492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.7
system time used= 0.082987
maximum resident set size= 18308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 1775
runsolver used 1.63875 second user time and 4.21536 second system time
The end