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-3750019-1339176153/watcher-3750019-1339176153 -o /tmp/evaluation-result-3750019-1339176153/solver-3750019-1339176153 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750019-1339176153.opb 577250416 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.00 2.00 3/177 1524
/proc/meminfo: memFree=30462404/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[startup+0.026772 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1524
/proc/meminfo: memFree=30462404/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1524
/proc/meminfo: memFree=30462404/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1524
/proc/meminfo: memFree=30462404/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700332 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1524
/proc/meminfo: memFree=30462404/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 1526
/proc/meminfo: memFree=30318024/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=241464 CPUtime=1.49 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) R 1524 1524 982 0 -1 4202496 22913 0 0 0 143 6 0 0 20 0 1 0 383740733 247259136 44781 33554432000 4194304 6004724 140736686651456 140736686646408 5055473 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1525/statm: 60366 44781 154 442 0 59920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250612
[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 1526
/proc/meminfo: memFree=30237532/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=2.59 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23707 0 0 0 229 30 0 0 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686645504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 176944
[startup+6.30039 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 1528
/proc/meminfo: memFree=29714416/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=2.59 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23707 0 0 0 229 30 0 0 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686645504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1527] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1527/stat : 1527 (cp2_pre.sh) S 1525 1524 982 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383741003 9367552 277 33554432000 4194304 5064252 140735303060064 140735303058768 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1527/statm: 2287 277 234 213 0 72 0
[pid=1528] ppid=1527 vsize=564736 CPUtime=3.59 cores=0,2,4,6
/proc/1528/stat : 1528 (coprocessor) R 1527 1524 982 0 -1 4202496 56655 0 0 0 344 15 0 0 20 0 1 0 383741003 578289664 127095 33554432000 4194304 6586260 140734095241136 140734095237400 4496483 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/1528/statm: 141184 127095 168 584 0 140596 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 750828
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1531
/proc/meminfo: memFree=30074172/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=11.42 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23715 72071 0 0 229 31 844 38 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686646592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1530] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1530/stat : 1530 (satsolver.sh) S 1525 1524 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383741886 9367552 267 33554432000 4194304 5064252 140735388645520 140735388644432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1530/statm: 2287 267 226 213 0 72 0
[pid=1531] ppid=1530 vsize=270236 CPUtime=1.16 cores=0,2,4,6
/proc/1531/stat : 1531 (glucose) R 1530 1524 982 0 -1 4202496 45956 0 0 0 106 10 0 0 20 0 1 0 383741886 276721664 59169 33554432000 4194304 5208918 140735446692704 140735446690552 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1531/statm: 67559 59169 103 248 0 67308 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 456328
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 1531
/proc/meminfo: memFree=29999396/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=11.42 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23715 72071 0 0 229 31 844 38 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686646592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1530] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1530/stat : 1530 (satsolver.sh) S 1525 1524 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383741886 9367552 267 33554432000 4194304 5064252 140735388645520 140735388644432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1530/statm: 2287 267 226 213 0 72 0
[pid=1531] ppid=1530 vsize=277844 CPUtime=13.96 cores=0,2,4,6
/proc/1531/stat : 1531 (glucose) R 1530 1524 982 0 -1 4202496 47186 0 0 0 1386 10 0 0 20 0 1 0 383741886 284512256 60910 33554432000 4194304 5208918 140735446692704 140735446690536 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1531/statm: 69461 60910 103 248 0 69210 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 463936
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 1531
/proc/meminfo: memFree=29996844/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=11.42 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23715 72071 0 0 229 31 844 38 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686646592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1530] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1530/stat : 1530 (satsolver.sh) S 1525 1524 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383741886 9367552 267 33554432000 4194304 5064252 140735388645520 140735388644432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1530/statm: 2287 267 226 213 0 72 0
[pid=1531] ppid=1530 vsize=277844 CPUtime=39.55 cores=0,2,4,6
/proc/1531/stat : 1531 (glucose) R 1530 1524 982 0 -1 4202496 47316 0 0 0 3945 10 0 0 20 0 1 0 383741886 284512256 61551 33554432000 4194304 5208918 140735446692704 140735446690536 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1531/statm: 69461 61551 103 248 0 69210 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 463936
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1531
/proc/meminfo: memFree=29989028/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=11.42 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23715 72071 0 0 229 31 844 38 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686646592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1530] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1530/stat : 1530 (satsolver.sh) S 1525 1524 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383741886 9367552 267 33554432000 4194304 5064252 140735388645520 140735388644432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1530/statm: 2287 267 226 213 0 72 0
[pid=1531] ppid=1530 vsize=281092 CPUtime=90.75 cores=0,2,4,6
/proc/1531/stat : 1531 (glucose) R 1530 1524 982 0 -1 4202496 47680 0 0 0 9065 10 0 0 20 0 1 0 383741886 287838208 61915 33554432000 4194304 5208918 140735446692704 140735446690536 4218985 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1531/statm: 70273 61915 104 248 0 70022 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 467184
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 1531
/proc/meminfo: memFree=29983980/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=167796 CPUtime=11.42 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 23715 72071 0 0 229 31 844 38 20 0 1 0 383740733 171823104 41600 33554432000 4194304 6004724 140736686651456 140736686646592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/1525/statm: 41949 41600 163 442 0 41503 0
[pid=1530] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1530/stat : 1530 (satsolver.sh) S 1525 1524 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383741886 9367552 267 33554432000 4194304 5064252 140735388645520 140735388644432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1530/statm: 2287 267 226 213 0 72 0
[pid=1531] ppid=1530 vsize=311912 CPUtime=150.74 cores=0,2,4,6
/proc/1531/stat : 1531 (glucose) R 1530 1524 982 0 -1 4202496 48159 0 0 0 15063 11 0 0 20 0 1 0 383741886 319397888 62372 33554432000 4194304 5208918 140735446692704 140735446690856 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1531/statm: 77978 62372 104 248 0 77727 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 498004
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 1532
/proc/meminfo: memFree=29971208/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132665 0 0 0 53626 46 0 0 20 0 1 0 383829282 1003257856 217154 33554432000 4194304 5208918 140736922868576 140736922864952 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217154 104 248 0 244685 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1708176
[startup+1482.3 s]
/proc/loadavg: 2.09 2.13 2.06 3/179 1732
/proc/meminfo: memFree=18367464/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=596.7 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132665 0 0 0 59624 46 0 0 20 0 1 0 383829282 1003257856 217154 33554432000 4194304 5208918 140736922868576 140736922864952 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217154 104 248 0 244685 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1708176
[startup+1542.3 s]
/proc/loadavg: 3.76 2.57 2.21 3/180 1733
/proc/meminfo: memFree=9493524/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=656.69 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132670 0 0 0 65623 46 0 0 20 0 1 0 383829282 1003257856 217154 33554432000 4194304 5208918 140736922868576 140736922864952 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217154 104 248 0 244685 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1708176
[startup+1602.3 s]
/proc/loadavg: 4.55 3.01 2.38 2/180 1733
/proc/meminfo: memFree=6337056/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=716.67 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132705 0 0 0 71620 47 0 0 20 0 1 0 383829282 1003257856 217154 33554432000 4194304 5208918 140736922868576 140736922864952 4229843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217154 104 248 0 244685 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1708176
[startup+1662.3 s]
/proc/loadavg: 4.85 3.38 2.55 2/181 1736
/proc/meminfo: memFree=3377892/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=776.66 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132723 0 0 0 77619 47 0 0 20 0 1 0 383829282 1003257856 217154 33554432000 4194304 5208918 140736922868576 140736922864952 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217154 104 248 0 244685 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1708176
[startup+1722.31 s]
/proc/loadavg: 4.94 3.68 2.70 2/180 1736
/proc/meminfo: memFree=3224424/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=836.65 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132737 0 0 0 83618 47 0 0 20 0 1 0 383829282 1003257856 217163 33554432000 4194304 5208918 140736922868576 140736922864952 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217163 104 248 0 244685 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1708176
[startup+1782.3 s]
/proc/loadavg: 4.45 3.80 2.80 3/180 1777
/proc/meminfo: memFree=28261748/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=896.63 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132742 0 0 0 89616 47 0 0 20 0 1 0 383829282 1003257856 217164 33554432000 4194304 5208918 140736922868576 140736922864952 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217164 104 248 0 244685 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1708176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 3.83 3.70 2.79 3/180 1777
/proc/meminfo: memFree=26163012/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=914.83 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132742 0 0 0 91436 47 0 0 20 0 1 0 383829282 1003257856 217164 33554432000 4194304 5208918 140736922868576 140736922864952 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217164 104 248 0 244685 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1708176
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 3.83 3.70 2.79 3/180 1777
/proc/meminfo: memFree=26163012/32873852 swapFree=7632/7632
[pid=1524] ppid=1522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1524/stat : 1524 (npSolver-pbo.sh) S 1522 1524 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383740733 9367552 275 33554432000 4194304 5064252 140736996562608 140736996561520 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1524/statm: 2287 275 233 213 0 72 0
[pid=1525] ppid=1524 vsize=710136 CPUtime=885.19 cores=0,2,4,6
/proc/1525/stat : 1525 (npSolver-pbo) S 1524 1524 982 0 -1 4202496 39293 130949 0 0 712 408 87332 67 20 0 1 0 383740733 727179264 120657 33554432000 4194304 6004724 140736686651456 140736686643808 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/1525/statm: 177534 120657 175 442 0 177088 0
[pid=1545] ppid=1525 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1545/stat : 1545 (satsolver.sh) S 1525 1524 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383829281 9367552 266 33554432000 4194304 5064252 140733957422480 140733957421392 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1545/statm: 2287 266 226 213 0 72 0
[pid=1546] ppid=1545 vsize=979744 CPUtime=914.83 cores=0,2,4,6
/proc/1546/stat : 1546 (glucose) R 1545 1524 982 0 -1 4202496 132742 0 0 0 91436 47 0 0 20 0 1 0 383829282 1003257856 217164 33554432000 4194304 5208918 140736922868576 140736922864952 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1546/statm: 244936 217164 104 248 0 244685 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1708176
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1524 and gives
# childrusage.ru_utime.tv_sec=880
# childrusage.ru_utime.tv_usec=451151
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=770274
# CPU time returned by wait4() is 885.221
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.02
CPU user time (s): 1794.8
CPU system time (s): 5.22
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 2014176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 880.451
system time used= 4.77027
maximum resident set size= 780404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171218
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1193640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1454
involuntary context switches= 931
runsolver used 3.53446 second user time and 8.02278 second system time
The end