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-3701243-1338063288/watcher-3701243-1338063288 -o /tmp/evaluation-result-3701243-1338063288/solver-3701243-1338063288 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701243-1338063288.opb 379829218 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 12646
/proc/meminfo: memFree=28432348/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[startup+0.036173 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12646
/proc/meminfo: memFree=28432348/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100156 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12646
/proc/meminfo: memFree=28432348/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/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 12646
/proc/meminfo: memFree=28432348/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12646
/proc/meminfo: memFree=28432348/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/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.00 2.00 2.00 3/183 12667
/proc/meminfo: memFree=28410860/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=0.75 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 2540 13302 0 0 13 5 54 3 20 0 1 0 272453395 6983680 1090 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12647/statm: 1705 1090 177 440 0 1261 0
[pid=12666] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12666/stat : 12666 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272453472 9367552 267 33554432000 4194304 5064252 140736399446704 140736399445616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12666/statm: 2287 267 226 213 0 72 0
[pid=12667] ppid=12666 vsize=18172 CPUtime=0.71 cores=0,2,4,6
/proc/12667/stat : 12667 (glucose) R 12666 12646 11113 0 -1 4202496 3107 0 0 0 71 0 0 0 20 0 1 0 272453473 18608128 3442 33554432000 4194304 5208918 140736486421360 140736399445640 4211066 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12667/statm: 4543 3442 100 248 0 4292 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43288
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12674
/proc/meminfo: memFree=28408488/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=1.62 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 3413 19248 0 0 15 5 137 5 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12673] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12673/stat : 12673 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272453560 9367552 267 33554432000 4194304 5064252 140735086137312 140735086136224 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12673/statm: 2287 267 226 213 0 72 0
[pid=12674] ppid=12673 vsize=16988 CPUtime=1.44 cores=0,2,4,6
/proc/12674/stat : 12674 (glucose) R 12673 12646 11113 0 -1 4202496 4293 0 0 0 144 0 0 0 20 0 1 0 272453560 17395712 3544 33554432000 4194304 5208918 140734789177856 140734789175688 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12674/statm: 4247 3544 96 248 0 3996 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42104
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12681
/proc/meminfo: memFree=28404456/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=6.21 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 5159 34586 0 0 20 6 587 8 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 15968
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12702
/proc/meminfo: memFree=28461144/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=9.85 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 6953 49861 0 0 30 6 930 19 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12701] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12701/stat : 12701 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272454383 9367552 267 33554432000 4194304 5064252 140734291046448 140734291045360 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12701/statm: 2287 267 226 213 0 72 0
[pid=12702] ppid=12701 vsize=19328 CPUtime=2.8 cores=0,2,4,6
/proc/12702/stat : 12702 (glucose) R 12701 12646 11113 0 -1 4202496 4855 0 0 0 280 0 0 0 20 0 1 0 272454383 19791872 4022 33554432000 4194304 5208918 140734332744640 140734332742792 4213756 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12702/statm: 4832 4022 105 248 0 4581 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44444
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12709
/proc/meminfo: memFree=28417096/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=18.43 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 7850 60064 0 0 35 7 1777 24 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12708] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12708/stat : 12708 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455241 9367552 267 33554432000 4194304 5064252 140733671601792 140733671600704 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12708/statm: 2287 267 226 213 0 72 0
[pid=12709] ppid=12708 vsize=27400 CPUtime=7.03 cores=0,2,4,6
/proc/12709/stat : 12709 (glucose) R 12708 12646 11113 0 -1 4202496 7137 0 0 0 702 1 0 0 20 0 1 0 272455241 28057600 6371 33554432000 4194304 5208918 140736808119200 140736808115576 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12709/statm: 6850 6371 105 248 0 6599 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52516
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12709
/proc/meminfo: memFree=28404680/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=18.43 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 7850 60064 0 0 35 7 1777 24 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12708] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12708/stat : 12708 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455241 9367552 267 33554432000 4194304 5064252 140733671601792 140733671600704 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12708/statm: 2287 267 226 213 0 72 0
[pid=12709] ppid=12708 vsize=29132 CPUtime=19.82 cores=0,2,4,6
/proc/12709/stat : 12709 (glucose) R 12708 12646 11113 0 -1 4202496 9725 0 0 0 1981 1 0 0 20 0 1 0 272455241 29831168 5919 33554432000 4194304 5208918 140736808119200 140736808117192 4229720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12709/statm: 7283 5919 105 248 0 7032 0
Current children cumulated CPU time (s) 38.25
Current children cumulated vsize (KiB) 54248
[startup+41.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12709
/proc/meminfo: memFree=28391280/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=18.43 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 7850 60064 0 0 35 7 1777 24 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12708] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12708/stat : 12708 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455241 9367552 267 33554432000 4194304 5064252 140733671601792 140733671600704 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12708/statm: 2287 267 226 213 0 72 0
[pid=12709] ppid=12708 vsize=43664 CPUtime=23.03 cores=0,2,4,6
/proc/12709/stat : 12709 (glucose) R 12708 12646 11113 0 -1 4202496 10618 0 0 0 2301 2 0 0 20 0 1 0 272455241 44711936 8339 33554432000 4194304 5208918 140736808119200 140736808117144 4229580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12709/statm: 10916 8339 105 248 0 10665 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 68780
[startup+44.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12716
/proc/meminfo: memFree=28406168/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=42.73 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 8747 73938 0 0 41 7 4194 31 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12715] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12715/stat : 12715 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272457671 9367552 267 33554432000 4194304 5064252 140737462186160 140737462185072 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12715/statm: 2287 267 226 213 0 72 0
[pid=12716] ppid=12715 vsize=18912 CPUtime=1.93 cores=0,2,4,6
/proc/12716/stat : 12716 (glucose) R 12715 12646 11113 0 -1 4202496 3564 0 0 0 193 0 0 0 20 0 1 0 272457671 19365888 3809 33554432000 4194304 5208918 140734516880544 140734516878376 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12716/statm: 4728 3809 103 248 0 4477 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 44028
[startup+46.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12716
/proc/meminfo: memFree=28403440/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=42.73 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 8747 73938 0 0 41 7 4194 31 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12715] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12715/stat : 12715 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272457671 9367552 267 33554432000 4194304 5064252 140737462186160 140737462185072 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12715/statm: 2287 267 226 213 0 72 0
[pid=12716] ppid=12715 vsize=19140 CPUtime=3.52 cores=0,2,4,6
/proc/12716/stat : 12716 (glucose) R 12715 12646 11113 0 -1 4202496 4573 0 0 0 352 0 0 0 20 0 1 0 272457671 19599360 3952 33554432000 4194304 5208918 140734516880544 140734516878632 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12716/statm: 4785 3952 105 248 0 4534 0
Current children cumulated CPU time (s) 46.25
Current children cumulated vsize (KiB) 44256
[startup+46.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12716
/proc/meminfo: memFree=28403440/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=42.73 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 8747 73938 0 0 41 7 4194 31 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12715] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12715/stat : 12715 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272457671 9367552 267 33554432000 4194304 5064252 140737462186160 140737462185072 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12715/statm: 2287 267 226 213 0 72 0
[pid=12716] ppid=12715 vsize=19320 CPUtime=3.92 cores=0,2,4,6
/proc/12716/stat : 12716 (glucose) R 12715 12646 11113 0 -1 4202496 4728 0 0 0 392 0 0 0 20 0 1 0 272457671 19783680 4103 33554432000 4194304 5208918 140734516880544 140734516878632 4229010 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12716/statm: 4830 4103 105 248 0 4579 0
Current children cumulated CPU time (s) 46.65
Current children cumulated vsize (KiB) 44436
[startup+46.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12716
/proc/meminfo: memFree=28403440/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=42.73 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 8747 73938 0 0 41 7 4194 31 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12715] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12715/stat : 12715 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272457671 9367552 267 33554432000 4194304 5064252 140737462186160 140737462185072 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12715/statm: 2287 267 226 213 0 72 0
[pid=12716] ppid=12715 vsize=17860 CPUtime=4.13 cores=0,2,4,6
/proc/12716/stat : 12716 (glucose) R 12715 12646 11113 0 -1 4202496 5339 0 0 0 412 1 0 0 20 0 1 0 272457671 18288640 3810 33554432000 4194304 5208918 140734516880544 140734516878376 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12716/statm: 4465 3810 105 248 0 4214 0
Current children cumulated CPU time (s) 46.86
Current children cumulated vsize (KiB) 42976
[startup+47.0004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12716
/proc/meminfo: memFree=28403440/32873844 swapFree=6080/6080
[pid=12646] ppid=12644 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12646/stat : 12646 (npSolver-pbo.sh) S 12644 12646 11113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272453395 9367552 275 33554432000 4194304 5064252 140734908766272 140734908765184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12646/statm: 2287 275 233 213 0 72 0
[pid=12647] ppid=12646 vsize=6820 CPUtime=42.73 cores=0,2,4,6
/proc/12647/stat : 12647 (npSolver-pbo) S 12646 12646 11113 0 -1 4202496 8747 73938 0 0 41 7 4194 31 20 0 1 0 272453395 6983680 1113 33554432000 4194304 5992684 140735756273520 140735756265840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12647/statm: 1705 1113 177 440 0 1261 0
[pid=12715] ppid=12647 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12715/stat : 12715 (satsolver.sh) S 12647 12646 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272457671 9367552 267 33554432000 4194304 5064252 140737462186160 140737462185072 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12715/statm: 2287 267 226 213 0 72 0
[pid=12716] ppid=12715 vsize=17860 CPUtime=4.23 cores=0,2,4,6
/proc/12716/stat : 12716 (glucose) R 12715 12646 11113 0 -1 4202496 5358 0 0 0 422 1 0 0 20 0 1 0 272457671 18288640 3828 33554432000 4194304 5208918 140734516880544 140734516878376 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12716/statm: 4465 3828 105 248 0 4214 0
Current children cumulated CPU time (s) 46.96
Current children cumulated vsize (KiB) 42976
Child status: 0
Real time (s): 47.0881
CPU time (s): 47.0768
CPU user time (s): 46.6549
CPU system time (s): 0.421935
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 68780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.6549
system time used= 0.421935
maximum resident set size= 33376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 204
runsolver used 0.086986 second user time and 0.248962 second system time
The end