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-3703244-1338105740/watcher-3703244-1338105740 -o /tmp/evaluation-result-3703244-1338105740/solver-3703244-1338105740 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703244-1338105740.opb 871647329 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: 3.13 2.98 2.53 3/180 1824
/proc/meminfo: memFree=26863224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[startup+0.034087 s]
/proc/loadavg: 3.13 2.98 2.53 3/180 1824
/proc/meminfo: memFree=26863224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100228 s]
/proc/loadavg: 3.13 2.98 2.53 3/180 1824
/proc/meminfo: memFree=26863224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300201 s]
/proc/loadavg: 3.13 2.98 2.53 3/180 1824
/proc/meminfo: memFree=26863224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/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: 3.13 2.98 2.53 3/180 1824
/proc/meminfo: memFree=26863224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 3.13 2.98 2.53 3/182 1826
/proc/meminfo: memFree=26837184/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=45464 CPUtime=1.49 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) R 1824 1824 23606 0 -1 4202496 11138 0 0 0 147 2 0 0 20 0 1 0 276699488 46555136 10744 33554432000 4194304 5992684 140734521101536 140734521097656 5179600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 11366 10744 140 440 0 10922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54612
[startup+3.10032 s]
/proc/loadavg: 3.13 2.98 2.53 3/182 1826
/proc/meminfo: memFree=26806652/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=168760 CPUtime=3.08 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) R 1824 1824 23606 0 -1 4202496 35464 0 0 0 302 6 0 0 20 0 1 0 276699488 172810240 40821 33554432000 4194304 5992684 140734521101536 140734521098328 4523464 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 42190 40821 157 440 0 41746 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 177908
[startup+6.30032 s]
/proc/loadavg: 3.04 2.97 2.52 3/182 1826
/proc/meminfo: memFree=26415224/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=632560 CPUtime=6.28 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) R 1824 1824 23606 0 -1 4202496 95814 0 0 0 607 21 0 0 20 0 1 0 276699488 647741440 143983 33554432000 4194304 5992684 140734521101536 140734521096616 5044667 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 158140 143983 157 440 0 157696 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 641708
[startup+12.7004 s]
/proc/loadavg: 2.96 2.95 2.52 3/184 1828
/proc/meminfo: memFree=25192564/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1152488 CPUtime=10.2 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4202496 161576 0 0 0 925 95 0 0 20 0 1 0 276699488 1180147712 253987 33554432000 4194304 5992684 140734521101536 140734521095984 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 288122 253987 164 440 0 287678 0
[pid=1827] ppid=1825 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/1827/stat : 1827 (cp2_pre.sh) S 1825 1824 23606 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 276700509 9367552 277 33554432000 4194304 5064252 140733613037760 140733613036464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1827/statm: 2287 277 234 213 0 72 0
[pid=1828] ppid=1827 vsize=354440 CPUtime=2.46 cores=0,2,4,6
/proc/1828/stat : 1828 (coprocessor) R 1827 1824 23606 0 -1 4202496 16135 0 0 0 234 12 0 0 20 0 1 0 276700511 362946560 79329 33554432000 4194304 6586260 140735299102320 140735299099080 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/1828/statm: 88610 79329 137 584 0 88022 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1525224
[startup+25.5003 s]
/proc/loadavg: 2.95 2.95 2.53 4/184 1828
/proc/meminfo: memFree=24247272/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1152488 CPUtime=10.2 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4202496 161576 0 0 0 925 95 0 0 20 0 1 0 276699488 1180147712 253987 33554432000 4194304 5992684 140734521101536 140734521095984 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 288122 253987 164 440 0 287678 0
[pid=1827] ppid=1825 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/1827/stat : 1827 (cp2_pre.sh) S 1825 1824 23606 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 276700509 9367552 277 33554432000 4194304 5064252 140733613037760 140733613036464 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1827/statm: 2287 277 234 213 0 72 0
[pid=1828] ppid=1827 vsize=1252952 CPUtime=15.09 cores=0,2,4,6
/proc/1828/stat : 1828 (coprocessor) R 1827 1824 23606 0 -1 4202496 22053 0 0 0 1439 70 0 0 20 0 1 0 276700511 1283022848 247736 33554432000 4194304 6586260 140735299102320 140735299098072 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 16 0 0
/proc/1828/statm: 313238 247736 158 584 0 312650 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 2423736
[startup+51.1003 s]
/proc/loadavg: 3.11 2.99 2.55 3/184 1831
/proc/meminfo: memFree=21565856/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
Solver just ended. Dumping a history of the last processes samples
[startup+51.7003 s]
/proc/loadavg: 3.11 2.99 2.55 3/184 1831
/proc/meminfo: memFree=21565856/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+77.3003 s]
/proc/loadavg: 3.53 3.10 2.60 3/184 1831
/proc/meminfo: memFree=21561760/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+90.1003 s]
/proc/loadavg: 3.85 3.19 2.64 3/184 1831
/proc/meminfo: memFree=21603052/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+96.5003 s]
/proc/loadavg: 3.95 3.22 2.65 3/184 1831
/proc/meminfo: memFree=21602680/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+98.1003 s]
/proc/loadavg: 3.95 3.22 2.65 3/184 1831
/proc/meminfo: memFree=21600508/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+99.7003 s]
/proc/loadavg: 4.03 3.25 2.66 3/184 1831
/proc/meminfo: memFree=21606708/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+100.1 s]
/proc/loadavg: 4.03 3.25 2.66 3/184 1831
/proc/meminfo: memFree=21606708/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+100.3 s]
/proc/loadavg: 4.03 3.25 2.66 3/184 1831
/proc/meminfo: memFree=21606708/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
[startup+100.4 s]
/proc/loadavg: 4.03 3.25 2.66 3/184 1831
/proc/meminfo: memFree=21606708/32873844 swapFree=7112/7112
[pid=1824] ppid=1822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1824/stat : 1824 (npSolver-pbo-It) S 1822 1824 23606 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276699488 9367552 275 33554432000 4194304 5064252 140734960002720 140734960001632 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1824/statm: 2287 275 233 213 0 72 0
[pid=1825] ppid=1824 vsize=1298192 CPUtime=35.13 cores=0,2,4,6
/proc/1825/stat : 1825 (npSolver-pbo) S 1824 1824 23606 0 -1 4204032 169101 22955 0 0 1151 185 2069 108 20 0 1 0 276699488 1329348608 290418 33554432000 4194304 5992684 140734521101536 140734521096072 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1825/statm: 324548 290418 184 440 0 324104 0
[pid=1830] ppid=1825 vsize=1703748 CPUtime=7.86 cores=0,2,4,6
/proc/1830/stat : 1830 (glucosInc) S 1825 1824 23606 0 -1 4202496 170240 0 0 0 734 52 0 0 20 0 1 0 276702707 1744637952 358183 33554432000 4194304 5654031 140735089668528 140735089666840 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1830/statm: 425937 358183 146 357 0 425577 0
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (KiB) 3011088
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1824 and gives
# childrusage.ru_utime.tv_sec=32
# childrusage.ru_utime.tv_usec=211103
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=998544
# CPU time returned by wait4() is 35.2096
# while last known CPU time is 42.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 100.455
CPU time (s): 42.99
CPU user time (s): 39.54
CPU system time (s): 3.45
CPU usage (%): 42.7952
Max. virtual memory (cumulated for all children) (KiB): 3011088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.2111
system time used= 2.99854
maximum resident set size= 1404628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1545800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306544
involuntary context switches= 54
runsolver used 0.173973 second user time and 0.473927 second system time
The end