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-3754823-1339203904/watcher-3754823-1339203904 -o /tmp/evaluation-result-3754823-1339203904/solver-3754823-1339203904 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754823-1339203904.wbo 1147982712 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.53 2.36 3/180 30593
/proc/meminfo: memFree=28302324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[startup+0.104905 s]
/proc/loadavg: 2.07 2.53 2.36 3/180 30593
/proc/meminfo: memFree=28302324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200369 s]
/proc/loadavg: 2.07 2.53 2.36 3/180 30593
/proc/meminfo: memFree=28302324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300382 s]
/proc/loadavg: 2.07 2.53 2.36 3/180 30593
/proc/meminfo: memFree=28302324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.07 2.53 2.36 3/180 30593
/proc/meminfo: memFree=28302324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.07 2.53 2.36 3/182 30595
/proc/meminfo: memFree=28166264/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=224364 CPUtime=1.49 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 20656 0 0 0 141 8 0 0 20 0 1 0 386519074 229748736 43561 33554432000 4194304 6006132 140734246248976 140734246244536 4969855 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 56091 43562 139 443 0 55644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233512
[startup+3.10039 s]
/proc/loadavg: 2.07 2.52 2.36 3/182 30595
/proc/meminfo: memFree=27943360/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=483796 CPUtime=3.08 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 56844 0 0 0 290 18 0 0 20 0 1 0 386519074 495407104 110800 33554432000 4194304 6006132 140734246248976 140734246243208 4416720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 120949 110800 148 443 0 120502 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 492944
[startup+6.30027 s]
/proc/loadavg: 2.07 2.52 2.36 3/182 30595
/proc/meminfo: memFree=27857712/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=483796 CPUtime=6.29 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 56844 0 0 0 610 19 0 0 20 0 1 0 386519074 495407104 110800 33554432000 4194304 6006132 140734246248976 140734246244328 4537098 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 120949 110800 148 443 0 120502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 492944
[startup+12.7005 s]
/proc/loadavg: 2.06 2.51 2.35 3/184 30597
/proc/meminfo: memFree=27137732/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=530616 CPUtime=10.78 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4202496 57494 0 0 0 805 273 0 0 20 0 1 0 386519074 543350784 122180 33554432000 4194304 6006132 140734246248976 140734246242080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 132654 122180 155 443 0 132207 0
[pid=30596] ppid=30594 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30596/stat : 30596 (cp2_pre.sh) S 30594 30593 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 386520152 9367552 276 33554432000 4194304 5064252 140733936640320 140733936639024 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30596/statm: 2287 276 234 213 0 72 0
[pid=30597] ppid=30596 vsize=650500 CPUtime=1.89 cores=1,3,5,7
/proc/30597/stat : 30597 (coprocessor) R 30596 30593 23680 0 -1 4202496 37866 0 0 0 172 17 0 0 20 0 1 0 386520154 666112000 158921 33554432000 4194304 6586260 140737076057008 140737076053000 4775781 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30597/statm: 162625 158921 173 584 0 162037 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1199412
[startup+25.5004 s]
/proc/loadavg: 2.11 2.50 2.35 3/184 30597
/proc/meminfo: memFree=27024236/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=530616 CPUtime=10.78 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4202496 57494 0 0 0 805 273 0 0 20 0 1 0 386519074 543350784 122180 33554432000 4194304 6006132 140734246248976 140734246242080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 132654 122180 155 443 0 132207 0
[pid=30596] ppid=30594 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30596/stat : 30596 (cp2_pre.sh) S 30594 30593 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 386520152 9367552 276 33554432000 4194304 5064252 140733936640320 140733936639024 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30596/statm: 2287 276 234 213 0 72 0
[pid=30597] ppid=30596 vsize=758768 CPUtime=14.69 cores=1,3,5,7
/proc/30597/stat : 30597 (coprocessor) R 30596 30593 23680 0 -1 4202496 41790 0 0 0 1449 20 0 0 20 0 1 0 386520154 776978432 187884 33554432000 4194304 6586260 140737076057008 140737076052872 5599447 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30597/statm: 189692 187884 188 584 0 189104 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1307680
[startup+51.1004 s]
/proc/loadavg: 2.14 2.48 2.35 3/184 30597
/proc/meminfo: memFree=27017664/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=530616 CPUtime=10.78 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4202496 57494 0 0 0 805 273 0 0 20 0 1 0 386519074 543350784 122180 33554432000 4194304 6006132 140734246248976 140734246242080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 132654 122180 155 443 0 132207 0
[pid=30596] ppid=30594 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30596/stat : 30596 (cp2_pre.sh) S 30594 30593 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 386520152 9367552 276 33554432000 4194304 5064252 140733936640320 140733936639024 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30596/statm: 2287 276 234 213 0 72 0
[pid=30597] ppid=30596 vsize=761408 CPUtime=40.28 cores=1,3,5,7
/proc/30597/stat : 30597 (coprocessor) R 30596 30593 23680 0 -1 4202496 42456 0 0 0 4008 20 0 0 20 0 1 0 386520154 779681792 188550 33554432000 4194304 6586260 140737076057008 140737076052376 5599492 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30597/statm: 190352 188550 188 584 0 189764 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1310320
[startup+102.3 s]
/proc/loadavg: 2.09 2.41 2.33 3/184 30734
/proc/meminfo: memFree=26587468/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=530616 CPUtime=10.78 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4202496 57494 0 0 0 805 273 0 0 20 0 1 0 386519074 543350784 122180 33554432000 4194304 6006132 140734246248976 140734246242080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30594/statm: 132654 122180 155 443 0 132207 0
[pid=30596] ppid=30594 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30596/stat : 30596 (cp2_pre.sh) S 30594 30593 23680 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 386520152 9367552 276 33554432000 4194304 5064252 140733936640320 140733936639024 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30596/statm: 2287 276 234 213 0 72 0
[pid=30597] ppid=30596 vsize=762728 CPUtime=91.48 cores=1,3,5,7
/proc/30597/stat : 30597 (coprocessor) R 30596 30593 23680 0 -1 4202496 42781 0 0 0 9128 20 0 0 20 0 1 0 386520154 781033472 188875 33554432000 4194304 6586260 140737076057008 140737076052600 5599492 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30597/statm: 190682 188875 188 584 0 190094 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1311640
[startup+162.3 s]
/proc/loadavg: 2.04 2.34 2.31 3/180 30744
/proc/meminfo: memFree=19557380/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=3025268 CPUtime=162.11 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 378508 93440 0 0 1958 489 13707 57 20 0 1 0 386519074 3097874432 635126 33554432000 4194304 6006132 140734246248976 140734246241336 4583695 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 756317 635126 176 443 0 755870 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 3034416
[startup+222.307 s]
/proc/loadavg: 2.01 2.27 2.29 3/180 30745
/proc/meminfo: memFree=10949212/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=10365300 CPUtime=220.24 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 409240 93440 0 0 7285 975 13707 57 20 0 1 0 386519074 10614067200 1705718 33554432000 4194304 6006132 140734246248976 140734246241336 4583783 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2591325 1705718 176 443 0 2590878 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 10374448
[startup+282.3 s]
/proc/loadavg: 3.24 2.52 2.37 2/181 30746
/proc/meminfo: memFree=832392/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=10430836 CPUtime=280.1 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) R 30593 30593 23680 0 -1 4202496 414550 93440 0 0 13163 1083 13707 57 20 0 1 0 386519074 10681176064 2580542 33554432000 4194304 6006132 140734246248976 140734246241368 4582401 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2607709 2580542 224 443 0 2607262 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 10439984
[startup+342.3 s]
/proc/loadavg: 3.84 2.83 2.48 1/183 30750
/proc/meminfo: memFree=430324/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=283.29 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1186 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 283.29
Current children cumulated vsize (KiB) 9026684
[startup+402.3 s]
/proc/loadavg: 3.99 3.06 2.58 1/182 30750
/proc/meminfo: memFree=198088/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.11 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1268 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.11
Current children cumulated vsize (KiB) 9026684
heavy processes:
%CPU=10 pid=30746 uid=0 cmd=
[startup+462.3 s]
/proc/loadavg: 4.57 3.38 2.72 1/182 30750
/proc/meminfo: memFree=208172/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+477.1 s]
/proc/loadavg: 4.66 3.46 2.75 1/182 30750
/proc/meminfo: memFree=210512/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+483.5 s]
/proc/loadavg: 4.72 3.51 2.78 2/182 30750
/proc/meminfo: memFree=210512/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+486.7 s]
/proc/loadavg: 4.72 3.51 2.78 1/182 30750
/proc/meminfo: memFree=210512/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+489.9 s]
/proc/loadavg: 4.74 3.54 2.79 1/182 30750
/proc/meminfo: memFree=212868/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+490.7 s]
/proc/loadavg: 4.74 3.54 2.79 1/182 30750
/proc/meminfo: memFree=212868/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+491.5 s]
/proc/loadavg: 4.74 3.54 2.79 1/182 30750
/proc/meminfo: memFree=212992/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
[startup+491.7 s]
/proc/loadavg: 4.74 3.54 2.79 1/182 30750
/proc/meminfo: memFree=212992/32873844 swapFree=7372/7372
[pid=30593] ppid=30591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30593/stat : 30593 (npSolver-wbo.sh) S 30591 30593 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386519074 9367552 275 33554432000 4194304 5064252 140735266420080 140735266418992 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30593/statm: 2287 275 233 213 0 72 0
[pid=30594] ppid=30593 vsize=9017536 CPUtime=284.84 cores=1,3,5,7
/proc/30594/stat : 30594 (npSolver-wbo) S 30593 30593 23680 0 -1 4204032 414556 93440 0 0 13379 1341 13707 57 20 0 1 0 386519074 9233956864 2227648 33554432000 4194304 6006132 140734246248976 140734246240920 5252949 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 14 0 0
/proc/30594/statm: 2254384 2227648 229 443 0 2253937 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 9026684
Child status: 0
Real time (s): 491.789
CPU time (s): 284.924
CPU user time (s): 270.872
CPU system time (s): 14.0519
CPU usage (%): 57.9362
Max. virtual memory (cumulated for all children) (KiB): 14568752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.872
system time used= 14.0519
maximum resident set size= 10322168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1526336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 602504
involuntary context switches= 678
runsolver used 0.799878 second user time and 2.36064 second system time
The end