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-3701245-1338063245/watcher-3701245-1338063245 -o /tmp/evaluation-result-3701245-1338063245/solver-3701245-1338063245 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701245-1338063245.opb 783233113 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/179 12533
/proc/meminfo: memFree=28434228/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[startup+0.0688211 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12533
/proc/meminfo: memFree=28434228/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100149 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12533
/proc/meminfo: memFree=28434228/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12533
/proc/meminfo: memFree=28434228/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12533
/proc/meminfo: memFree=28434228/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12554
/proc/meminfo: memFree=28415728/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=0.75 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 2542 12507 0 0 14 4 55 2 20 0 1 0 272449078 6983680 1091 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1091 177 440 0 1261 0
[pid=12553] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12553/stat : 12553 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272449156 9367552 267 33554432000 4194304 5064252 140735271154720 140735271153632 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12553/statm: 2287 267 226 213 0 72 0
[pid=12554] ppid=12553 vsize=18204 CPUtime=0.71 cores=0,2,4,6
/proc/12554/stat : 12554 (glucose) R 12553 12533 11113 0 -1 4202496 3678 0 0 0 71 0 0 0 20 0 1 0 272449156 18640896 3360 33554432000 4194304 5208918 140735617089776 140735617087608 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12554/statm: 4551 3360 95 248 0 4300 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43320
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12561
/proc/meminfo: memFree=28412440/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=3.07 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) R 12533 12533 11113 0 -1 4202496 3424 24189 0 0 16 5 282 4 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 4906689 0 65536 4102 0 0 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15968
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12568
/proc/meminfo: memFree=28405928/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=6.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 6065 42119 0 0 27 6 566 12 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 15968
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12589
/proc/meminfo: memFree=28390060/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=7.59 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 6963 49130 0 0 32 6 704 17 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12588] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272449840 9367552 267 33554432000 4194304 5064252 140736483012448 140736483011360 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12588/statm: 2287 267 226 213 0 72 0
[pid=12589] ppid=12588 vsize=22008 CPUtime=5.07 cores=0,2,4,6
/proc/12589/stat : 12589 (glucose) R 12588 12533 11113 0 -1 4202496 6479 0 0 0 506 1 0 0 20 0 1 0 272449840 22536192 5035 33554432000 4194304 5208918 140733373409088 140733373407080 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12589/statm: 5502 5035 105 248 0 5251 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47124
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12596
/proc/meminfo: memFree=28417084/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=13.68 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 7861 59484 0 0 38 7 1301 22 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12595] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12595/stat : 12595 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272450448 9367552 266 33554432000 4194304 5064252 140733668912432 140733668911344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12595/statm: 2287 266 226 213 0 72 0
[pid=12596] ppid=12595 vsize=29060 CPUtime=11.79 cores=0,2,4,6
/proc/12596/stat : 12596 (glucose) R 12595 12533 11113 0 -1 4202496 6973 0 0 0 1178 1 0 0 20 0 1 0 272450448 29757440 6788 33554432000 4194304 5208918 140736623432080 140736623428456 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12596/statm: 7265 6788 105 248 0 7014 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54176
Solver just ended. Dumping a history of the last processes samples
[startup+31.9064 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12596
/proc/meminfo: memFree=28409572/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=13.68 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 7861 59484 0 0 38 7 1301 22 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12595] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12595/stat : 12595 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272450448 9367552 266 33554432000 4194304 5064252 140733668912432 140733668911344 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12595/statm: 2287 266 226 213 0 72 0
[pid=12596] ppid=12595 vsize=31952 CPUtime=18.19 cores=0,2,4,6
/proc/12596/stat : 12596 (glucose) R 12595 12533 11113 0 -1 4202496 8214 0 0 0 1818 1 0 0 20 0 1 0 272450448 32718848 7115 33554432000 4194304 5208918 140736623432080 140736623430168 4229577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12596/statm: 7988 7115 105 248 0 7737 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 57068
[startup+38.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12596
/proc/meminfo: memFree=28397348/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=38.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 8759 71470 0 0 44 7 3732 28 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
Current children cumulated CPU time (s) 38.11
Current children cumulated vsize (KiB) 15968
[startup+39.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12603
/proc/meminfo: memFree=28415460/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=38.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 8759 71470 0 0 44 7 3732 28 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12602] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12602/stat : 12602 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272452891 9367552 266 33554432000 4194304 5064252 140733824171152 140733824170064 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12602/statm: 2287 266 226 213 0 72 0
[pid=12603] ppid=12602 vsize=18832 CPUtime=1.76 cores=0,2,4,6
/proc/12603/stat : 12603 (glucose) R 12602 12533 11113 0 -1 4202496 3508 0 0 0 176 0 0 0 20 0 1 0 272452891 19283968 3767 33554432000 4194304 5208918 140734237139440 140734237137272 4229577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12603/statm: 4708 3767 103 248 0 4457 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 43948
[startup+41.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12603
/proc/meminfo: memFree=28411552/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=38.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 8759 71470 0 0 44 7 3732 28 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12602] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12602/stat : 12602 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272452891 9367552 266 33554432000 4194304 5064252 140733824171152 140733824170064 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12602/statm: 2287 266 226 213 0 72 0
[pid=12603] ppid=12602 vsize=17620 CPUtime=3.36 cores=0,2,4,6
/proc/12603/stat : 12603 (glucose) R 12602 12533 11113 0 -1 4202496 4518 0 0 0 336 0 0 0 20 0 1 0 272452891 18042880 3907 33554432000 4194304 5208918 140734237139440 140734237137528 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12603/statm: 4405 3907 105 248 0 4154 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 42736
[startup+42.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12603
/proc/meminfo: memFree=28412360/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=38.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 8759 71470 0 0 44 7 3732 28 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12602] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12602/stat : 12602 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272452891 9367552 266 33554432000 4194304 5064252 140733824171152 140733824170064 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12602/statm: 2287 266 226 213 0 72 0
[pid=12603] ppid=12602 vsize=17652 CPUtime=4.16 cores=0,2,4,6
/proc/12603/stat : 12603 (glucose) R 12602 12533 11113 0 -1 4202496 5382 0 0 0 415 1 0 0 20 0 1 0 272452891 18075648 3816 33554432000 4194304 5208918 140734237139440 140734237135816 4232672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12603/statm: 4413 3816 105 248 0 4162 0
Current children cumulated CPU time (s) 42.27
Current children cumulated vsize (KiB) 42768
[startup+42.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12603
/proc/meminfo: memFree=28412360/32873844 swapFree=6080/6080
[pid=12533] ppid=12531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12533/stat : 12533 (npSolver-pbo.sh) S 12531 12533 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272449078 9367552 275 33554432000 4194304 5064252 140734601125200 140734601124112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12533/statm: 2287 275 233 213 0 72 0
[pid=12534] ppid=12533 vsize=6820 CPUtime=38.11 cores=0,2,4,6
/proc/12534/stat : 12534 (npSolver-pbo) S 12533 12533 11113 0 -1 4202496 8759 71470 0 0 44 7 3732 28 20 0 1 0 272449078 6983680 1114 33554432000 4194304 5992684 140733605456512 140733605448832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12534/statm: 1705 1114 177 440 0 1261 0
[pid=12602] ppid=12534 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12602/stat : 12602 (satsolver.sh) S 12534 12533 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272452891 9367552 266 33554432000 4194304 5064252 140733824171152 140733824170064 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12602/statm: 2287 266 226 213 0 72 0
[pid=12603] ppid=12602 vsize=17848 CPUtime=4.56 cores=0,2,4,6
/proc/12603/stat : 12603 (glucose) R 12602 12533 11113 0 -1 4202496 5475 0 0 0 455 1 0 0 20 0 1 0 272452891 18276352 3907 33554432000 4194304 5208918 140734237139440 140734237135816 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12603/statm: 4462 3907 105 248 0 4211 0
Current children cumulated CPU time (s) 42.67
Current children cumulated vsize (KiB) 42964
Child status: 0
Real time (s): 42.7745
CPU time (s): 42.7685
CPU user time (s): 42.3856
CPU system time (s): 0.382941
CPU usage (%): 99.9861
Max. virtual memory (cumulated for all children) (KiB): 68560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.3856
system time used= 0.382941
maximum resident set size= 34576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400
involuntary context switches= 185
runsolver used 0.091986 second user time and 0.189971 second system time
The end