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-3734396-1338717970/watcher-3734396-1338717970 -o /tmp/evaluation-result-3734396-1338717970/solver-3734396-1338717970 -C 1800 -W 1900 -M 15500 pbclasp instance-3734396-1338717970.opb HOME/temp
running on 4 cores: 1,3,5,7
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.03 1.99 1.83 3/179 25546
/proc/meminfo: memFree=28161508/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) R 25544 25546 8320 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 337922505 26206208 487 33554432000 4194304 4198148 140733489438544 140733489435992 260215287496 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6398 487 355 1 0 193 0
[startup+0.0216541 s]
/proc/loadavg: 2.03 1.99 1.83 3/179 25546
/proc/meminfo: memFree=28161508/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=26184 CPUtime=0.01 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) R 25544 25546 8320 0 -1 4202496 694 0 0 0 1 0 0 0 20 0 1 0 337922505 26812416 624 33554432000 4194304 4198148 140733489438544 140733489435992 260215667984 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6546 624 361 1 0 341 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26184
[startup+0.100206 s]
/proc/loadavg: 2.03 1.99 1.83 3/179 25546
/proc/meminfo: memFree=28161508/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=26448 CPUtime=0.09 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) R 25544 25546 8320 0 -1 4202496 758 0 0 0 9 0 0 0 20 0 1 0 337922505 27082752 688 33554432000 4194304 4198148 140733489438544 140733489435992 260189994734 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6612 689 361 1 0 407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26448
[startup+0.300181 s]
/proc/loadavg: 2.03 1.99 1.83 3/179 25546
/proc/meminfo: memFree=28161508/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27272 CPUtime=0.21 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 984 0 0 0 21 0 0 0 20 0 1 0 337922505 27926528 897 33554432000 4194304 4198148 140733489438544 140733489437432 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6818 897 368 1 0 613 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27272
[startup+0.700222 s]
/proc/loadavg: 2.03 1.99 1.83 3/179 25546
/proc/meminfo: memFree=28161508/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27272 CPUtime=0.21 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 984 0 0 0 21 0 0 0 20 0 1 0 337922505 27926528 897 33554432000 4194304 4198148 140733489438544 140733489437432 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6818 897 368 1 0 613 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27272
[startup+1.50023 s]
/proc/loadavg: 2.03 1.99 1.83 3/182 25549
/proc/meminfo: memFree=28157756/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27668 CPUtime=1.12 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1331 2136 0 0 21 0 91 0 20 0 1 0 337922505 28332032 1038 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25546/statm: 6917 1038 387 1 0 712 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 27668
[startup+3.10025 s]
/proc/loadavg: 2.03 1.99 1.83 3/182 25564
/proc/meminfo: memFree=28144852/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=14108 CPUtime=1.46 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 3188 0 0 0 146 0 0 0 20 0 1 0 337922668 14446592 2965 33554432000 134512640 134847168 4294529328 4294528096 134617547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 3527 2965 272 82 0 2768 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 51056
[startup+6.30019 s]
/proc/loadavg: 2.03 1.99 1.83 3/182 25564
/proc/meminfo: memFree=28140084/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=24140 CPUtime=4.66 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 5731 0 0 0 465 1 0 0 20 0 1 0 337922668 24719360 5508 33554432000 134512640 134847168 4294529328 4294527584 1754407 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 6035 5508 272 82 0 5276 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 61088
[startup+12.7002 s]
/proc/loadavg: 2.02 1.99 1.83 3/175 25579
/proc/meminfo: memFree=28130148/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=58532 CPUtime=11.06 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 14316 0 0 0 1103 3 0 0 20 0 1 0 337922668 59936768 14093 33554432000 134512640 134847168 4294529328 4294527584 1754407 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 14633 14093 272 82 0 13874 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 95480
[startup+25.5003 s]
/proc/loadavg: 2.02 1.99 1.83 3/181 25638
/proc/meminfo: memFree=28068112/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=89472 CPUtime=23.86 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 22046 0 0 0 2381 5 0 0 20 0 1 0 337922668 91619328 21823 33554432000 134512640 134847168 4294529328 4294527904 134714789 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 22368 21823 272 82 0 21609 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 126420
[startup+51.1002 s]
/proc/loadavg: 2.08 2.00 1.84 3/181 25654
/proc/meminfo: memFree=28049168/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=106388 CPUtime=49.44 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 26307 0 0 0 4939 5 0 0 20 0 1 0 337922668 108941312 26066 33554432000 134512640 134847168 4294529328 4294528020 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 26597 26066 272 82 0 25838 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 143336
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 1.84 3/181 25654
/proc/meminfo: memFree=28023172/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=128024 CPUtime=100.62 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 31728 0 0 0 10055 7 0 0 20 0 1 0 337922668 131096576 31479 33554432000 134512640 134847168 4294529328 4294527968 134715280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 32006 31479 272 82 0 31247 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 164972
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/181 25654
/proc/meminfo: memFree=27996648/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=151880 CPUtime=160.6 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 37697 0 0 0 16051 9 0 0 20 0 1 0 337922668 155525120 37448 33554432000 134512640 134847168 4294529328 4294527952 134784610 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 37970 37448 272 82 0 37211 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 188828
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.86 3/181 25654
/proc/meminfo: memFree=27990372/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=155792 CPUtime=220.6 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 39013 0 0 0 22050 10 0 0 20 0 1 0 337922668 159531008 38430 33554432000 134512640 134847168 4294529328 4294528080 134781954 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 38948 38430 272 82 0 38189 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 192740
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/181 25657
/proc/meminfo: memFree=27974860/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=231036 CPUtime=1420.41 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 60733 0 0 0 142024 17 0 0 20 0 1 0 337922668 236580864 57228 33554432000 134512640 134847168 4294529328 4294528020 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 57759 57228 272 82 0 57000 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 267984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 25668
/proc/meminfo: memFree=27901852/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=231168 CPUtime=1480.39 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 60772 0 0 0 148022 17 0 0 20 0 1 0 337922668 236716032 57270 33554432000 134512640 134847168 4294529328 4294527952 134784610 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 57792 57270 272 82 0 57033 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 268116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 25669
/proc/meminfo: memFree=27883752/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=249444 CPUtime=1540.39 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65321 0 0 0 154019 20 0 0 20 0 1 0 337922668 255430656 61819 33554432000 134512640 134847168 4294529328 4294527956 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62361 61819 272 82 0 61602 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 286392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 25669
/proc/meminfo: memFree=27884004/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=249444 CPUtime=1600.38 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65325 0 0 0 160018 20 0 0 20 0 1 0 337922668 255430656 61823 33554432000 134512640 134847168 4294529328 4294528020 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62361 61823 272 82 0 61602 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 286392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 25669
/proc/meminfo: memFree=27882808/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=249444 CPUtime=1660.37 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65345 0 0 0 166017 20 0 0 20 0 1 0 337922668 255430656 61843 33554432000 134512640 134847168 4294529328 4294527956 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62361 61843 272 82 0 61602 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 286392
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/181 25669
/proc/meminfo: memFree=27883232/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=250104 CPUtime=1720.36 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65490 0 0 0 172016 20 0 0 20 0 1 0 337922668 256106496 61988 33554432000 134512640 134847168 4294529328 4294527956 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62526 61988 272 82 0 61767 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 287052
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 25669
/proc/meminfo: memFree=27882244/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=250896 CPUtime=1780.35 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65687 0 0 0 178015 20 0 0 20 0 1 0 337922668 256917504 62185 33554432000 134512640 134847168 4294529328 4294527952 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62724 62185 272 82 0 61965 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 287844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 25669
/proc/meminfo: memFree=27881748/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1.6 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1570 7210 0 0 22 0 137 1 20 0 1 0 337922505 28467200 1050 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25546/statm: 6950 1050 387 1 0 745 0
[pid=25562] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25562/stat : 25562 (sh) S 25546 25546 8320 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 337922668 9367552 264 33554432000 4194304 5064252 140737253848592 140737253846848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25562/statm: 2287 264 223 213 0 72 0
[pid=25564] ppid=25562 vsize=250896 CPUtime=1798.45 cores=1,3,5,7
/proc/25564/stat : 25564 (clasp-1.0) R 25562 25546 8320 0 -1 4202496 65687 0 0 0 179825 20 0 0 20 0 1 0 337922668 256917504 62185 33554432000 134512640 134847168 4294529328 4294528020 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25564/statm: 62724 62185 272 82 0 61965 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 287844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25546
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 1.92 3/183 25688
/proc/meminfo: memFree=28156776/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1800.08 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1742 75684 0 0 22 0 179963 23 20 0 1 0 337922505 28467200 1051 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25546/statm: 6950 1051 387 1 0 745 0
[pid=25682] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25682/stat : 25682 (sh) S 25546 25546 8320 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338102548 9367552 264 33554432000 4194304 5064252 140734870570720 140734870568976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25682/statm: 2287 264 223 213 0 72 0
[pid=25685] ppid=25682 vsize=14108 CPUtime=0.95 cores=1,3,5,7
/proc/25685/stat : 25685 (clasp-1.0) R 25682 25546 8320 0 -1 4202496 3183 0 0 0 95 0 0 0 20 0 1 0 338102548 14446592 2960 33554432000 134512640 134847168 4291601728 4291600496 134617547 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/25685/statm: 3527 2960 270 82 0 2768 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 51056
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 1.92 3/182 25688
/proc/meminfo: memFree=28149732/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1800.08 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1742 75684 0 0 22 0 179963 23 20 0 1 0 337922505 28467200 1051 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25546/statm: 6950 1051 387 1 0 745 0
[pid=25682] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25682/stat : 25682 (sh) S 25546 25546 8320 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338102548 9367552 264 33554432000 4194304 5064252 140734870570720 140734870568976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25682/statm: 2287 264 223 213 0 72 0
[pid=25685] ppid=25682 vsize=14108 CPUtime=1.74 cores=1,3,5,7
/proc/25685/stat : 25685 (clasp-1.0) R 25682 25546 8320 0 -1 4202496 3198 0 0 0 174 0 0 0 20 0 1 0 338102548 14446592 2975 33554432000 134512640 134847168 4291601728 4291600496 134617498 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25685/statm: 3527 2975 270 82 0 2768 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 51056
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 1.92 3/182 25688
/proc/meminfo: memFree=28149732/32873648 swapFree=7116/7116
[pid=25546] ppid=25544 vsize=27800 CPUtime=1800.08 cores=1,3,5,7
/proc/25546/stat : 25546 (pbclasp) S 25544 25546 8320 0 -1 4202496 1742 75684 0 0 22 0 179963 23 20 0 1 0 337922505 28467200 1051 33554432000 4194304 4198148 140733489438544 140733489437472 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25546/statm: 6950 1051 387 1 0 745 0
[pid=25682] ppid=25546 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25682/stat : 25682 (sh) S 25546 25546 8320 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338102548 9367552 264 33554432000 4194304 5064252 140734870570720 140734870568976 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25682/statm: 2287 264 223 213 0 72 0
[pid=25685] ppid=25682 vsize=14108 CPUtime=1.94 cores=1,3,5,7
/proc/25685/stat : 25685 (clasp-1.0) R 25682 25546 8320 0 -1 4202496 3198 0 0 0 194 0 0 0 20 0 1 0 338102548 14446592 2975 33554432000 134512640 134847168 4291601728 4291600496 134617664 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25685/statm: 3527 2975 270 82 0 2768 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 51056
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1801.83
CPU system time (s): 0.26096
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 287844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.83
system time used= 0.26096
maximum resident set size= 248740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 947
involuntary context switches= 1894
runsolver used 3.07253 second user time and 8.5477 second system time
The end