0.00/0.44 c old isEQ: 11, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.44 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.45 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
0.00/0.46 c old isEQ: 1, new EQ is 1
23.49/23.55 c run inc solver
23.49/23.55 c [INC SYSTEM] run initial solver
23.49/23.55 c [INC SYSTEM] preprocess with white file
99.37/101.25 c [INC SYSTEM] finished preprocessing in 77 s
99.37/101.25 c [INC SYSTEM] execute solver
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-3748657-1339114439/watcher-3748657-1339114439 -o /tmp/evaluation-result-3748657-1339114439/solver-3748657-1339114439 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748657-1339114439.opb 191516834 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.03 2.01 1.91 4/179 30733
/proc/meminfo: memFree=30575936/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[startup+0.0690969 s]
/proc/loadavg: 2.03 2.01 1.91 4/179 30733
/proc/meminfo: memFree=30575936/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100298 s]
/proc/loadavg: 2.03 2.01 1.91 4/179 30733
/proc/meminfo: memFree=30575936/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300277 s]
/proc/loadavg: 2.03 2.01 1.91 4/179 30733
/proc/meminfo: memFree=30575936/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 2.03 2.01 1.91 4/179 30733
/proc/meminfo: memFree=30575936/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.03 2.01 1.91 3/181 30735
/proc/meminfo: memFree=30472276/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=195404 CPUtime=1.48 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) R 30733 30733 28222 0 -1 4202496 13429 0 0 0 143 5 0 0 20 0 1 0 377571157 200093696 33978 33554432000 4194304 6004724 140735125338800 140735125333400 4536845 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 48851 33978 162 442 0 48405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204552
[startup+3.10033 s]
/proc/loadavg: 2.03 2.01 1.91 3/181 30735
/proc/meminfo: memFree=30389744/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=326476 CPUtime=3.09 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) R 30733 30733 28222 0 -1 4202496 14063 0 0 0 300 9 0 0 20 0 1 0 377571157 334311424 64186 33554432000 4194304 6004724 140735125338800 140735125333400 4582601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 81619 64186 162 442 0 81173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 335624
[startup+6.30031 s]
/proc/loadavg: 2.03 2.01 1.91 3/181 30735
/proc/meminfo: memFree=30133732/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=588620 CPUtime=6.29 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) R 30733 30733 28222 0 -1 4202496 14824 0 0 0 613 16 0 0 20 0 1 0 377571157 602746880 126650 33554432000 4194304 6004724 140735125338800 140735125333400 4536089 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 147155 126650 162 442 0 146709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 597768
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.91 3/181 30735
/proc/meminfo: memFree=29611180/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=1112908 CPUtime=12.68 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) R 30733 30733 28222 0 -1 4202496 15836 0 0 0 1237 31 0 0 20 0 1 0 377571157 1139617792 251579 33554432000 4194304 6004724 140735125338800 140735125333400 4534738 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 278227 251579 163 442 0 277781 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1122056
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 30738
/proc/meminfo: memFree=27063544/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=23.54 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18413 0 0 0 2076 278 0 0 20 0 1 0 377571157 2185355264 403982 33554432000 4194304 6004724 140735125338800 140735125333264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403982 171 442 0 533088 0
[pid=30736] ppid=30734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30736/stat : 30736 (cp2_pre.sh) S 30734 30733 28222 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377573512 9367552 277 33554432000 4194304 5064252 140737027432224 140737027430928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30736/statm: 2287 277 234 213 0 72 0
[pid=30737] ppid=30736 vsize=260040 CPUtime=1.93 cores=1,3,5,7
/proc/30737/stat : 30737 (coprocessor) R 30736 30733 28222 0 -1 4202496 13701 0 0 0 185 8 0 0 20 0 1 0 377573512 266280960 61584 33554432000 4194304 6586260 140735548609280 140735548606040 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/30737/statm: 65010 61584 137 584 0 64422 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2412472
[startup+51.1003 s]
/proc/loadavg: 2.35 2.09 1.94 3/183 30738
/proc/meminfo: memFree=24645024/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=23.54 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18413 0 0 0 2076 278 0 0 20 0 1 0 377571157 2185355264 403982 33554432000 4194304 6004724 140735125338800 140735125333264 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403982 171 442 0 533088 0
[pid=30736] ppid=30734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30736/stat : 30736 (cp2_pre.sh) S 30734 30733 28222 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377573512 9367552 277 33554432000 4194304 5064252 140737027432224 140737027430928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30736/statm: 2287 277 234 213 0 72 0
[pid=30737] ppid=30736 vsize=2829508 CPUtime=27.34 cores=1,3,5,7
/proc/30737/stat : 30737 (coprocessor) R 30736 30733 28222 0 -1 4202496 24196 0 0 0 2604 130 0 0 20 0 1 0 377573512 2897416192 599638 33554432000 4194304 6586260 140735548609280 140735548605032 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 18 0 0
/proc/30737/statm: 707377 599638 158 584 0 706789 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 4981940
[startup+102.307 s]
/proc/loadavg: 2.76 2.24 2.00 3/181 30740
/proc/meminfo: memFree=27279904/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=307784 CPUtime=1.04 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 46742 0 0 0 95 9 0 0 20 0 1 0 377581282 315170816 71512 33554432000 4194304 5654031 140735856414208 140735855363560 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 76946 71519 108 357 0 76586 0
Current children cumulated CPU time (s) 100.47
Current children cumulated vsize (KiB) 2451068
[startup+162.3 s]
/proc/loadavg: 2.31 2.21 2.00 3/181 30740
/proc/meminfo: memFree=24115716/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=3904340 CPUtime=61.03 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 381143 0 0 0 5980 123 0 0 20 0 1 0 377581282 3998044160 833110 33554432000 4194304 5654031 140735856414208 140735856411992 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 976085 833110 140 357 0 975725 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 6047624
[startup+222.3 s]
/proc/loadavg: 2.11 2.17 2.00 3/181 30740
/proc/meminfo: memFree=24057492/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=3918056 CPUtime=121.02 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 392460 0 0 0 11975 127 0 0 20 0 1 0 377581282 4012089344 836763 33554432000 4194304 5654031 140735856414208 140735856411992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 979514 836763 141 357 0 979154 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 6061340
[startup+282.3 s]
/proc/loadavg: 2.04 2.13 2.00 3/181 30740
/proc/meminfo: memFree=23969732/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=24343088/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4033808 CPUtime=1260.85 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 521791 0 0 0 125920 165 0 0 20 0 1 0 377581282 4130619392 867987 33554432000 4194304 5654031 140735856414208 140735856411992 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1008452 867987 141 357 0 1008092 0
Current children cumulated CPU time (s) 1360.28
Current children cumulated vsize (KiB) 6177092
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 30800
/proc/meminfo: memFree=24307908/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4036844 CPUtime=1320.84 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 526383 0 0 0 131918 166 0 0 20 0 1 0 377581282 4133728256 868747 33554432000 4194304 5654031 140735856414208 140735856411896 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1009211 868747 141 357 0 1008851 0
Current children cumulated CPU time (s) 1420.27
Current children cumulated vsize (KiB) 6180128
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 30800
/proc/meminfo: memFree=24336520/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4038692 CPUtime=1380.83 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 534508 0 0 0 137914 169 0 0 20 0 1 0 377581282 4135620608 869212 33554432000 4194304 5654031 140735856414208 140735856411992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1009673 869212 141 357 0 1009313 0
Current children cumulated CPU time (s) 1480.26
Current children cumulated vsize (KiB) 6181976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30800
/proc/meminfo: memFree=24295660/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4043064 CPUtime=1440.81 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 539426 0 0 0 143911 170 0 0 20 0 1 0 377581282 4140097536 870294 33554432000 4194304 5654031 140735856414208 140735856402024 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1010766 870294 141 357 0 1010406 0
Current children cumulated CPU time (s) 1540.24
Current children cumulated vsize (KiB) 6186348
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30804
/proc/meminfo: memFree=24328628/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4045176 CPUtime=1500.81 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 543793 0 0 0 149909 172 0 0 20 0 1 0 377581282 4142260224 871342 33554432000 4194304 5654031 140735856414208 140735856411992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1011294 871342 141 357 0 1010934 0
Current children cumulated CPU time (s) 1600.24
Current children cumulated vsize (KiB) 6188460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30804
/proc/meminfo: memFree=24306664/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4047060 CPUtime=1560.79 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 551953 0 0 0 155905 174 0 0 20 0 1 0 377581282 4144189440 871810 33554432000 4194304 5654031 140735856414208 140735856411992 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1011765 871810 141 357 0 1011405 0
Current children cumulated CPU time (s) 1660.22
Current children cumulated vsize (KiB) 6190344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30804
/proc/meminfo: memFree=24305948/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4048348 CPUtime=1620.78 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 556098 0 0 0 161902 176 0 0 20 0 1 0 377581282 4145508352 872122 33554432000 4194304 5654031 140735856414208 140735856412184 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1012087 872122 141 357 0 1011727 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 6191632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30804
/proc/meminfo: memFree=24267560/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4050196 CPUtime=1680.77 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 560374 0 0 0 167900 177 0 0 20 0 1 0 377581282 4147400704 872568 33554432000 4194304 5654031 140735856414208 140735856412040 4232715 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1012549 872568 141 357 0 1012189 0
Current children cumulated CPU time (s) 1780.2
Current children cumulated vsize (KiB) 6193480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30804
/proc/meminfo: memFree=24303212/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4050724 CPUtime=1700.57 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 560519 0 0 0 169880 177 0 0 20 0 1 0 377581282 4147941376 872710 33554432000 4194304 5654031 140735856414208 140735856411992 4236082 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1012681 872710 141 357 0 1012321 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 6194008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30804
/proc/meminfo: memFree=24303212/32873648 swapFree=7376/7376
[pid=30733] ppid=30731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30733/stat : 30733 (npSolver-pbo-I.) S 30731 30733 28222 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377571157 9367552 275 33554432000 4194304 5064252 140735327659520 140735327658432 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30733/statm: 2287 275 233 213 0 72 0
[pid=30734] ppid=30733 vsize=2134136 CPUtime=99.43 cores=1,3,5,7
/proc/30734/stat : 30734 (npSolver-pbo) S 30733 30733 28222 0 -1 4202496 18431 25099 0 0 2076 278 7178 411 20 0 1 0 377571157 2185355264 403985 33554432000 4194304 6004724 140735125338800 140735125325080 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 533534 403985 174 442 0 533088 0
[pid=30740] ppid=30734 vsize=4050724 CPUtime=1700.57 cores=1,3,5,7
/proc/30740/stat : 30740 (glucosInc) R 30734 30733 28222 0 -1 4202496 560519 0 0 0 169880 177 0 0 20 0 1 0 377581282 4147941376 872710 33554432000 4194304 5654031 140735856414208 140735856411992 4236082 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30740/statm: 1012681 872710 141 357 0 1012321 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 6194008
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30733 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.12
CPU time (s): 1800
CPU user time (s): 1791.34
CPU system time (s): 8.66
CPU usage (%): 99.8826
Max. virtual memory (cumulated for all children) (KiB): 6234608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.32234 second user time and 10.3324 second system time
The end