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-3750403-1339120393/watcher-3750403-1339120393 -o /tmp/evaluation-result-3750403-1339120393/solver-3750403-1339120393 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750403-1339120393.opb 257243880 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.93 1.98 1.99 3/179 12366
/proc/meminfo: memFree=29960528/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[startup+0.0104411 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12366
/proc/meminfo: memFree=29960528/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12366
/proc/meminfo: memFree=29960528/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12366
/proc/meminfo: memFree=29960528/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700321 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 12366
/proc/meminfo: memFree=29960528/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12380
/proc/meminfo: memFree=29927296/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=1.06 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 7531 13016 0 0 19 7 77 3 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 27560
[startup+3.10036 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 12387
/proc/meminfo: memFree=29925320/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=2.44 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 8454 19939 0 0 21 7 211 5 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 27560
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 12401
/proc/meminfo: memFree=29926064/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=4.58 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 9377 26460 0 0 24 7 421 6 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12400] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12400/stat : 12400 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378168357 9367552 267 33554432000 4194304 5064252 140734596139248 140734596138160 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12400/statm: 2287 267 226 213 0 72 0
[pid=12401] ppid=12400 vsize=18972 CPUtime=1.55 cores=1,3,5,7
/proc/12401/stat : 12401 (glucose) R 12400 12366 9764 0 -1 4202496 3981 0 0 0 155 0 0 0 20 0 1 0 378168358 19427328 4117 33554432000 4194304 5208918 140736793514160 140736793511992 4229888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12401/statm: 4743 4117 103 248 0 4492 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 55680
[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 12415
/proc/meminfo: memFree=29924140/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=9.09 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 11247 42203 0 0 32 8 855 14 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12414] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12414/stat : 12414 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378168809 9367552 267 33554432000 4194304 5064252 140734951983312 140734951982224 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12414/statm: 2287 267 226 213 0 72 0
[pid=12415] ppid=12414 vsize=19424 CPUtime=3.43 cores=1,3,5,7
/proc/12415/stat : 12415 (glucose) R 12414 12366 9764 0 -1 4202496 4740 0 0 0 343 0 0 0 20 0 1 0 378168809 19890176 4034 33554432000 4194304 5208918 140735572104576 140735572102408 4229026 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 4856 4034 105 248 0 4605 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 56132
[startup+25.5004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 12429
/proc/meminfo: memFree=29915772/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=19.63 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 13117 61531 0 0 41 9 1890 23 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12428] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12428/stat : 12428 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378169862 9367552 266 33554432000 4194304 5064252 140735533006928 140735533005840 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12428/statm: 2287 266 226 213 0 72 0
[pid=12429] ppid=12428 vsize=22328 CPUtime=5.71 cores=1,3,5,7
/proc/12429/stat : 12429 (glucose) R 12428 12366 9764 0 -1 4202496 6575 0 0 0 570 1 0 0 20 0 1 0 378169862 22863872 5128 33554432000 4194304 5208918 140734668922624 140734668918936 4229296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12429/statm: 5582 5128 105 248 0 5331 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 59036
[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 12436
/proc/meminfo: memFree=29908388/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=44.03 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 14064 72352 0 0 47 9 4318 29 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12435] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12435/stat : 12435 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378172304 9367552 267 33554432000 4194304 5064252 140736391018352 140736391017264 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12435/statm: 2287 267 226 213 0 72 0
[pid=12436] ppid=12435 vsize=31560 CPUtime=6.88 cores=1,3,5,7
/proc/12436/stat : 12436 (glucose) R 12435 12366 9764 0 -1 4202496 7526 0 0 0 687 1 0 0 20 0 1 0 378172305 32317440 6267 33554432000 4194304 5208918 140737473416464 140737473414408 4229757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12436/statm: 7890 6267 105 248 0 7639 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 68268
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 12436
/proc/meminfo: memFree=29898524/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
Current children cumulated CPU time (s) 57.2
Current children cumulated vsize (KiB) 27560
[startup+60.7004 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29910496/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=17756 CPUtime=3.32 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 4773 0 0 0 331 1 0 0 20 0 1 0 378173620 18182144 3902 33554432000 4194304 5208918 140735616992688 140735616990776 4205165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 4439 3902 105 248 0 4188 0
Current children cumulated CPU time (s) 60.52
Current children cumulated vsize (KiB) 54464
[startup+62.3004 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29909008/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=22324 CPUtime=4.92 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 5955 0 0 0 491 1 0 0 20 0 1 0 378173620 22859776 5104 33554432000 4194304 5208918 140735616992688 140735616990776 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 5581 5104 105 248 0 5330 0
Current children cumulated CPU time (s) 62.12
Current children cumulated vsize (KiB) 59032
[startup+63.1004 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29905032/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=25000 CPUtime=5.72 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 6652 0 0 0 571 1 0 0 20 0 1 0 378173620 25600000 5694 33554432000 4194304 5208918 140735616992688 140735616990632 4213264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 6250 5694 105 248 0 5999 0
Current children cumulated CPU time (s) 62.92
Current children cumulated vsize (KiB) 61708
[startup+63.9004 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29902552/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=25000 CPUtime=6.52 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 6732 0 0 0 651 1 0 0 20 0 1 0 378173620 25600000 5773 33554432000 4194304 5208918 140735616992688 140735616990552 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 6250 5773 105 248 0 5999 0
Current children cumulated CPU time (s) 63.72
Current children cumulated vsize (KiB) 61708
[startup+64.3004 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29902552/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=25000 CPUtime=6.92 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 6744 0 0 0 691 1 0 0 20 0 1 0 378173620 25600000 5785 33554432000 4194304 5208918 140735616992688 140735616990552 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 6250 5785 105 248 0 5999 0
Current children cumulated CPU time (s) 64.12
Current children cumulated vsize (KiB) 61708
[startup+64.4004 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 12443
/proc/meminfo: memFree=29902552/32873844 swapFree=7636/7636
[pid=12366] ppid=12364 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12366/stat : 12366 (npSolver-pbo.sh) S 12364 12366 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378167884 9367552 275 33554432000 4194304 5064252 140734467105440 140734467104352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12366/statm: 2287 275 233 213 0 72 0
[pid=12367] ppid=12366 vsize=18412 CPUtime=57.2 cores=1,3,5,7
/proc/12367/stat : 12367 (npSolver-pbo) S 12366 12366 9764 0 -1 4202496 15011 83285 0 0 54 10 5621 35 20 0 1 0 378167884 18853888 4052 33554432000 4194304 6004724 140735226199728 140735226192080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 12 0 0
/proc/12367/statm: 4603 4052 172 442 0 4157 0
[pid=12442] ppid=12367 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12442/stat : 12442 (satsolver.sh) S 12367 12366 9764 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378173620 9367552 267 33554432000 4194304 5064252 140734094791264 140734094790176 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12442/statm: 2287 267 226 213 0 72 0
[pid=12443] ppid=12442 vsize=25000 CPUtime=7.02 cores=1,3,5,7
/proc/12443/stat : 12443 (glucose) R 12442 12366 9764 0 -1 4202496 6755 0 0 0 701 1 0 0 20 0 1 0 378173620 25600000 5795 33554432000 4194304 5208918 140735616992688 140735616990552 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12443/statm: 6250 5795 105 248 0 5999 0
Current children cumulated CPU time (s) 64.22
Current children cumulated vsize (KiB) 61708
Child status: 0
Real time (s): 64.4476
CPU time (s): 64.2892
CPU user time (s): 63.8033
CPU system time (s): 0.485926
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 82028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.8033
system time used= 0.485926
maximum resident set size= 42736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 424
involuntary context switches= 286
runsolver used 0.141978 second user time and 0.435933 second system time
The end