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-3701390-1338065947/watcher-3701390-1338065947 -o /tmp/evaluation-result-3701390-1338065947/solver-3701390-1338065947 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701390-1338065947.opb 205934329 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: 1.97 1.98 2.08 3/177 7748
/proc/meminfo: memFree=22887240/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[startup+0.0198939 s]
/proc/loadavg: 1.97 1.98 2.08 3/177 7748
/proc/meminfo: memFree=22887240/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 1.97 1.98 2.08 3/177 7748
/proc/meminfo: memFree=22887240/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30015 s]
/proc/loadavg: 1.97 1.98 2.08 3/177 7748
/proc/meminfo: memFree=22887240/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 1.97 1.98 2.08 3/177 7748
/proc/meminfo: memFree=22887240/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.97 1.98 2.08 3/181 7762
/proc/meminfo: memFree=22862880/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=0.53 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6124 6653 0 0 18 2 32 1 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7761] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7761/stat : 7761 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272723380 9367552 267 33554432000 4194304 5064252 140736583039344 140736583038256 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7761/statm: 2287 267 226 213 0 72 0
[pid=7762] ppid=7761 vsize=5636 CPUtime=0.94 cores=1,3,5,7
/proc/7762/stat : 7762 (glucose) R 7761 7748 5140 0 -1 4202496 1327 0 0 0 94 0 0 0 20 0 1 0 272723381 5771264 880 33554432000 4194304 5208918 140735620213040 140735620210984 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7762/statm: 1409 880 101 248 0 1158 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 47448
[startup+3.10026 s]
/proc/loadavg: 1.97 1.98 2.08 3/181 7762
/proc/meminfo: memFree=22861532/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=2.52 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6194 11619 0 0 18 2 229 3 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 32664
[startup+6.30033 s]
/proc/loadavg: 1.97 1.98 2.08 3/181 7769
/proc/meminfo: memFree=22860044/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=2.52 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6194 11619 0 0 18 2 229 3 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7768] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7768/stat : 7768 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272723579 9367552 266 33554432000 4194304 5064252 140735342947408 140735342946320 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7768/statm: 2287 266 226 213 0 72 0
[pid=7769] ppid=7768 vsize=8400 CPUtime=3.75 cores=1,3,5,7
/proc/7769/stat : 7769 (glucose) R 7768 7748 5140 0 -1 4202496 2176 0 0 0 375 0 0 0 20 0 1 0 272723579 8601600 1633 33554432000 4194304 5208918 140735181117792 140735181115736 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7769/statm: 2100 1633 102 248 0 1849 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50212
[startup+12.7003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7783
/proc/meminfo: memFree=22859928/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=10.43 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6339 21940 0 0 18 2 1018 5 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7782] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7782/stat : 7782 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272724371 9367552 266 33554432000 4194304 5064252 140736478268736 140736478267648 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7782/statm: 2287 266 226 213 0 72 0
[pid=7783] ppid=7782 vsize=7364 CPUtime=2.23 cores=1,3,5,7
/proc/7783/stat : 7783 (glucose) R 7782 7748 5140 0 -1 4202496 1869 0 0 0 223 0 0 0 20 0 1 0 272724371 7540736 1344 33554432000 4194304 5208918 140734371161760 140734371159704 4229493 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7783/statm: 1841 1344 102 248 0 1590 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 49176
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7790
/proc/meminfo: memFree=22862656/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=18.15 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6415 28137 0 0 18 2 1789 6 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7789] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7789/stat : 7789 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272725143 9367552 267 33554432000 4194304 5064252 140735782154688 140735782153600 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7789/statm: 2287 267 226 213 0 72 0
[pid=7790] ppid=7789 vsize=5720 CPUtime=0.91 cores=1,3,5,7
/proc/7790/stat : 7790 (glucose) R 7789 7748 5140 0 -1 4202496 1414 0 0 0 91 0 0 0 20 0 1 0 272725144 5857280 940 33554432000 4194304 5208918 140733757517792 140733757515944 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7790/statm: 1430 940 103 248 0 1179 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 47532
[startup+20.7003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7797
/proc/meminfo: memFree=22862152/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=19.32 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6492 32673 0 0 18 2 1904 8 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7796] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7796/stat : 7796 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272725260 9367552 267 33554432000 4194304 5064252 140733275789424 140733275788336 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7796/statm: 2287 267 226 213 0 72 0
[pid=7797] ppid=7796 vsize=7432 CPUtime=1.34 cores=1,3,5,7
/proc/7797/stat : 7797 (glucose) R 7796 7748 5140 0 -1 4202496 1555 0 0 0 134 0 0 0 20 0 1 0 272725260 7610368 1069 33554432000 4194304 5208918 140735809778912 140735809776856 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7797/statm: 1858 1069 102 248 0 1607 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 49244
[startup+21.5003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7797
/proc/meminfo: memFree=22860292/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=21.3 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6570 37363 0 0 18 3 2100 9 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
Current children cumulated CPU time (s) 21.3
Current children cumulated vsize (KiB) 32664
[startup+22.3003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7804
/proc/meminfo: memFree=22861904/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=21.3 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6570 37363 0 0 18 3 2100 9 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7803] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7803/stat : 7803 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272725458 9367552 267 33554432000 4194304 5064252 140737483809504 140737483808416 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7803/statm: 2287 267 226 213 0 72 0
[pid=7804] ppid=7803 vsize=5712 CPUtime=0.96 cores=1,3,5,7
/proc/7804/stat : 7804 (glucose) R 7803 7748 5140 0 -1 4202496 1457 0 0 0 96 0 0 0 20 0 1 0 272725458 5849088 965 33554432000 4194304 5208918 140736079555248 140736079553096 4205695 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7804/statm: 1428 965 102 248 0 1177 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 47524
[startup+22.7003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7804
/proc/meminfo: memFree=22861904/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=21.3 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6570 37363 0 0 18 3 2100 9 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7803] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7803/stat : 7803 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272725458 9367552 267 33554432000 4194304 5064252 140737483809504 140737483808416 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7803/statm: 2287 267 226 213 0 72 0
[pid=7804] ppid=7803 vsize=7360 CPUtime=1.36 cores=1,3,5,7
/proc/7804/stat : 7804 (glucose) R 7803 7748 5140 0 -1 4202496 1676 0 0 0 136 0 0 0 20 0 1 0 272725458 7536640 1166 33554432000 4194304 5208918 140736079555248 140736079553192 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7804/statm: 1840 1166 102 248 0 1589 0
Current children cumulated CPU time (s) 22.66
Current children cumulated vsize (KiB) 49172
[startup+22.8003 s]
/proc/loadavg: 1.98 1.98 2.08 3/181 7804
/proc/meminfo: memFree=22861904/32873844 swapFree=7364/7364
[pid=7748] ppid=7746 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (npSolver-pbo.sh) S 7746 7748 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272723325 9367552 275 33554432000 4194304 5064252 140737085790288 140737085789200 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7748/statm: 2287 275 233 213 0 72 0
[pid=7749] ppid=7748 vsize=23516 CPUtime=21.3 cores=1,3,5,7
/proc/7749/stat : 7749 (npSolver-pbo) S 7748 7748 5140 0 -1 4202496 6570 37363 0 0 18 3 2100 9 20 0 1 0 272723325 24080384 5513 33554432000 4194304 5992684 140737307751760 140737307744080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7749/statm: 5879 5513 183 440 0 5435 0
[pid=7803] ppid=7749 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7803/stat : 7803 (satsolver.sh) S 7749 7748 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272725458 9367552 267 33554432000 4194304 5064252 140737483809504 140737483808416 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7803/statm: 2287 267 226 213 0 72 0
[pid=7804] ppid=7803 vsize=7360 CPUtime=1.46 cores=1,3,5,7
/proc/7804/stat : 7804 (glucose) R 7803 7748 5140 0 -1 4202496 1682 0 0 0 146 0 0 0 20 0 1 0 272725458 7536640 1172 33554432000 4194304 5208918 140736079555248 140736079553192 4228965 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7804/statm: 1840 1172 102 248 0 1589 0
Current children cumulated CPU time (s) 22.76
Current children cumulated vsize (KiB) 49172
Child status: 0
Real time (s): 22.8164
CPU time (s): 22.8095
CPU user time (s): 22.6656
CPU system time (s): 0.143978
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 52660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6656
system time used= 0.143978
maximum resident set size= 22708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 118
runsolver used 0.040993 second user time and 0.135979 second system time
The end