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-3703423-1338077404/watcher-3703423-1338077404 -o /tmp/evaluation-result-3703423-1338077404/solver-3703423-1338077404 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703423-1338077404.opb 2076874215 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: 2.12 2.05 1.93 3/181 20897
/proc/meminfo: memFree=31132844/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[startup+0.086192 s]
/proc/loadavg: 2.12 2.05 1.93 3/181 20897
/proc/meminfo: memFree=31132844/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.12 2.05 1.93 3/181 20897
/proc/meminfo: memFree=31132844/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.12 2.05 1.93 3/181 20897
/proc/meminfo: memFree=31132844/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.12 2.05 1.93 3/181 20897
/proc/meminfo: memFree=31132844/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.12 2.05 1.93 3/183 20906
/proc/meminfo: memFree=31113624/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=34892 CPUtime=1.49 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 3099 0 0 0 148 1 0 0 20 0 1 0 273866006 35729408 7670 33554432000 4194304 5992684 140736554706784 140736554701912 4768469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 8723 7670 147 440 0 8279 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44040
[startup+3.10026 s]
/proc/loadavg: 2.12 2.05 1.93 3/183 20913
/proc/meminfo: memFree=31093504/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=67660 CPUtime=3.09 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 3641 0 0 0 307 2 0 0 20 0 1 0 273866006 69283840 15350 33554432000 4194304 5992684 140736554706784 140736554701912 4569828 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 16915 15350 147 440 0 16471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76808
[startup+6.30026 s]
/proc/loadavg: 2.11 2.05 1.93 3/183 20930
/proc/meminfo: memFree=31078436/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=133196 CPUtime=6.29 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 4213 0 0 0 625 4 0 0 20 0 1 0 273866006 136392704 30198 33554432000 4194304 5992684 140736554706784 140736554701912 4571337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 33299 30198 147 440 0 32855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142344
[startup+12.7003 s]
/proc/loadavg: 2.10 2.05 1.93 3/183 20962
/proc/meminfo: memFree=30906544/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=264268 CPUtime=12.69 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 4845 0 0 0 1260 9 0 0 20 0 1 0 273866006 270610432 59382 33554432000 4194304 5992684 140736554706784 140736554701912 4809389 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 66067 59382 147 440 0 65623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 273416
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 1.93 3/183 21032
/proc/meminfo: memFree=30667804/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=526412 CPUtime=25.49 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 5599 0 0 0 2530 19 0 0 20 0 1 0 273866006 539045888 118262 33554432000 4194304 5992684 140736554706784 140736554702264 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 131603 118262 147 440 0 131159 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 535560
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 1.93 3/183 21165
/proc/meminfo: memFree=30211812/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=1050700 CPUtime=51.08 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) R 20897 20897 10128 0 -1 4202496 6594 0 0 0 5072 36 0 0 20 0 1 0 273866006 1075916800 234998 33554432000 4194304 5992684 140736554706784 140736554701912 4374808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20898/statm: 262675 234998 147 440 0 262231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1059848
[startup+102.307 s]
/proc/loadavg: 2.37 2.12 1.96 3/184 21434
/proc/meminfo: memFree=26466524/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=80.81 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19472 0 0 0 7788 293 0 0 20 0 1 0 273866006 2192105472 363637 33554432000 4194304 5992684 140736554706784 140736554701232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363637 173 440 0 534738 0
[pid=21335] ppid=20898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21335/stat : 21335 (cp2_pre.sh) S 20898 20897 10128 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273874274 9367552 277 33554432000 4194304 5064252 140734149038480 140734149037184 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21335/statm: 2287 277 234 213 0 72 0
[pid=21336] ppid=21335 vsize=1731976 CPUtime=19.6 cores=1,3,5,7
/proc/21336/stat : 21336 (coprocessor) R 21335 20897 10128 0 -1 4202496 325749 0 0 0 1862 98 0 0 20 0 1 0 273874275 1773543424 429806 33554432000 4194304 6586260 140734889403200 140734889399960 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21336/statm: 432994 429806 137 584 0 432406 0
Current children cumulated CPU time (s) 100.41
Current children cumulated vsize (KiB) 3891000
[startup+162.3 s]
/proc/loadavg: 2.16 2.11 1.97 3/184 21742
/proc/meminfo: memFree=24294632/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=80.81 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19472 0 0 0 7788 293 0 0 20 0 1 0 273866006 2192105472 363637 33554432000 4194304 5992684 140736554706784 140736554701232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363637 173 440 0 534738 0
[pid=21335] ppid=20898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21335/stat : 21335 (cp2_pre.sh) S 20898 20897 10128 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273874274 9367552 277 33554432000 4194304 5064252 140734149038480 140734149037184 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21335/statm: 2287 277 234 213 0 72 0
[pid=21336] ppid=21335 vsize=4073008 CPUtime=79.59 cores=1,3,5,7
/proc/21336/stat : 21336 (coprocessor) R 21335 20897 10128 0 -1 4202496 489179 0 0 0 7800 159 0 0 20 0 1 0 273874275 4170760192 986512 33554432000 4194304 6586260 140734889403200 140734889399224 4753847 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21336/statm: 1018252 986512 180 584 0 1017664 0
Current children cumulated CPU time (s) 160.4
Current children cumulated vsize (KiB) 6232032
[startup+222.3 s]
/proc/loadavg: 2.10 2.10 1.97 3/184 22022
/proc/meminfo: memFree=22838060/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=80.81 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19472 0 0 0 7788 293 0 0 20 0 1 0 273866006 2192105472 363637 33554432000 4194304 5992684 140736554706784 140736554701232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363637 173 440 0 534738 0
[pid=21335] ppid=20898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21335/stat : 21335 (cp2_pre.sh) S 20898 20897 10128 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273874274 9367552 277 33554432000 4194304 5064252 140734149038480 140734149037184 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21335/statm: 2287 277 234 213 0 72 0
[pid=21336] ppid=21335 vsize=4204100 CPUtime=138.94 cores=1,3,5,7
/proc/21336/stat : 21336 (coprocessor) R 21335 20897 10128 0 -1 4202496 491323 0 0 0 13464 430 0 0 20 0 1 0 273874275 4304998400 1019316 33554432000 4194304 6586260 140734889403200 140734889398952 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 64 0 0
/proc/21336/statm: 1051025 1019316 199 584 0 1050437 0
Current children cumulated CPU time (s) 219.75
Current children cumulated vsize (KiB) 6363124
[startup+282.3 s]
/proc/loadavg: 2.10 2.11 1.98 3/183 22318
/proc/meminfo: memFree=26153176/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2833748 CPUtime=54.94 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33429 0 0 0 5414 80 0 0 20 0 1 0 273888739 2901757952 518639 33554432000 4194304 5654031 140737440183152 140737440170968 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708437 518639 138 357 0 708077 0
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (KiB) 4983624
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.06 2.10 1.98 3/183 22444
/proc/meminfo: memFree=26129940/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835432 CPUtime=79.74 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33839 0 0 0 7894 80 0 0 20 0 1 0 273888739 2903482368 522626 33554432000 4194304 5654031 140737440183152 140737440180984 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708858 522626 138 357 0 708498 0
Current children cumulated CPU time (s) 304.33
Current children cumulated vsize (KiB) 4985308
[startup+313.507 s]
/proc/loadavg: 2.05 2.09 1.98 3/183 22479
/proc/meminfo: memFree=26125756/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835680 CPUtime=86.15 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33898 0 0 0 8535 80 0 0 20 0 1 0 273888739 2903736320 523707 33554432000 4194304 5654031 140737440183152 140737440180936 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708920 523707 138 357 0 708560 0
Current children cumulated CPU time (s) 310.74
Current children cumulated vsize (KiB) 4985556
[startup+319.9 s]
/proc/loadavg: 2.05 2.09 1.98 3/183 22507
/proc/meminfo: memFree=26124252/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835864 CPUtime=92.54 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33921 0 0 0 9174 80 0 0 20 0 1 0 273888739 2903924736 524241 33554432000 4194304 5654031 140737440183152 140737440180936 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708966 524241 138 357 0 708606 0
Current children cumulated CPU time (s) 317.13
Current children cumulated vsize (KiB) 4985740
[startup+321.5 s]
/proc/loadavg: 2.05 2.09 1.98 3/183 22521
/proc/meminfo: memFree=26151896/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835864 CPUtime=94.14 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33939 0 0 0 9334 80 0 0 20 0 1 0 273888739 2903924736 524770 33554432000 4194304 5654031 140737440183152 140737440180936 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708966 524770 138 357 0 708606 0
Current children cumulated CPU time (s) 318.73
Current children cumulated vsize (KiB) 4985740
[startup+322.307 s]
/proc/loadavg: 2.05 2.09 1.98 3/184 22524
/proc/meminfo: memFree=26168984/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835864 CPUtime=94.94 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33940 0 0 0 9414 80 0 0 20 0 1 0 273888739 2903924736 524771 33554432000 4194304 5654031 140737440183152 140737440180936 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708966 524771 138 357 0 708606 0
Current children cumulated CPU time (s) 319.53
Current children cumulated vsize (KiB) 4985740
[startup+322.7 s]
/proc/loadavg: 2.05 2.09 1.98 3/184 22524
/proc/meminfo: memFree=26168984/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.59 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19488 492227 0 0 7788 293 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554693048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=2835864 CPUtime=95.34 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) R 20898 20897 10128 0 -1 4202496 33940 0 0 0 9454 80 0 0 20 0 1 0 273888739 2903924736 524771 33554432000 4194304 5654031 140737440183152 140737440180936 4233144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 708966 524771 138 357 0 708606 0
Current children cumulated CPU time (s) 319.93
Current children cumulated vsize (KiB) 4985740
[startup+322.9 s]
/proc/loadavg: 2.05 2.09 1.98 3/184 22524
/proc/meminfo: memFree=26168984/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.6 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19500 492227 0 0 7788 294 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554703120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=0 CPUtime=95.49 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) Z 20898 20897 10128 0 -1 4202508 33945 0 0 0 9466 83 0 0 20 0 1 0 273888739 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 320.09
Current children cumulated vsize (KiB) 2149876
[startup+323 s]
/proc/loadavg: 2.05 2.09 1.98 3/184 22524
/proc/meminfo: memFree=26168984/32873844 swapFree=7624/7624
[pid=20897] ppid=20895 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20897/stat : 20897 (npSolver-pbo-It) S 20895 20897 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273866006 9367552 274 33554432000 4194304 5064252 140734165090672 140734165089584 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20897/statm: 2287 274 233 213 0 72 0
[pid=20898] ppid=20897 vsize=2140728 CPUtime=224.6 cores=1,3,5,7
/proc/20898/stat : 20898 (npSolver-pbo) S 20897 20897 10128 0 -1 4202496 19500 492227 0 0 7788 294 13887 491 20 0 1 0 273866006 2192105472 363639 33554432000 4194304 5992684 140736554706784 140736554703120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 185 0 0
/proc/20898/statm: 535182 363639 175 440 0 534738 0
[pid=22045] ppid=20898 vsize=0 CPUtime=95.49 cores=1,3,5,7
/proc/22045/stat : 22045 (glucosInc) Z 20898 20897 10128 0 -1 4202508 33945 0 0 0 9466 83 0 0 20 0 1 0 273888739 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22045/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 320.09
Current children cumulated vsize (KiB) 2149876
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20897 and gives
# childrusage.ru_utime.tv_sec=216
# childrusage.ru_utime.tv_usec=763047
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=108767
# CPU time returned by wait4() is 224.872
# while last known CPU time is 320.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 323.074
CPU time (s): 320.09
CPU user time (s): 311.41
CPU system time (s): 8.68
CPU usage (%): 99.0765
Max. virtual memory (cumulated for all children) (KiB): 6363124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.763
system time used= 8.10877
maximum resident set size= 4077272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512558
page faults= 0
swaps= 0
block input operations= 64
block output operations= 5641584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 287
runsolver used 0.731888 second user time and 1.9367 second system time
The end