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-3701689-1338122729/watcher-3701689-1338122729 -o /tmp/evaluation-result-3701689-1338122729/solver-3701689-1338122729 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701689-1338122729.opb 1991665262 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.44 1.38 1.38 3/178 19120
/proc/meminfo: memFree=28893688/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[startup+0.0237341 s]
/proc/loadavg: 2.44 1.38 1.38 3/178 19120
/proc/meminfo: memFree=28893688/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.44 1.38 1.38 3/178 19120
/proc/meminfo: memFree=28893688/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.44 1.38 1.38 3/178 19120
/proc/meminfo: memFree=28893688/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.44 1.38 1.38 3/178 19120
/proc/meminfo: memFree=28893688/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.44 1.38 1.38 3/180 19122
/proc/meminfo: memFree=28880888/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=13548 CPUtime=1.48 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) R 19120 19120 18976 0 -1 4202496 2703 0 0 0 148 0 0 0 20 0 1 0 278399979 13873152 2716 33554432000 4194304 5992684 140736366884464 140736366880584 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 3387 2716 146 440 0 2943 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22696
[startup+3.1003 s]
/proc/loadavg: 2.41 1.39 1.38 3/180 19122
/proc/meminfo: memFree=28867088/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=49776 CPUtime=3.09 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) R 19120 19120 18976 0 -1 4202496 10143 0 0 0 307 2 0 0 20 0 1 0 278399979 50970624 11685 33554432000 4194304 5992684 140736366884464 140736366880200 5044334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 12444 11685 159 440 0 12000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58924
[startup+6.30036 s]
/proc/loadavg: 2.41 1.39 1.38 3/180 19122
/proc/meminfo: memFree=28374028/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=6.28 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) R 19120 19120 18976 0 -1 4202496 31885 0 0 0 615 13 0 0 20 0 1 0 278399979 381722624 83385 33554432000 4194304 5992684 140736366884464 140736366879432 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 83385 167 440 0 92750 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 381924
[startup+12.7005 s]
/proc/loadavg: 2.34 1.41 1.39 3/184 19126
/proc/meminfo: memFree=25865828/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=7.19 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32611 0 0 0 664 55 0 0 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366878496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19125] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19125/stat : 19125 (cp2_pre.sh) S 19121 19120 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278400699 9367552 277 33554432000 4194304 5064252 140733895005968 140733895004672 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19125/statm: 2287 277 234 213 0 72 0
[pid=19126] ppid=19125 vsize=1134212 CPUtime=5.49 cores=1,3,5,7
/proc/19126/stat : 19126 (coprocessor) R 19125 19120 18976 0 -1 4202496 73189 0 0 0 516 33 0 0 20 0 1 0 278400700 1161433088 250269 33554432000 4194304 6586260 140737321756976 140737321753240 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19126/statm: 283553 250270 164 584 0 282965 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1525284
[startup+25.5005 s]
/proc/loadavg: 2.44 1.46 1.40 3/184 19129
/proc/meminfo: memFree=25877228/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=7.19 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32611 0 0 0 664 55 0 0 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366878496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19125] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19125/stat : 19125 (cp2_pre.sh) S 19121 19120 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278400699 9367552 277 33554432000 4194304 5064252 140733895005968 140733895004672 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19125/statm: 2287 277 234 213 0 72 0
[pid=19126] ppid=19125 vsize=1482940 CPUtime=18.11 cores=1,3,5,7
/proc/19126/stat : 19126 (coprocessor) R 19125 19120 18976 0 -1 4202496 120257 0 0 0 1740 71 0 0 20 0 1 0 278400700 1518530560 357301 33554432000 4194304 6586260 140737321756976 140737321752728 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 17 0 0
/proc/19126/statm: 370735 357301 193 584 0 370147 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 1874012
[startup+51.1074 s]
/proc/loadavg: 2.36 1.52 1.42 3/184 19132
/proc/meminfo: memFree=26997452/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=25.65 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32621 121160 0 0 664 55 1765 81 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366879584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19131] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19131/stat : 19131 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278402564 9367552 267 33554432000 4194304 5064252 140734844282176 140734844281088 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19131/statm: 2287 267 226 213 0 72 0
[pid=19132] ppid=19131 vsize=615140 CPUtime=25.24 cores=1,3,5,7
/proc/19132/stat : 19132 (glucose) R 19131 19120 18976 0 -1 4202496 87930 0 0 0 2502 22 0 0 20 0 1 0 278402565 629903360 134749 33554432000 4194304 5208918 140737474835888 140737474833736 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19132/statm: 153785 134749 103 248 0 153534 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 1006212
[startup+102.3 s]
/proc/loadavg: 2.42 1.66 1.47 3/183 19140
/proc/meminfo: memFree=26813664/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=25.65 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32621 121160 0 0 664 55 1765 81 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366879584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19131] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19131/stat : 19131 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278402564 9367552 267 33554432000 4194304 5064252 140734844282176 140734844281088 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19131/statm: 2287 267 226 213 0 72 0
[pid=19132] ppid=19131 vsize=624528 CPUtime=76.43 cores=1,3,5,7
/proc/19132/stat : 19132 (glucose) R 19131 19120 18976 0 -1 4202496 89210 0 0 0 7620 23 0 0 20 0 1 0 278402565 639516672 137051 33554432000 4194304 5208918 140737474835888 140737474833720 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19132/statm: 156132 137051 103 248 0 155881 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 1015600
[startup+162.301 s]
/proc/loadavg: 2.33 1.77 1.52 3/183 19140
/proc/meminfo: memFree=26778652/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=25.65 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32621 121160 0 0 664 55 1765 81 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366879584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19131] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19131/stat : 19131 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278402564 9367552 267 33554432000 4194304 5064252 140734844282176 140734844281088 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19131/statm: 2287 267 226 213 0 72 0
[pid=19132] ppid=19131 vsize=630724 CPUtime=136.42 cores=1,3,5,7
/proc/19132/stat : 19132 (glucose) R 19131 19120 18976 0 -1 4202496 89507 0 0 0 13619 23 0 0 20 0 1 0 278402565 645861376 138881 33554432000 4194304 5208918 140737474835888 140737474833720 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19132/statm: 157681 138881 104 248 0 157430 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 1021796
[startup+222.301 s]
/proc/loadavg: 2.17 1.82 1.55 3/183 19140
/proc/meminfo: memFree=26765436/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=372776 CPUtime=25.65 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 32621 121160 0 0 664 55 1765 81 20 0 1 0 278399979 381722624 91115 33554432000 4194304 5992684 140736366884464 140736366879584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19121/statm: 93194 91115 174 440 0 92750 0
[pid=19131] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19151/statm: 179119 155924 105 248 0 178868 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1129272
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/183 19180
/proc/meminfo: memFree=26505796/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=717136 CPUtime=957.62 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 93015 0 0 0 95716 46 0 0 20 0 1 0 278446429 734347264 154062 33554432000 4194304 5208918 140735609376512 140735609374360 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 179284 154062 105 248 0 179033 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1129932
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/184 19183
/proc/meminfo: memFree=26547660/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=636680 CPUtime=1017.61 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 93574 0 0 0 101711 50 0 0 20 0 1 0 278446429 651960320 150559 33554432000 4194304 5208918 140735609376512 140735609372888 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 159170 150559 105 248 0 158919 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1049476
[startup+1542.3 s]
/proc/loadavg: 2.07 2.01 1.87 3/183 19183
/proc/meminfo: memFree=26511008/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=718472 CPUtime=1077.6 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 93863 0 0 0 107709 51 0 0 20 0 1 0 278446429 735715328 155445 33554432000 4194304 5208918 140735609376512 140735609374264 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 179618 155445 105 248 0 179367 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1131268
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.87 3/183 19184
/proc/meminfo: memFree=26509828/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=637752 CPUtime=1137.59 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 94331 0 0 0 113704 55 0 0 20 0 1 0 278446429 653058048 151850 33554432000 4194304 5208918 140735609376512 140735609374360 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 159438 151850 105 248 0 159187 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1050548
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/183 19184
/proc/meminfo: memFree=26507408/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=719804 CPUtime=1197.59 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 94712 0 0 0 119702 57 0 0 20 0 1 0 278446429 737079296 157852 33554432000 4194304 5208918 140735609376512 140735609372200 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 179951 157852 105 248 0 179700 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1132600
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/182 19184
/proc/meminfo: memFree=26511696/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=720336 CPUtime=1257.58 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 95320 0 0 0 125696 62 0 0 20 0 1 0 278446429 737624064 153370 33554432000 4194304 5208918 140735609376512 140735609374360 4211628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 180084 153370 105 248 0 179833 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 1133132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 19185
/proc/meminfo: memFree=26469232/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=721176 CPUtime=1317.57 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 95532 0 0 0 131695 62 0 0 20 0 1 0 278446429 738484224 159203 33554432000 4194304 5208918 140735609376512 140735609374360 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 180294 159203 105 248 0 180043 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1133972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.89 4/182 19185
/proc/meminfo: memFree=26860288/32873844 swapFree=7108/7108
[pid=19120] ppid=19118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19120/stat : 19120 (npSolver-pbo.sh) S 19118 19120 18976 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278399979 9367552 274 33554432000 4194304 5064252 140736326454480 140736326453392 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19120/statm: 2287 274 233 213 0 72 0
[pid=19121] ppid=19120 vsize=394500 CPUtime=464.07 cores=1,3,5,7
/proc/19121/stat : 19121 (npSolver-pbo) S 19120 19120 18976 0 -1 4202496 51008 220383 0 0 926 728 44614 139 20 0 1 0 278399979 403968000 96533 33554432000 4194304 5992684 140736366884464 140736366876784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/19121/statm: 98625 96533 183 440 0 98181 0
[pid=19150] ppid=19121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19150/stat : 19150 (satsolver.sh) S 19121 19120 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278446429 9367552 266 33554432000 4194304 5064252 140737059913952 140737059912864 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19150/statm: 2287 266 226 213 0 72 0
[pid=19151] ppid=19150 vsize=721456 CPUtime=1335.97 cores=1,3,5,7
/proc/19151/stat : 19151 (glucose) R 19150 19120 18976 0 -1 4202496 95639 0 0 0 133535 62 0 0 20 0 1 0 278446429 738770944 160843 33554432000 4194304 5208918 140735609376512 140735609372888 4205128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19151/statm: 180364 160843 105 248 0 180113 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1134252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19120 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.04
CPU user time (s): 1790.75
CPU system time (s): 9.29
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 1920312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.06038 second user time and 12.5941 second system time
The end