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-3702346-1338086713/watcher-3702346-1338086713 -o /tmp/evaluation-result-3702346-1338086713/solver-3702346-1338086713 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702346-1338086713.opb 1930141349 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.00 2.01 2.00 3/178 5623
/proc/meminfo: memFree=30774104/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[startup+0.10084 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5623
/proc/meminfo: memFree=30774104/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200181 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5623
/proc/meminfo: memFree=30774104/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5623
/proc/meminfo: memFree=30774104/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700114 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5623
/proc/meminfo: memFree=30774104/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50015 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 5625
/proc/meminfo: memFree=30735432/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=73312 CPUtime=1.49 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) R 5623 5623 4103 0 -1 4202496 5211 0 0 0 147 2 0 0 20 0 1 0 274797419 75071488 12703 33554432000 4194304 5992684 140736318468368 140736318464488 4809163 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5624/statm: 18328 12703 146 440 0 17884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82460
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 5625
/proc/meminfo: memFree=30696024/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=138848 CPUtime=3.08 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) R 5623 5623 4103 0 -1 4202496 5790 0 0 0 305 3 0 0 20 0 1 0 274797419 142180352 26535 33554432000 4194304 5992684 140736318468368 140736318464104 4571337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5624/statm: 34712 26535 146 440 0 34268 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147996
[startup+6.30029 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 5627
/proc/meminfo: memFree=30372312/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=285668 CPUtime=4.72 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 11019 0 0 0 433 39 0 0 20 0 1 0 274797419 292524032 43925 33554432000 4194304 5992684 140736318468368 140736318462816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/5624/statm: 71417 43925 164 440 0 70973 0
[pid=5626] ppid=5624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5626/stat : 5626 (cp2_pre.sh) S 5624 5623 4103 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274797917 9367552 277 33554432000 4194304 5064252 140735121307344 140735121306048 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5626/statm: 2287 277 234 213 0 72 0
[pid=5627] ppid=5626 vsize=155160 CPUtime=1.3 cores=1,3,5,7
/proc/5627/stat : 5627 (coprocessor) R 5626 5623 4103 0 -1 4202496 25508 0 0 0 124 6 0 0 20 0 1 0 274797917 158883840 36300 33554432000 4194304 6586260 140733232012032 140733232008792 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/5627/statm: 38790 36301 137 584 0 38202 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 459124
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 5627
/proc/meminfo: memFree=29847596/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=285668 CPUtime=4.72 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 11019 0 0 0 433 39 0 0 20 0 1 0 274797419 292524032 43925 33554432000 4194304 5992684 140736318468368 140736318462816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 24 0 0
/proc/5624/statm: 71417 43925 164 440 0 70973 0
[pid=5626] ppid=5624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5626/stat : 5626 (cp2_pre.sh) S 5624 5623 4103 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274797917 9367552 277 33554432000 4194304 5064252 140735121307344 140735121306048 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5626/statm: 2287 277 234 213 0 72 0
[pid=5627] ppid=5626 vsize=608404 CPUtime=7.7 cores=1,3,5,7
/proc/5627/stat : 5627 (coprocessor) R 5626 5623 4103 0 -1 4202496 99545 0 0 0 741 29 0 0 20 0 1 0 274797917 623005696 150871 33554432000 4194304 6586260 140733232012032 140733232007784 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/5627/statm: 152101 150871 195 584 0 151513 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 912368
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 5629
/proc/meminfo: memFree=29980792/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=315732 CPUtime=23.04 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 18016 100964 0 0 560 536 1130 78 20 0 1 0 274797419 323309568 51411 33554432000 4194304 5992684 140736318468368 140736318460656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 25 0 0
/proc/5624/statm: 78933 51411 188 440 0 78489 0
[pid=5629] ppid=5624 vsize=313976 CPUtime=1.7 cores=1,3,5,7
/proc/5629/stat : 5629 (glucosInc) S 5624 5623 4103 0 -1 4202496 46352 0 0 0 159 11 0 0 20 0 1 0 274799130 321511424 74657 33554432000 4194304 5654031 140736809570944 140736809569256 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5629/statm: 78494 74657 146 357 0 78134 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 638856
[startup+51.1003 s]
/proc/loadavg: 2.34 2.09 2.02 3/180 5639
/proc/meminfo: memFree=28133416/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1713388 CPUtime=10.82 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 194396 0 0 0 1017 65 0 0 20 0 1 0 274801445 1754509312 371162 33554432000 4194304 5654031 140735255339312 140735255336920 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 428347 371162 140 357 0 427987 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 2042556
[startup+102.3 s]
/proc/loadavg: 2.22 2.10 2.03 3/180 5639
/proc/meminfo: memFree=28162304/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1724068 CPUtime=62.02 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 197070 0 0 0 6136 66 0 0 20 0 1 0 274801445 1765445632 374347 33554432000 4194304 5654031 140735255339312 140735255327128 4232786 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 431017 374347 141 357 0 430657 0
Current children cumulated CPU time (s) 100.45
Current children cumulated vsize (KiB) 2053236
[startup+162.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/181 5640
/proc/meminfo: memFree=28176316/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1743360 CPUtime=122.01 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 202182 0 0 0 12134 67 0 0 20 0 1 0 274801445 1785200640 380476 33554432000 4194304 5654031 140735255339312 140735255337096 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 435840 380476 142 357 0 435480 0
Current children cumulated CPU time (s) 160.44
Current children cumulated vsize (KiB) 2072528
[startup+222.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/181 5640
/proc/meminfo: memFree=28155988/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1755616 CPUtime=182 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 205233 0 0 0 18132 68 0 0 20 0 1 0 274801445 1797750784 385571 33554432000 4194304 5654031 140735255339312 140735255337096 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 438904 385571 142 357 0 438544 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 2084784
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28411800/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1757588 CPUtime=1261.81 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 205783 0 0 0 126112 69 0 0 20 0 1 0 274801445 1799770112 386118 33554432000 4194304 5654031 140735255339312 140735255337096 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 439397 386118 142 357 0 439037 0
Current children cumulated CPU time (s) 1300.24
Current children cumulated vsize (KiB) 2086756
[startup+1362.3 s]
/proc/loadavg: 1.03 1.50 1.80 2/173 5698
/proc/meminfo: memFree=28406788/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1757720 CPUtime=1321.79 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 205813 0 0 0 132110 69 0 0 20 0 1 0 274801445 1799905280 387395 33554432000 4194304 5654031 140735255339312 140735255337096 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 439430 387395 142 357 0 439070 0
Current children cumulated CPU time (s) 1360.22
Current children cumulated vsize (KiB) 2086888
[startup+1422.3 s]
/proc/loadavg: 1.01 1.41 1.75 2/173 5698
/proc/meminfo: memFree=28400900/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1760624 CPUtime=1381.77 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 206557 0 0 0 138108 69 0 0 20 0 1 0 274801445 1802878976 388931 33554432000 4194304 5654031 140735255339312 140735255337096 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 440156 388931 142 357 0 439796 0
Current children cumulated CPU time (s) 1420.2
Current children cumulated vsize (KiB) 2089792
[startup+1482.3 s]
/proc/loadavg: 1.00 1.33 1.70 2/173 5699
/proc/meminfo: memFree=28393224/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1768808 CPUtime=1441.76 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 208590 0 0 0 144107 69 0 0 20 0 1 0 274801445 1811259392 390964 33554432000 4194304 5654031 140735255339312 140735255337096 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442202 390964 142 357 0 441842 0
Current children cumulated CPU time (s) 1480.19
Current children cumulated vsize (KiB) 2097976
[startup+1542.3 s]
/proc/loadavg: 1.05 1.28 1.65 2/174 5702
/proc/meminfo: memFree=28393312/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1768808 CPUtime=1501.75 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 208590 0 0 0 150106 69 0 0 20 0 1 0 274801445 1811259392 390964 33554432000 4194304 5654031 140735255339312 140735255337096 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442202 390964 142 357 0 441842 0
Current children cumulated CPU time (s) 1540.18
Current children cumulated vsize (KiB) 2097976
[startup+1602.3 s]
/proc/loadavg: 1.02 1.23 1.61 2/173 5702
/proc/meminfo: memFree=28390220/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1771976 CPUtime=1561.74 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 209403 0 0 0 156105 69 0 0 20 0 1 0 274801445 1814503424 391777 33554432000 4194304 5654031 140735255339312 140735255337096 4214193 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442994 391777 142 357 0 442634 0
Current children cumulated CPU time (s) 1600.17
Current children cumulated vsize (KiB) 2101144
[startup+1662.3 s]
/proc/loadavg: 1.00 1.19 1.57 2/173 5702
/proc/meminfo: memFree=28388172/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1771976 CPUtime=1621.73 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 209404 0 0 0 162104 69 0 0 20 0 1 0 274801445 1814503424 392289 33554432000 4194304 5654031 140735255339312 140735255337096 4209128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442994 392289 142 357 0 442634 0
Current children cumulated CPU time (s) 1660.16
Current children cumulated vsize (KiB) 2101144
[startup+1722.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/173 5702
/proc/meminfo: memFree=28388300/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1771976 CPUtime=1681.72 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 209404 0 0 0 168103 69 0 0 20 0 1 0 274801445 1814503424 392289 33554432000 4194304 5654031 140735255339312 140735255337096 4214567 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442994 392289 142 357 0 442634 0
Current children cumulated CPU time (s) 1720.15
Current children cumulated vsize (KiB) 2101144
[startup+1782.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/173 5703
/proc/meminfo: memFree=28387928/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1771976 CPUtime=1741.72 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 209404 0 0 0 174103 69 0 0 20 0 1 0 274801445 1814503424 392289 33554432000 4194304 5654031 140735255339312 140735255337096 4214475 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442994 392289 142 357 0 442634 0
Current children cumulated CPU time (s) 1780.15
Current children cumulated vsize (KiB) 2101144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.21 s]
/proc/loadavg: 1.00 1.11 1.48 2/173 5703
/proc/meminfo: memFree=28388176/32873648 swapFree=6860/6860
[pid=5623] ppid=5621 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5623/stat : 5623 (npSolver-pbo-It) S 5621 5623 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274797419 9367552 275 33554432000 4194304 5064252 140736383618896 140736383617808 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5623/statm: 2287 275 233 213 0 72 0
[pid=5624] ppid=5623 vsize=320020 CPUtime=38.43 cores=1,3,5,7
/proc/5624/stat : 5624 (npSolver-pbo) S 5623 5623 4103 0 -1 4202496 40266 206058 0 0 1353 643 1690 157 20 0 1 0 274797419 327700480 52580 33554432000 4194304 5992684 140736318468368 140736318454200 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 26 0 0
/proc/5624/statm: 80005 52580 199 440 0 79561 0
[pid=5639] ppid=5624 vsize=1771976 CPUtime=1761.62 cores=1,3,5,7
/proc/5639/stat : 5639 (glucosInc) R 5624 5623 4103 0 -1 4202496 209404 0 0 0 176093 69 0 0 20 0 1 0 274801445 1814503424 392289 33554432000 4194304 5654031 140735255339312 140735255337096 4214616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5639/statm: 442994 392289 142 357 0 442634 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2101144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5623 and gives
# childrusage.ru_utime.tv_sec=30
# childrusage.ru_utime.tv_usec=441372
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=18780
# CPU time returned by wait4() is 38.4602
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.22
CPU time (s): 1800.05
CPU user time (s): 1791.36
CPU system time (s): 8.69
CPU usage (%): 99.8795
Max. virtual memory (cumulated for all children) (KiB): 2592720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.4414
system time used= 8.01878
maximum resident set size= 1373432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246682
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3007696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 799
involuntary context switches= 133
runsolver used 4.04038 second user time and 10.3554 second system time
The end