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-3701239-1338061104/watcher-3701239-1338061104 -o /tmp/evaluation-result-3701239-1338061104/solver-3701239-1338061104 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701239-1338061104.opb 1565144181 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 11921
/proc/meminfo: memFree=28552152/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[startup+0.0721189 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11921
/proc/meminfo: memFree=28552152/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11921
/proc/meminfo: memFree=28552152/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11921
/proc/meminfo: memFree=28552152/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11921
/proc/meminfo: memFree=28552152/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 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.00 2.00 2.00 3/183 11949
/proc/meminfo: memFree=28543632/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=1.34 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 1714 20432 0 0 10 3 118 3 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 12608
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11956
/proc/meminfo: memFree=28542516/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=1.34 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 1714 20432 0 0 10 3 118 3 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11955] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11955/stat : 11955 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235025 9367552 267 33554432000 4194304 5064252 140735596225088 140735596224000 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11955/statm: 2287 267 226 213 0 72 0
[pid=11956] ppid=11955 vsize=13328 CPUtime=1.72 cores=0,2,4,6
/proc/11956/stat : 11956 (glucose) R 11955 11921 10843 0 -1 4202496 3935 0 0 0 172 0 0 0 20 0 1 0 272235025 13647872 2872 33554432000 4194304 5208918 140735602084624 140735602081000 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11956/statm: 3332 2872 105 248 0 3081 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35084
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11977
/proc/meminfo: memFree=28539800/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=5.15 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 2624 39045 0 0 15 3 489 8 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11976] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11976/stat : 11976 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 272235407 9367552 267 33554432000 4194304 5064252 140734886150896 140734886149808 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11976/statm: 2287 267 226 213 0 72 0
[pid=11977] ppid=11976 vsize=10652 CPUtime=1.11 cores=0,2,4,6
/proc/11977/stat : 11977 (glucose) R 11976 11921 10843 0 -1 4202496 2751 0 0 0 111 0 0 0 20 0 1 0 272235407 10907648 2101 33554432000 4194304 5208918 140733669632192 140733669630024 4212227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11977/statm: 2663 2101 105 248 0 2412 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32408
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28533968/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=12516 CPUtime=1.6 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 3390 0 0 0 160 0 0 0 20 0 1 0 272235997 12816384 2503 33554432000 4194304 5208918 140734472682224 140734472680376 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 3129 2503 105 248 0 2878 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34272
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28523324/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=15840 CPUtime=4.8 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4518 0 0 0 480 0 0 0 20 0 1 0 272235997 16220160 3519 33554432000 4194304 5208918 140734472682224 140734472680088 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 3960 3519 105 248 0 3709 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 37596
[startup+17.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28522348/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=16868 CPUtime=6.41 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4784 0 0 0 641 0 0 0 20 0 1 0 272235997 17272832 3776 33554432000 4194304 5208918 140734472682224 140734472680088 4229354 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 4217 3776 105 248 0 3966 0
Current children cumulated CPU time (s) 17.47
Current children cumulated vsize (KiB) 38624
[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28521976/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=16868 CPUtime=8 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4785 0 0 0 800 0 0 0 20 0 1 0 272235997 17272832 3777 33554432000 4194304 5208918 140734472682224 140734472678536 4229075 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 4217 3777 105 248 0 3966 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 38624
[startup+19.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28521976/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=21260 CPUtime=8.4 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4833 0 0 0 840 0 0 0 20 0 1 0 272235997 21770240 4336 33554432000 4194304 5208918 140734472682224 140734472678536 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 5315 4336 105 248 0 5064 0
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (KiB) 43016
[startup+19.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28517400/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=21260 CPUtime=8.8 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4833 0 0 0 880 0 0 0 20 0 1 0 272235997 21770240 4336 33554432000 4194304 5208918 140734472682224 140734472680168 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 5315 4336 105 248 0 5064 0
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (KiB) 43016
[startup+20.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11991
/proc/meminfo: memFree=28517400/32873648 swapFree=6596/6596
[pid=11921] ppid=11919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11921/stat : 11921 (npSolver-pbo.sh) S 11919 11921 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272234889 9367552 274 33554432000 4194304 5064252 140736041710096 140736041709008 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11921/statm: 2287 274 233 213 0 72 0
[pid=11922] ppid=11921 vsize=3460 CPUtime=11.06 cores=0,2,4,6
/proc/11922/stat : 11922 (npSolver-pbo) S 11921 11921 10843 0 -1 4202496 3238 52821 0 0 19 4 1071 12 20 0 1 0 272234889 3543040 508 33554432000 4194304 5992684 140735359331456 140735359323776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11922/statm: 865 508 177 440 0 421 0
[pid=11990] ppid=11922 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11990/stat : 11990 (satsolver.sh) S 11922 11921 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272235997 9367552 267 33554432000 4194304 5064252 140733391231504 140733391230416 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11990/statm: 2287 267 226 213 0 72 0
[pid=11991] ppid=11990 vsize=21260 CPUtime=8.9 cores=0,2,4,6
/proc/11991/stat : 11991 (glucose) R 11990 11921 10843 0 -1 4202496 4833 0 0 0 890 0 0 0 20 0 1 0 272235997 21770240 4336 33554432000 4194304 5208918 140734472682224 140734472680168 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11991/statm: 5315 4336 105 248 0 5064 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (KiB) 43016
Child status: 0
Real time (s): 20.0713
CPU time (s): 20.0629
CPU user time (s): 19.87
CPU system time (s): 0.19297
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 43016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.87
system time used= 0.19297
maximum resident set size= 17352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193
involuntary context switches= 132
runsolver used 0.032994 second user time and 0.123981 second system time
The end