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-3750814-1339173009/watcher-3750814-1339173009 -o /tmp/evaluation-result-3750814-1339173009/solver-3750814-1339173009 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750814-1339173009.opb 679741672 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.07 2.03 1.94 3/175 5368
/proc/meminfo: memFree=26829672/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[startup+0.095311 s]
/proc/loadavg: 2.07 2.03 1.94 3/175 5368
/proc/meminfo: memFree=26829672/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100219 s]
/proc/loadavg: 2.07 2.03 1.94 3/175 5368
/proc/meminfo: memFree=26829672/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 2.07 2.03 1.94 3/175 5368
/proc/meminfo: memFree=26829672/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 2.07 2.03 1.94 3/175 5368
/proc/meminfo: memFree=26829672/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.07 2.03 1.94 3/182 5378
/proc/meminfo: memFree=26537152/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46160 CPUtime=0.47 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 10318 0 0 0 44 3 0 0 20 0 1 0 383425391 47267840 11091 33554432000 4194304 6004724 140736376811520 140736376805568 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5371/statm: 11540 11091 148 442 0 11094 0
[pid=5377] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5377/stat : 5377 (cp2_pre.sh) S 5371 5368 5089 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383425440 9367552 276 33554432000 4194304 5064252 140737001013472 140737001012176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5377/statm: 2287 276 234 213 0 72 0
[pid=5378] ppid=5377 vsize=130404 CPUtime=1 cores=1,3,5,7
/proc/5378/stat : 5378 (coprocessor) R 5377 5368 5089 0 -1 4202496 24477 0 0 0 96 4 0 0 20 0 1 0 383425440 133533696 31646 33554432000 4194304 6586260 140734186427616 140734186423880 4683296 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5378/statm: 32601 31646 191 584 0 32013 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 194860
[startup+3.10017 s]
/proc/loadavg: 2.07 2.03 1.94 3/184 5383
/proc/meminfo: memFree=26507808/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.08 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) R 5368 5368 5089 0 -1 4202496 11958 41930 0 0 67 55 171 15 20 0 1 0 383425391 47271936 11117 33554432000 4194304 6004724 140736376811520 140736376805568 5055489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11117 173 442 0 11095 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55312
[startup+6.30039 s]
/proc/loadavg: 2.06 2.03 1.94 3/184 5390
/proc/meminfo: memFree=26094020/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.12 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 13478 41930 0 0 70 56 171 15 20 0 1 0 383425391 47271936 11119 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11119 175 442 0 11095 0
[pid=5389] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383425705 9367552 266 33554432000 4194304 5064252 140736721612096 140736721611008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=65244 CPUtime=3.15 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5368 5089 0 -1 4202496 14271 0 0 0 313 2 0 0 20 0 1 0 383425705 66809856 14681 33554432000 4194304 5208918 140735767826144 140735767823976 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 16311 14681 103 248 0 16060 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 129704
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 1.94 3/184 5393
/proc/meminfo: memFree=26401352/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.12 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 13478 41930 0 0 70 56 171 15 20 0 1 0 383425391 47271936 11119 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11119 175 442 0 11095 0
[pid=5389] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383425705 9367552 266 33554432000 4194304 5064252 140736721612096 140736721611008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=66496 CPUtime=9.55 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5368 5089 0 -1 4202496 14867 0 0 0 952 3 0 0 20 0 1 0 383425705 68091904 15270 33554432000 4194304 5208918 140735767826144 140735767823976 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 16624 15270 103 248 0 16373 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 130956
[startup+25.5068 s]
/proc/loadavg: 2.12 2.04 1.95 3/184 5393
/proc/meminfo: memFree=26402924/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.12 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 13478 41930 0 0 70 56 171 15 20 0 1 0 383425391 47271936 11119 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11119 175 442 0 11095 0
[pid=5389] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383425705 9367552 266 33554432000 4194304 5064252 140736721612096 140736721611008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=67692 CPUtime=22.35 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5368 5089 0 -1 4202496 15780 0 0 0 2232 3 0 0 20 0 1 0 383425705 69316608 15187 33554432000 4194304 5208918 140735767826144 140735767824232 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 16923 15187 105 248 0 16672 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 132152
[startup+51.1003 s]
/proc/loadavg: 2.14 2.05 1.95 3/184 5393
/proc/meminfo: memFree=26403140/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.12 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 13478 41930 0 0 70 56 171 15 20 0 1 0 383425391 47271936 11119 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11119 175 442 0 11095 0
[pid=5389] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383425705 9367552 266 33554432000 4194304 5064252 140736721612096 140736721611008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=67724 CPUtime=47.94 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5368 5089 0 -1 4202496 17346 0 0 0 4790 4 0 0 20 0 1 0 383425705 69349376 15670 33554432000 4194304 5208918 140735767826144 140735767823976 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 16931 15670 105 248 0 16680 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 132184
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 1.96 3/183 5394
/proc/meminfo: memFree=26368408/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=3.12 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 13478 41930 0 0 70 56 171 15 20 0 1 0 383425391 47271936 11119 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11119 175 442 0 11095 0
[pid=5389] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5389/stat : 5389 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383425705 9367552 266 33554432000 4194304 5064252 140736721612096 140736721611008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5389/statm: 2287 266 226 213 0 72 0
[pid=5390] ppid=5389 vsize=115432 CPUtime=99.13 cores=1,3,5,7
/proc/5390/stat : 5390 (glucose) R 5389 5368 5089 0 -1 4202496 18483 0 0 0 9908 5 0 0 20 0 1 0 383425705 118202368 23422 33554432000 4194304 5208918 140735767826144 140735767824088 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5390/statm: 28858 23422 105 248 0 28607 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 179892
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/184 5402
/proc/meminfo: memFree=26396768/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=134.71 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 15374 64384 0 0 74 56 13318 23 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5401] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5401/stat : 5401 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383438867 9367552 265 33554432000 4194304 5064252 140735026176816 140735026175728 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5401/statm: 2287 265 226 213 0 72 0
[pid=5402] ppid=5401 vsize=67956 CPUtime=27.52 cores=1,3,5,7
/proc/5402/stat : 5402 (glucose) R 5401 5368 5089 0 -1 4202496 15946 0 0 0 2749 3 0 0 20 0 1 0 383438867 69586944 15611 33554432000 4194304 5208918 140733670916672 140733670914760 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5402/statm: 16989 15611 105 248 0 16738 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/183 5448
/proc/meminfo: memFree=26346904/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1303.21 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 26648 176085 0 0 105 60 130089 67 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5446] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5446/stat : 5446 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383555739 9367552 267 33554432000 4194304 5064252 140733379387840 140733379386752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2287 267 226 213 0 72 0
[pid=5447] ppid=5446 vsize=96968 CPUtime=58.8 cores=1,3,5,7
/proc/5447/stat : 5447 (glucose) R 5446 5368 5089 0 -1 4202496 16791 0 0 0 5877 3 0 0 20 0 1 0 383555740 99295232 22978 33554432000 4194304 5208918 140735301862240 140735301858616 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5447/statm: 24242 22978 105 248 0 23991 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 161428
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/183 5448
/proc/meminfo: memFree=26341380/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1303.21 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 26648 176085 0 0 105 60 130089 67 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5446] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5446/stat : 5446 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383555739 9367552 267 33554432000 4194304 5064252 140733379387840 140733379386752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2287 267 226 213 0 72 0
[pid=5447] ppid=5446 vsize=96968 CPUtime=118.78 cores=1,3,5,7
/proc/5447/stat : 5447 (glucose) R 5446 5368 5089 0 -1 4202496 17273 0 0 0 11875 3 0 0 20 0 1 0 383555740 99295232 23203 33554432000 4194304 5208918 140735301862240 140735301860328 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5447/statm: 24242 23203 105 248 0 23991 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 161428
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 5448
/proc/meminfo: memFree=26322420/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1303.21 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 26648 176085 0 0 105 60 130089 67 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5446] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5446/stat : 5446 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383555739 9367552 267 33554432000 4194304 5064252 140733379387840 140733379386752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2287 267 226 213 0 72 0
[pid=5447] ppid=5446 vsize=115824 CPUtime=178.77 cores=1,3,5,7
/proc/5447/stat : 5447 (glucose) R 5446 5368 5089 0 -1 4202496 17965 0 0 0 17873 4 0 0 20 0 1 0 383555740 118603776 27919 33554432000 4194304 5208918 140735301862240 140735301858616 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5447/statm: 28956 27919 105 248 0 28705 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 180284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 5448
/proc/meminfo: memFree=26320824/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1303.21 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 26648 176085 0 0 105 60 130089 67 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5446] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5446/stat : 5446 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383555739 9367552 267 33554432000 4194304 5064252 140733379387840 140733379386752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2287 267 226 213 0 72 0
[pid=5447] ppid=5446 vsize=115824 CPUtime=238.77 cores=1,3,5,7
/proc/5447/stat : 5447 (glucose) R 5446 5368 5089 0 -1 4202496 17965 0 0 0 23873 4 0 0 20 0 1 0 383555740 118603776 27919 33554432000 4194304 5208918 140735301862240 140735301858616 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5447/statm: 28956 27919 105 248 0 28705 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 180284
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 5448
/proc/meminfo: memFree=26316236/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1303.21 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 26648 176085 0 0 105 60 130089 67 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5446] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5446/stat : 5446 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383555739 9367552 267 33554432000 4194304 5064252 140733379387840 140733379386752 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2287 267 226 213 0 72 0
[pid=5447] ppid=5446 vsize=115824 CPUtime=298.74 cores=1,3,5,7
/proc/5447/stat : 5447 (glucose) R 5446 5368 5089 0 -1 4202496 18362 0 0 0 29870 4 0 0 20 0 1 0 383555740 118603776 27919 33554432000 4194304 5208918 140735301862240 140735301860328 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5447/statm: 28956 27919 105 248 0 28705 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 180284
[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5456
/proc/meminfo: memFree=26362136/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1653.68 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 30345 199818 0 0 119 61 165111 77 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5455] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383590794 9367552 267 33554432000 4194304 5064252 140737223256720 140737223255632 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5455/statm: 2287 267 226 213 0 72 0
[pid=5456] ppid=5455 vsize=65472 CPUtime=8.26 cores=1,3,5,7
/proc/5456/stat : 5456 (glucose) R 5455 5368 5089 0 -1 4202496 14471 0 0 0 824 2 0 0 20 0 1 0 383590794 67043328 15075 33554432000 4194304 5208918 140736463500640 140736463498728 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5456/statm: 16368 15075 104 248 0 16117 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 129932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5456
/proc/meminfo: memFree=26340164/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1653.68 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 30345 199818 0 0 119 61 165111 77 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5455] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383590794 9367552 267 33554432000 4194304 5064252 140737223256720 140737223255632 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5455/statm: 2287 267 226 213 0 72 0
[pid=5456] ppid=5455 vsize=85800 CPUtime=68.25 cores=1,3,5,7
/proc/5456/stat : 5456 (glucose) R 5455 5368 5089 0 -1 4202496 17050 0 0 0 6822 3 0 0 20 0 1 0 383590794 87859200 19521 33554432000 4194304 5208918 140736463500640 140736463498584 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5456/statm: 21450 19521 105 248 0 21199 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 150260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5456
/proc/meminfo: memFree=26323248/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1653.68 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 30345 199818 0 0 119 61 165111 77 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5455] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383590794 9367552 267 33554432000 4194304 5064252 140737223256720 140737223255632 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5455/statm: 2287 267 226 213 0 72 0
[pid=5456] ppid=5455 vsize=97292 CPUtime=128.24 cores=1,3,5,7
/proc/5456/stat : 5456 (glucose) R 5455 5368 5089 0 -1 4202496 18291 0 0 0 12820 4 0 0 20 0 1 0 383590794 99627008 23513 33554432000 4194304 5208918 140736463500640 140736463498728 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5456/statm: 24323 23513 105 248 0 24072 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 161752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5459
/proc/meminfo: memFree=26321504/32873648 swapFree=7388/7388
[pid=5368] ppid=5366 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (npSolver-pbo.sh) S 5366 5368 5089 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383425391 9367552 275 33554432000 4194304 5064252 140736225321472 140736225320384 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5368/statm: 2287 275 233 213 0 72 0
[pid=5371] ppid=5368 vsize=46164 CPUtime=1653.68 cores=1,3,5,7
/proc/5371/stat : 5371 (npSolver-pbo) S 5368 5368 5089 0 -1 4202496 30345 199818 0 0 119 61 165111 77 20 0 1 0 383425391 47271936 11120 33554432000 4194304 6004724 140736376811520 140736376803872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5371/statm: 11541 11120 176 442 0 11095 0
[pid=5455] ppid=5371 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5455/stat : 5455 (satsolver.sh) S 5371 5368 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383590794 9367552 267 33554432000 4194304 5064252 140737223256720 140737223255632 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5455/statm: 2287 267 226 213 0 72 0
[pid=5456] ppid=5455 vsize=116148 CPUtime=146.34 cores=1,3,5,7
/proc/5456/stat : 5456 (glucose) R 5455 5368 5089 0 -1 4202496 18293 0 0 0 14630 4 0 0 20 0 1 0 383590794 118935552 23515 33554432000 4194304 5208918 140736463500640 140736463498584 4212649 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5456/statm: 29037 23515 105 248 0 28786 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 180608
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1798.62
CPU system time (s): 1.43978
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 230400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.43978
maximum resident set size= 152428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 230424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1275
involuntary context switches= 1944
runsolver used 3.15752 second user time and 8.88565 second system time
The end