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-3750754-1339165718/watcher-3750754-1339165718 -o /tmp/evaluation-result-3750754-1339165718/solver-3750754-1339165718 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750754-1339165718.opb 1318764608 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.04 2.01 2.00 3/180 19360
/proc/meminfo: memFree=26693552/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[startup+0.038616 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 19360
/proc/meminfo: memFree=26693552/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 19360
/proc/meminfo: memFree=26693552/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300186 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 19360
/proc/meminfo: memFree=26693552/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 19360
/proc/meminfo: memFree=26693552/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 19362
/proc/meminfo: memFree=26560132/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=174964 CPUtime=1.49 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) R 19360 19360 13014 0 -1 4202496 18127 0 0 0 143 6 0 0 20 0 1 0 382697538 179163136 42198 33554432000 4194304 6004724 140733666346928 140733666341976 4582601 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 43741 42198 154 442 0 43295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184112
[startup+3.10021 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 19362
/proc/meminfo: memFree=26481068/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=200108 CPUtime=2.52 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 19272 0 0 0 226 26 0 0 20 0 1 0 382697538 204910592 46989 33554432000 4194304 6004724 140733666346928 140733666340976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 50027 46989 163 442 0 49581 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 209256
[startup+6.3003 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 19364
/proc/meminfo: memFree=25893028/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=200108 CPUtime=2.52 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 19272 0 0 0 226 26 0 0 20 0 1 0 382697538 204910592 46989 33554432000 4194304 6004724 140733666346928 140733666340976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 50027 46989 163 442 0 49581 0
[pid=19363] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19363/stat : 19363 (cp2_pre.sh) S 19361 19360 13014 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382697791 9367552 276 33554432000 4194304 5064252 140734585172576 140734585171280 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19363/statm: 2287 276 234 213 0 72 0
[pid=19364] ppid=19363 vsize=585960 CPUtime=3.75 cores=1,3,5,7
/proc/19364/stat : 19364 (coprocessor) R 19363 19360 13014 0 -1 4202496 64275 0 0 0 359 16 0 0 20 0 1 0 382697791 600023040 130368 33554432000 4194304 6586260 140733991701456 140733991697720 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19364/statm: 146490 130369 168 584 0 145902 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 804364
[startup+12.7004 s]
/proc/loadavg: 2.12 2.03 2.01 3/184 19367
/proc/meminfo: memFree=26250004/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=200108 CPUtime=11.23 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 19280 75295 0 0 226 26 816 55 20 0 1 0 382697538 204910592 46989 33554432000 4194304 6004724 140733666346928 140733666342064 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 50027 46989 163 442 0 49581 0
[pid=19366] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19366/stat : 19366 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382698663 9367552 266 33554432000 4194304 5064252 140736040334256 140736040333168 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19366/statm: 2287 266 226 213 0 72 0
[pid=19367] ppid=19366 vsize=241476 CPUtime=1.43 cores=1,3,5,7
/proc/19367/stat : 19367 (glucose) R 19366 19360 13014 0 -1 4202496 40442 0 0 0 135 8 0 0 20 0 1 0 382698663 247271424 52848 33554432000 4194304 5208918 140733278029504 140733278027352 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 60369 52848 95 248 0 60118 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 459880
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 19371
/proc/meminfo: memFree=26437500/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=212400 CPUtime=25.47 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) R 19360 19360 13014 0 -1 4202496 23986 124433 0 0 274 116 2086 71 20 0 1 0 382697538 217497600 48961 33554432000 4194304 6004724 140733666346928 140733666341128 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 53100 48961 170 442 0 52654 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 221548
[startup+51.1003 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 19374
/proc/meminfo: memFree=26189404/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=212400 CPUtime=27.65 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 24707 124949 0 0 309 293 2086 77 20 0 1 0 382697538 217497600 48968 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 53100 48968 177 442 0 52654 0
[pid=19373] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19373/stat : 19373 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382700306 9367552 267 33554432000 4194304 5064252 140735592622240 140735592621152 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19373/statm: 2287 267 226 213 0 72 0
[pid=19374] ppid=19373 vsize=230408 CPUtime=23.4 cores=1,3,5,7
/proc/19374/stat : 19374 (glucose) R 19373 19360 13014 0 -1 4202496 43439 0 0 0 2330 10 0 0 20 0 1 0 382700306 235937792 53695 33554432000 4194304 5208918 140737182254240 140737182251992 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19374/statm: 57602 53695 105 248 0 57351 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 461104
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 19391
/proc/meminfo: memFree=26196740/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=214240 CPUtime=4.4 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 43267 0 0 0 433 7 0 0 20 0 1 0 382707326 219381760 50254 33554432000 4194304 5208918 140734666232736 140734666230584 4229010 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 53560 50254 102 248 0 53309 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 449936
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 19391
/proc/meminfo: memFree=26192572/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=229652 CPUtime=64.39 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 45237 0 0 0 6429 10 0 0 20 0 1 0 382707326 235163648 52551 33554432000 4194304 5208918 140734666232736 140734666229112 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 57413 52551 105 248 0 57162 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 465348
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 19391
/proc/meminfo: memFree=26134572/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19447
/proc/meminfo: memFree=22126744/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1264.17 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 50694 0 0 0 126397 20 0 0 20 0 1 0 382707326 317767680 73053 33554432000 4194304 5208918 140734666232736 140734666230728 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 73053 105 248 0 77329 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 546016
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19447
/proc/meminfo: memFree=22130800/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1324.18 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 51468 0 0 0 132396 22 0 0 20 0 1 0 382707326 317767680 71517 33554432000 4194304 5208918 140734666232736 140734666230728 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 71517 105 248 0 77329 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 546016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19447
/proc/meminfo: memFree=22107864/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=341140 CPUtime=1384.15 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 52060 0 0 0 138392 23 0 0 20 0 1 0 382707326 349327360 77216 33554432000 4194304 5208918 140734666232736 140734666230888 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 85285 77216 105 248 0 85034 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 576836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22114980/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=341140 CPUtime=1444.15 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 52838 0 0 0 144389 26 0 0 20 0 1 0 382707326 349327360 75168 33554432000 4194304 5208918 140734666232736 140734666230888 4229139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 85285 75168 105 248 0 85034 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 576836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22124076/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1504.14 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 53029 0 0 0 150387 27 0 0 20 0 1 0 382707326 317767680 72541 33554432000 4194304 5208918 140734666232736 140734666230728 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 72541 105 248 0 77329 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 546016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22108836/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=341140 CPUtime=1564.13 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 53624 0 0 0 156385 28 0 0 20 0 1 0 382707326 349327360 76192 33554432000 4194304 5208918 140734666232736 140734666230888 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 85285 76192 105 248 0 85034 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 576836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22118928/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1624.12 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 53814 0 0 0 162383 29 0 0 20 0 1 0 382707326 317767680 73565 33554432000 4194304 5208918 140734666232736 140734666229112 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 73565 105 248 0 77329 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 546016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22128216/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1684.11 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 54594 0 0 0 168380 31 0 0 20 0 1 0 382707326 317767680 71005 33554432000 4194304 5208918 140734666232736 140734666230728 4229725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 71005 105 248 0 77329 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 546016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19448
/proc/meminfo: memFree=22120072/32873660 swapFree=7120/7120
[pid=19360] ppid=19358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19360/stat : 19360 (npSolver-pbo.sh) S 19358 19360 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382697537 9367552 275 33554432000 4194304 5064252 140733908592688 140733908591600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19360/statm: 2287 275 233 213 0 72 0
[pid=19361] ppid=19360 vsize=217400 CPUtime=97.85 cores=1,3,5,7
/proc/19361/stat : 19361 (npSolver-pbo) S 19360 19360 13014 0 -1 4202496 29998 222498 0 0 337 295 9028 125 20 0 1 0 382697538 222617600 49994 33554432000 4194304 6004724 140733666346928 140733666339280 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19361/statm: 54350 49994 178 442 0 53904 0
[pid=19390] ppid=19361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19390/stat : 19390 (satsolver.sh) S 19361 19360 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382707326 9367552 266 33554432000 4194304 5064252 140735424909856 140735424908768 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19390/statm: 2287 266 226 213 0 72 0
[pid=19391] ppid=19390 vsize=310320 CPUtime=1702.22 cores=1,3,5,7
/proc/19391/stat : 19391 (glucose) R 19390 19360 13014 0 -1 4202496 54597 0 0 0 170191 31 0 0 20 0 1 0 382707326 317767680 72541 33554432000 4194304 5208918 140734666232736 140734666230728 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19391/statm: 77580 72541 105 248 0 77329 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 546016
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.42
CPU time (s): 1800.11
CPU user time (s): 1795.58
CPU system time (s): 4.53531
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 902564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.58
system time used= 4.53531
maximum resident set size= 664124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 698032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3383
involuntary context switches= 1894
runsolver used 3.2845 second user time and 9.05662 second system time
The end