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-3701813-1338073682/watcher-3701813-1338073682 -o /tmp/evaluation-result-3701813-1338073682/solver-3701813-1338073682 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701813-1338073682.opb 584045322 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: 4.19 2.64 2.22 2/178 14043
/proc/meminfo: memFree=12617456/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[startup+0.0618129 s]
/proc/loadavg: 4.19 2.64 2.22 2/178 14043
/proc/meminfo: memFree=12617456/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 4.19 2.64 2.22 2/178 14043
/proc/meminfo: memFree=12617456/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 4.19 2.64 2.22 2/178 14043
/proc/meminfo: memFree=12617456/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 4.19 2.64 2.22 2/178 14043
/proc/meminfo: memFree=12617456/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 4.19 2.64 2.22 2/180 14045
/proc/meminfo: memFree=12519944/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=1.41 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8474 0 0 0 134 7 0 0 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850712656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 111828
[startup+3.10039 s]
/proc/loadavg: 4.19 2.64 2.22 2/182 14047
/proc/meminfo: memFree=12277516/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=1.41 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8474 0 0 0 134 7 0 0 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850712656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14046] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14046/stat : 14046 (cp2_pre.sh) S 14044 14043 11113 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273493570 9367552 277 33554432000 4194304 5064252 140736708792432 140736708791136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14046/statm: 2287 277 234 213 0 72 0
[pid=14047] ppid=14046 vsize=207344 CPUtime=1.65 cores=1,3,5,7
/proc/14047/stat : 14047 (coprocessor) R 14046 14043 11113 0 -1 4202496 35754 0 0 0 160 5 0 0 20 0 1 0 273493570 212320256 45993 33554432000 4194304 6586260 140735856216640 140735856212904 4496384 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/14047/statm: 51836 45993 166 584 0 51248 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 328320
[startup+6.30034 s]
/proc/loadavg: 4.18 2.67 2.23 2/182 14047
/proc/meminfo: memFree=11972756/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=1.41 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8474 0 0 0 134 7 0 0 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850712656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14046] ppid=14044 vsize=9148 CPUtime=4.77 cores=1,3,5,7
/proc/14046/stat : 14046 (cp2_pre.sh) S 14044 14043 11113 0 -1 4202496 633 42516 0 0 0 0 462 15 20 0 1 0 273493570 9367552 281 33554432000 4194304 5064252 140736708792432 140736708791136 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14046/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 120976
[startup+12.7551 s]
/proc/loadavg: 4.16 2.69 2.24 2/182 14050
/proc/meminfo: memFree=11692944/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=6.19 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8483 43417 0 0 134 7 462 16 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850713744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14049] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14049/stat : 14049 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273494134 9367552 266 33554432000 4194304 5064252 140736026464656 140736026463568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14049/statm: 2287 266 226 213 0 72 0
[pid=14050] ppid=14049 vsize=136752 CPUtime=5.67 cores=1,3,5,7
/proc/14050/stat : 14050 (glucose) R 14049 14043 11113 0 -1 4202496 23542 0 0 0 563 4 0 0 20 0 1 0 273494134 140034048 29377 33554432000 4194304 5208918 140734254684768 140734254682616 4229476 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14050/statm: 34188 29377 103 248 0 33937 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 257728
[startup+28.5481 s]
/proc/loadavg: 4.31 2.74 2.26 2/182 14050
/proc/meminfo: memFree=11357224/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=6.19 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8483 43417 0 0 134 7 462 16 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850713744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14049] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14049/stat : 14049 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273494134 9367552 266 33554432000 4194304 5064252 140736026464656 140736026463568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14049/statm: 2287 266 226 213 0 72 0
[pid=14050] ppid=14049 vsize=147652 CPUtime=21.47 cores=1,3,5,7
/proc/14050/stat : 14050 (glucose) R 14049 14043 11113 0 -1 4202496 25951 0 0 0 2142 5 0 0 20 0 1 0 273494134 151195648 32808 33554432000 4194304 5208918 140734254684768 140734254681144 4228930 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14050/statm: 36913 32808 103 248 0 36662 0
Current children cumulated CPU time (s) 27.66
Current children cumulated vsize (KiB) 268628
[startup+51.5521 s]
/proc/loadavg: 4.56 2.98 2.35 3/182 14050
/proc/meminfo: memFree=9169376/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=6.19 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8483 43417 0 0 134 7 462 16 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850713744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14049] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14049/stat : 14049 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273494134 9367552 266 33554432000 4194304 5064252 140736026464656 140736026463568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14049/statm: 2287 266 226 213 0 72 0
[pid=14050] ppid=14049 vsize=147652 CPUtime=44.47 cores=1,3,5,7
/proc/14050/stat : 14050 (glucose) R 14049 14043 11113 0 -1 4202496 25954 0 0 0 4442 5 0 0 20 0 1 0 273494134 151195648 33833 33554432000 4194304 5208918 140734254684768 140734254681144 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14050/statm: 36913 33833 103 248 0 36662 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 268628
[startup+110.046 s]
/proc/loadavg: 4.53 3.16 2.44 2/182 14050
/proc/meminfo: memFree=8029996/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=6.19 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8483 43417 0 0 134 7 462 16 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850713744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14049] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14049/stat : 14049 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273494134 9367552 266 33554432000 4194304 5064252 140736026464656 140736026463568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14049/statm: 2287 266 226 213 0 72 0
[pid=14050] ppid=14049 vsize=150960 CPUtime=102.95 cores=1,3,5,7
/proc/14050/stat : 14050 (glucose) R 14049 14043 11113 0 -1 4202496 26872 0 0 0 10289 6 0 0 20 0 1 0 273494134 154583040 33952 33554432000 4194304 5208918 140734254684768 140734254682616 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14050/statm: 37740 33952 104 248 0 37489 0
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (KiB) 271936
[startup+165.449 s]
/proc/loadavg: 4.85 3.55 2.62 3/183 14053
/proc/meminfo: memFree=7653424/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102680 CPUtime=6.19 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 8483 43417 0 0 134 7 462 16 20 0 1 0 273493428 105144320 17242 33554432000 4194304 5992684 140733850718624 140733850713744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14044/statm: 25670 17242 164 440 0 25226 0
[pid=14049] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14049/stat : 14049 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273494134 9367552 266 33554432000 4194304 5064252 140736026464656 140736026463568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14049/statm: 2287 266 226 213 0 72 0
[pid=14050] ppid=14049 vsize=152404 CPUtime=158.34 cores=1,3,5,7
/proc/14050/stat : 14050 (glucose) R 14049 14043 11113 0 -1 4202496 27524 0 0 0 15827 7 0 0 20 0 1 0 273494134 156061696 33148 33554432000 4194304 5208918 140734254684768 140734254682856 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14050/statm: 38101 33148 104 248 0 37850 0
Current children cumulated CPU time (s) 164.53
Current children cumulated vsize (KiB) 273380
[startup+308.719 s]
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.08 2.32 4/183 14136
/proc/meminfo: memFree=30998516/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=153716 CPUtime=855.12 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 32090 0 0 0 85496 16 0 0 20 0 1 0 273550130 157405184 34189 33554432000 4194304 5208918 140735900620528 140735900618488 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38429 34189 104 248 0 38178 0
Current children cumulated CPU time (s) 1421.22
Current children cumulated vsize (KiB) 274696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.30 4/183 14136
/proc/meminfo: memFree=30956812/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=153856 CPUtime=915.1 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 32120 0 0 0 91494 16 0 0 20 0 1 0 273550130 157548544 34730 33554432000 4194304 5208918 140735900620528 140735900618376 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38464 34730 104 248 0 38213 0
Current children cumulated CPU time (s) 1481.2
Current children cumulated vsize (KiB) 274836
[startup+1542.3 s]
/proc/loadavg: 2.03 2.06 2.28 4/183 14137
/proc/meminfo: memFree=31005840/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=135252 CPUtime=975.11 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 32400 0 0 0 97494 17 0 0 20 0 1 0 273550130 138498048 32216 33554432000 4194304 5208918 140735900620528 140735900618616 4229888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 33813 32216 104 248 0 33562 0
Current children cumulated CPU time (s) 1541.21
Current children cumulated vsize (KiB) 256232
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.26 4/183 14137
/proc/meminfo: memFree=31001620/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154220 CPUtime=1035.09 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 32985 0 0 0 103491 18 0 0 20 0 1 0 273550130 157921280 33362 33554432000 4194304 5208918 140735900620528 140735900618680 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38555 33362 104 248 0 38304 0
Current children cumulated CPU time (s) 1601.19
Current children cumulated vsize (KiB) 275200
[startup+1662.31 s]
/proc/loadavg: 2.00 2.04 2.24 4/184 14138
/proc/meminfo: memFree=30952460/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154352 CPUtime=1095.09 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 33001 0 0 0 109491 18 0 0 20 0 1 0 273550130 158056448 33889 33554432000 4194304 5208918 140735900620528 140735900618376 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38588 33889 104 248 0 38337 0
Current children cumulated CPU time (s) 1661.19
Current children cumulated vsize (KiB) 275332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.22 4/183 14138
/proc/meminfo: memFree=30965224/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154352 CPUtime=1155.07 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 33616 0 0 0 115488 19 0 0 20 0 1 0 273550130 158056448 32730 33554432000 4194304 5208918 140735900620528 140735900618680 4229876 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38588 32730 104 248 0 38337 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 275332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.21 4/183 14138
/proc/meminfo: memFree=30964228/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154492 CPUtime=1215.06 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 33807 0 0 0 121487 19 0 0 20 0 1 0 273550130 158199808 33940 33554432000 4194304 5208918 140735900620528 140735900618376 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38623 33940 104 248 0 38372 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 275472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.07 2.03 2.21 3/183 14138
/proc/meminfo: memFree=30958120/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154644 CPUtime=1233.96 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 33824 0 0 0 123377 19 0 0 20 0 1 0 273550130 158355456 33953 33554432000 4194304 5208918 140735900620528 140735900618376 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38661 33953 104 248 0 38410 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 275624
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.2 s]
/proc/loadavg: 2.07 2.03 2.21 3/183 14138
/proc/meminfo: memFree=30958120/32873844 swapFree=6080/6080
[pid=14043] ppid=14041 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14043/stat : 14043 (npSolver-pbo.sh) S 14041 14043 11113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273493427 9367552 275 33554432000 4194304 5064252 140737437595136 140737437594048 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14043/statm: 2287 275 233 213 0 72 0
[pid=14044] ppid=14043 vsize=102684 CPUtime=566.1 cores=1,3,5,7
/proc/14044/stat : 14044 (npSolver-pbo) S 14043 14043 11113 0 -1 4202496 9400 110257 0 0 163 144 56245 58 20 0 1 0 273493428 105148416 17254 33554432000 4194304 5992684 140733850718624 140733850710944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14044/statm: 25671 17254 175 440 0 25227 0
[pid=14126] ppid=14044 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14126/stat : 14126 (satsolver.sh) S 14044 14043 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273550129 9367552 267 33554432000 4194304 5064252 140733974996864 140733974995776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14126/statm: 2287 267 226 213 0 72 0
[pid=14127] ppid=14126 vsize=154644 CPUtime=1233.96 cores=1,3,5,7
/proc/14127/stat : 14127 (glucose) R 14126 14043 11113 0 -1 4202496 33824 0 0 0 123377 19 0 0 20 0 1 0 273550130 158355456 33953 33554432000 4194304 5208918 140735900620528 140735900618376 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14127/statm: 38661 33953 104 248 0 38410 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 275624
Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.11
CPU user time (s): 1797.87
CPU system time (s): 2.23566
CPU usage (%): 99.9388
Max. virtual memory (cumulated for all children) (KiB): 363912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.23566
maximum resident set size= 237572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 340872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1134
involuntary context switches= 1893
runsolver used 2.6106 second user time and 7.10092 second system time
The end