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-3701545-1338082650/watcher-3701545-1338082650 -o /tmp/evaluation-result-3701545-1338082650/solver-3701545-1338082650 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701545-1338082650.opb 2010283221 HOME HOME
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.02 2.01 2.00 3/178 16938
/proc/meminfo: memFree=28871600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[startup+0.098929 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16938
/proc/meminfo: memFree=28871600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100156 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16938
/proc/meminfo: memFree=28871600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16938
/proc/meminfo: memFree=28871600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700252 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16938
/proc/meminfo: memFree=28871600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 16952
/proc/meminfo: memFree=28807416/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=38704 CPUtime=0.9 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 9333 0 0 0 89 1 0 0 20 0 1 0 274389561 39632896 8638 33554432000 4194304 5208918 140733840969808 140733839919208 4205192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 9676 8638 104 248 0 9425 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79888
[startup+3.10036 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 16952
/proc/meminfo: memFree=28806052/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=39008 CPUtime=2.5 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 9518 0 0 0 249 1 0 0 20 0 1 0 274389561 39944192 8818 33554432000 4194304 5208918 140733840969808 140733840967640 4210737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 9752 8818 105 248 0 9501 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 80192
[startup+6.30041 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16953
/proc/meminfo: memFree=28804524/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=44080 CPUtime=5.7 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 9922 0 0 0 569 1 0 0 20 0 1 0 274389561 45137920 9200 33554432000 4194304 5208918 140733840969808 140733840967640 4205640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 11020 9200 105 248 0 10769 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 85264
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 16953
/proc/meminfo: memFree=28800200/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=46180 CPUtime=12.09 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 11067 0 0 0 1208 1 0 0 20 0 1 0 274389561 47288320 10074 33554432000 4194304 5208918 140733840969808 140733840967656 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 11545 10074 105 248 0 11294 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 87364
[startup+25.5067 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16953
/proc/meminfo: memFree=28780608/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=78060 CPUtime=24.9 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 12782 0 0 0 2488 2 0 0 20 0 1 0 274389561 79933440 15087 33554432000 4194304 5208918 140733840969808 140733840967752 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 19515 15087 105 248 0 19264 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 119244
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16953
/proc/meminfo: memFree=28767896/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=78060 CPUtime=50.49 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 13279 0 0 0 5046 3 0 0 20 0 1 0 274389561 79933440 18107 33554432000 4194304 5208918 140733840969808 140733840966184 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 19515 18107 105 248 0 19264 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 119244
[startup+102.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 16953
/proc/meminfo: memFree=28746836/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16951/stat : 16951 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274389561 9367552 266 33554432000 4194304 5064252 140736709329584 140736709328496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16951/statm: 2287 266 226 213 0 72 0
[pid=16952] ppid=16951 vsize=98536 CPUtime=101.68 cores=1,3,5,7
/proc/16952/stat : 16952 (glucose) R 16951 16938 10843 0 -1 4202496 13986 0 0 0 10164 4 0 0 20 0 1 0 274389561 100900864 23334 33554432000 4194304 5208918 140733840969808 140733840967672 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16952/statm: 24634 23334 105 248 0 24383 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 139720
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 16956
/proc/meminfo: memFree=28719504/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=22888 CPUtime=0.57 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 4163 7579 0 0 33 5 17 2 20 0 1 0 274389502 23437312 4370 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 5722 4370 181 440 0 5278 0
[pid=16951] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17177
/proc/meminfo: memFree=28669600/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38140 CPUtime=915 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 5220 34327 0 0 53 7 91409 31 20 0 1 0 274389502 39055360 8647 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9535 8647 181 440 0 9091 0
[pid=17037] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17037/stat : 17037 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274481019 9367552 266 33554432000 4194304 5064252 140737351766512 140737351765424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17037/statm: 2287 266 226 213 0 72 0
[pid=17038] ppid=17037 vsize=176004 CPUtime=447.04 cores=1,3,5,7
/proc/17038/stat : 17038 (glucose) R 17037 16938 10843 0 -1 4202496 19209 0 0 0 44694 10 0 0 20 0 1 0 274481019 180228096 38401 33554432000 4194304 5208918 140733227690272 140733227686584 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17038/statm: 44001 38401 105 248 0 43750 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 232440
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17200
/proc/meminfo: memFree=28667080/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38140 CPUtime=915 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 5220 34327 0 0 53 7 91409 31 20 0 1 0 274389502 39055360 8647 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9535 8647 181 440 0 9091 0
[pid=17037] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17037/stat : 17037 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274481019 9367552 266 33554432000 4194304 5064252 140737351766512 140737351765424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17037/statm: 2287 266 226 213 0 72 0
[pid=17038] ppid=17037 vsize=176004 CPUtime=507.03 cores=1,3,5,7
/proc/17038/stat : 17038 (glucose) R 17037 16938 10843 0 -1 4202496 20282 0 0 0 50691 12 0 0 20 0 1 0 274481019 180228096 38913 33554432000 4194304 5208918 140733227690272 140733227685960 4212212 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17038/statm: 44001 38913 105 248 0 43750 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 232440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17200
/proc/meminfo: memFree=28677672/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38140 CPUtime=915 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 5220 34327 0 0 53 7 91409 31 20 0 1 0 274389502 39055360 8647 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9535 8647 181 440 0 9091 0
[pid=17037] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17037/stat : 17037 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274481019 9367552 266 33554432000 4194304 5064252 140737351766512 140737351765424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17037/statm: 2287 266 226 213 0 72 0
[pid=17038] ppid=17037 vsize=176004 CPUtime=567.02 cores=1,3,5,7
/proc/17038/stat : 17038 (glucose) R 17037 16938 10843 0 -1 4202496 21347 0 0 0 56689 13 0 0 20 0 1 0 274481019 180228096 36353 33554432000 4194304 5208918 140733227690272 140733227686648 4210976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17038/statm: 44001 36353 105 248 0 43750 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 232440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17201
/proc/meminfo: memFree=28716064/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38140 CPUtime=915 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 5220 34327 0 0 53 7 91409 31 20 0 1 0 274389502 39055360 8647 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9535 8647 181 440 0 9091 0
[pid=17037] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17037/stat : 17037 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274481019 9367552 266 33554432000 4194304 5064252 140737351766512 140737351765424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17037/statm: 2287 266 226 213 0 72 0
[pid=17038] ppid=17037 vsize=126684 CPUtime=627.02 cores=1,3,5,7
/proc/17038/stat : 17038 (glucose) R 17037 16938 10843 0 -1 4202496 21946 0 0 0 62688 14 0 0 20 0 1 0 274481019 129724416 26683 33554432000 4194304 5208918 140733227690272 140733227688360 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17038/statm: 31671 26683 105 248 0 31420 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 183120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17201
/proc/meminfo: memFree=28619100/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38140 CPUtime=915 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 5220 34327 0 0 53 7 91409 31 20 0 1 0 274389502 39055360 8647 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9535 8647 181 440 0 9091 0
[pid=17037] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17037/stat : 17037 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274481019 9367552 266 33554432000 4194304 5064252 140737351766512 140737351765424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17037/statm: 2287 266 226 213 0 72 0
[pid=17038] ppid=17037 vsize=206824 CPUtime=687.01 cores=1,3,5,7
/proc/17038/stat : 17038 (glucose) R 17037 16938 10843 0 -1 4202496 23019 0 0 0 68685 16 0 0 20 0 1 0 274481019 211787776 41541 33554432000 4194304 5208918 140733227690272 140733227686648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17038/statm: 51706 41541 105 248 0 51455 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 263260
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17222
/proc/meminfo: memFree=28787816/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38032 CPUtime=1645.18 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 12861 84450 0 0 100 12 164346 60 20 0 1 0 274389502 38944768 7624 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9508 7624 181 440 0 9064 0
[pid=17221] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274554050 9367552 267 33554432000 4194304 5064252 140734268538768 140734268537680 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17221/statm: 2287 267 226 213 0 72 0
[pid=17222] ppid=17221 vsize=47728 CPUtime=16.8 cores=1,3,5,7
/proc/17222/stat : 17222 (glucose) R 17221 16938 10843 0 -1 4202496 10167 0 0 0 1679 1 0 0 20 0 1 0 274554050 48873472 10434 33554432000 4194304 5208918 140735071922544 140735071918920 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17222/statm: 11932 10434 104 248 0 11681 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 104056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17222
/proc/meminfo: memFree=28724488/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38032 CPUtime=1645.18 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 12861 84450 0 0 100 12 164346 60 20 0 1 0 274389502 38944768 7624 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9508 7624 181 440 0 9064 0
[pid=17221] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274554050 9367552 267 33554432000 4194304 5064252 140734268538768 140734268537680 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17221/statm: 2287 267 226 213 0 72 0
[pid=17222] ppid=17221 vsize=85076 CPUtime=76.79 cores=1,3,5,7
/proc/17222/stat : 17222 (glucose) R 17221 16938 10843 0 -1 4202496 12612 0 0 0 7676 3 0 0 20 0 1 0 274554050 87117824 16580 33554432000 4194304 5208918 140735071922544 140735071918232 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17222/statm: 21269 16580 104 248 0 21018 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 141404
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17222
/proc/meminfo: memFree=28775872/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38032 CPUtime=1645.18 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 12861 84450 0 0 100 12 164346 60 20 0 1 0 274389502 38944768 7624 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9508 7624 181 440 0 9064 0
[pid=17221] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274554050 9367552 267 33554432000 4194304 5064252 140734268538768 140734268537680 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17221/statm: 2287 267 226 213 0 72 0
[pid=17222] ppid=17221 vsize=66404 CPUtime=136.78 cores=1,3,5,7
/proc/17222/stat : 17222 (glucose) R 17221 16938 10843 0 -1 4202496 13110 0 0 0 13674 4 0 0 20 0 1 0 274554050 67997696 13158 33554432000 4194304 5208918 140735071922544 140735071918856 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17222/statm: 16601 13158 104 248 0 16350 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 122732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17222
/proc/meminfo: memFree=28753536/32873648 swapFree=6604/6604
[pid=16938] ppid=16936 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16938/stat : 16938 (npSolver-pbo.sh) S 16936 16938 10843 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274389502 9367552 274 33554432000 4194304 5064252 140733997768736 140733997767648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16938/statm: 2287 274 233 213 0 72 0
[pid=16939] ppid=16938 vsize=38032 CPUtime=1645.18 cores=1,3,5,7
/proc/16939/stat : 16939 (npSolver-pbo) S 16938 16938 10843 0 -1 4202496 12861 84450 0 0 100 12 164346 60 20 0 1 0 274389502 38944768 7624 33554432000 4194304 5992684 140736777820960 140736777813280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16939/statm: 9508 7624 181 440 0 9064 0
[pid=17221] ppid=16939 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17221/stat : 17221 (satsolver.sh) S 16939 16938 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274554050 9367552 267 33554432000 4194304 5064252 140734268538768 140734268537680 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17221/statm: 2287 267 226 213 0 72 0
[pid=17222] ppid=17221 vsize=85512 CPUtime=154.88 cores=1,3,5,7
/proc/17222/stat : 17222 (glucose) R 17221 16938 10843 0 -1 4202496 13632 0 0 0 15484 4 0 0 20 0 1 0 274554050 87564288 18790 33554432000 4194304 5208918 140735071922544 140735071918920 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17222/statm: 21378 18790 104 248 0 21127 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 141840
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.11
CPU user time (s): 1799.32
CPU system time (s): 0.789879
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 312580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.789879
maximum resident set size= 204872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 114936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 638
involuntary context switches= 1910
runsolver used 3.37749 second user time and 8.47371 second system time
The end