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-3714952-1338186400/watcher-3714952-1338186400 -o /tmp/evaluation-result-3714952-1338186400/solver-3714952-1338186400 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714952-1338186400.wbo 1859293083 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.03 2.02 2.00 3/179 25082
/proc/meminfo: memFree=27159304/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[startup+0.104025 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 25082
/proc/meminfo: memFree=27159304/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200205 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 25082
/proc/meminfo: memFree=27159304/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 25082
/proc/meminfo: memFree=27159304/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 25082
/proc/meminfo: memFree=27159304/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 25103
/proc/meminfo: memFree=27118368/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=11720 CPUtime=1.31 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 6351 29438 0 0 18 4 89 20 20 0 1 0 284766880 12001280 2376 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25083/statm: 2930 2376 160 439 0 2487 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 20868
[startup+3.10028 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 25122
/proc/meminfo: memFree=27154148/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7592 CPUtime=3.07 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) R 25082 25082 17655 0 -1 4202496 11714 70016 0 0 31 6 220 50 20 0 1 0 284766880 7774208 1195 33554432000 4194304 5990268 140736808768528 140736808760528 5043470 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25083/statm: 1898 1203 160 439 0 1455 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16740
[startup+6.30032 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 25173
/proc/meminfo: memFree=27171084/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=11660 CPUtime=6.04 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 22950 137089 0 0 58 10 439 97 20 0 1 0 284766880 11939840 2376 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25083/statm: 2915 2376 160 439 0 2472 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 20808
[startup+12.7003 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 25292
/proc/meminfo: memFree=27169836/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=12.6 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 45423 286345 0 0 107 19 938 196 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 16680
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 25432
/proc/meminfo: memFree=27159260/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=22.53 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 55726 400494 0 0 126 22 1858 247 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25431] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25431/stat : 25431 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284769142 9367552 266 33554432000 4194304 5064252 140736672878000 140736672876912 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25431/statm: 2287 266 226 213 0 72 0
[pid=25432] ppid=25431 vsize=14416 CPUtime=2.86 cores=1,3,5,7
/proc/25432/stat : 25432 (glucose) R 25431 25082 17655 0 -1 4202496 3020 0 0 0 286 0 0 0 20 0 1 0 284769142 14761984 3009 33554432000 4194304 5208918 140734068542048 140734068539992 4229176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25432/statm: 3604 3009 103 248 0 3353 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 40244
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 25432
/proc/meminfo: memFree=27159260/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=25.48 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 55735 404120 0 0 126 22 2152 248 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16680
[startup+38.4003 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27147100/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=12796 CPUtime=4.21 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 2819 0 0 0 421 0 0 0 20 0 1 0 284770297 13103104 2548 33554432000 4194304 5208918 140737331741520 140737331739384 4229328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 3199 2548 103 248 0 2948 0
Current children cumulated CPU time (s) 38.21
Current children cumulated vsize (KiB) 38624
[startup+44.8004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27135468/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=15472 CPUtime=10.61 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 4583 0 0 0 1061 0 0 0 20 0 1 0 284770297 15843328 3507 33554432000 4194304 5208918 140737331741520 140737331737896 4229332 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 3868 3507 103 248 0 3617 0
Current children cumulated CPU time (s) 44.61
Current children cumulated vsize (KiB) 41300
[startup+46.4003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27130660/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=18192 CPUtime=12.2 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 4762 0 0 0 1220 0 0 0 20 0 1 0 284770297 18628608 4188 33554432000 4194304 5208918 140737331741520 140737331739384 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 4548 4188 103 248 0 4297 0
Current children cumulated CPU time (s) 46.2
Current children cumulated vsize (KiB) 44020
[startup+47.2003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27130660/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=18192 CPUtime=13 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 4762 0 0 0 1300 0 0 0 20 0 1 0 284770297 18628608 4188 33554432000 4194304 5208918 140737331741520 140737331739384 4229712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 4548 4188 103 248 0 4297 0
Current children cumulated CPU time (s) 47
Current children cumulated vsize (KiB) 44020
[startup+47.6003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27128612/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=18192 CPUtime=13.4 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 4762 0 0 0 1340 0 0 0 20 0 1 0 284770297 18628608 4188 33554432000 4194304 5208918 140737331741520 140737331739384 4212816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 4548 4188 103 248 0 4297 0
Current children cumulated CPU time (s) 47.4
Current children cumulated vsize (KiB) 44020
[startup+48.0003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25488
/proc/meminfo: memFree=27128612/32873648 swapFree=6848/6848
[pid=25082] ppid=25080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25082/stat : 25082 (npSolver-wbo-It) S 25080 25082 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284766880 9367552 275 33554432000 4194304 5064252 140734666314432 140734666313344 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25082/statm: 2287 275 233 213 0 72 0
[pid=25083] ppid=25082 vsize=7532 CPUtime=34 cores=1,3,5,7
/proc/25083/stat : 25083 (npSolver-wbo) S 25082 25082 17655 0 -1 4202496 56632 447585 0 0 127 22 2993 258 20 0 1 0 284766880 7712768 1529 33554432000 4194304 5990268 140736808768528 140736808759952 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25083/statm: 1883 1529 160 439 0 1440 0
[pid=25487] ppid=25083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25487/stat : 25487 (satsolver.sh) S 25083 25082 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284770297 9367552 266 33554432000 4194304 5064252 140734510087056 140734510085968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25487/statm: 2287 266 226 213 0 72 0
[pid=25488] ppid=25487 vsize=18192 CPUtime=13.8 cores=1,3,5,7
/proc/25488/stat : 25488 (glucose) R 25487 25082 17655 0 -1 4202496 4762 0 0 0 1380 0 0 0 20 0 1 0 284770297 18628608 4188 33554432000 4194304 5208918 140737331741520 140737331739384 4229538 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25488/statm: 4548 4188 103 248 0 4297 0
Current children cumulated CPU time (s) 47.8
Current children cumulated vsize (KiB) 44020
Child status: 0
Real time (s): 48.0754
CPU time (s): 47.9087
CPU user time (s): 45.0801
CPU system time (s): 2.82857
CPU usage (%): 99.6533
Max. virtual memory (cumulated for all children) (KiB): 63372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.0801
system time used= 2.82857
maximum resident set size= 29920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 266872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4525
involuntary context switches= 828
runsolver used 0.082987 second user time and 0.272958 second system time
The end