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-3746610-1339110834/watcher-3746610-1339110834 -o /tmp/evaluation-result-3746610-1339110834/solver-3746610-1339110834 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746610-1339110834.opb 1606995588 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 10793
/proc/meminfo: memFree=30377692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (runsolver) D 10791 10793 7954 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 377207922 12095488 50 33554432000 4194304 5436572 140733854738544 140733854734840 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/10793/statm: 2953 50 31 304 0 2645 0
[startup+0.0555011 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 10793
/proc/meminfo: memFree=30377692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 10793
/proc/meminfo: memFree=30377692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300216 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 10793
/proc/meminfo: memFree=30377692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 10793
/proc/meminfo: memFree=30377692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 2.07 3/181 10795
/proc/meminfo: memFree=30308608/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=211648 CPUtime=1.48 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) R 10793 10793 7954 0 -1 4202496 23491 0 0 0 141 7 0 0 20 0 1 0 377207922 216727552 39735 33554432000 4194304 6004724 140734438242368 140734438237880 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10795/statm: 52912 39735 130 442 0 52466 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 220796
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.07 3/181 10795
/proc/meminfo: memFree=30187500/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=427332 CPUtime=3.08 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) R 10793 10793 7954 0 -1 4202496 45286 0 0 0 294 14 0 0 20 0 1 0 377207922 437587968 82927 33554432000 4194304 6004724 140734438242368 140734438237944 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10795/statm: 106833 82928 130 442 0 106387 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 436480
[startup+6.30026 s]
/proc/loadavg: 2.08 2.03 2.07 3/181 10795
/proc/meminfo: memFree=29780560/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=765796 CPUtime=6.28 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) R 10793 10793 7954 0 -1 4202496 110118 0 0 0 597 31 0 0 20 0 1 0 377207922 784175104 181784 33554432000 4194304 6004724 140734438242368 140734438236664 4975593 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10795/statm: 191449 181784 147 442 0 191003 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 774944
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.07 3/181 10795
/proc/meminfo: memFree=29233972/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683300 CPUtime=12.68 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) R 10793 10793 7954 0 -1 4202496 112345 0 0 0 1217 51 0 0 20 0 1 0 377207922 1723699200 297516 33554432000 4194304 6004724 140734438242368 140734438236968 4579276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420825 297516 154 442 0 420379 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1692448
[startup+25.5004 s]
/proc/loadavg: 2.14 2.05 2.08 3/183 10798
/proc/meminfo: memFree=27249692/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=19.07 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113171 0 0 0 1711 196 0 0 20 0 1 0 377207922 1723723776 394814 33554432000 4194304 6004724 140734438242368 140734438236832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394814 163 442 0 420385 0
[pid=10796] ppid=10795 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10796/stat : 10796 (cp2_pre.sh) S 10795 10793 7954 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377209830 9367552 276 33554432000 4194304 5064252 140733975789040 140733975787744 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10796/statm: 2287 276 234 213 0 72 0
[pid=10797] ppid=10796 vsize=613288 CPUtime=6.39 cores=0,2,4,6
/proc/10797/stat : 10797 (coprocessor) R 10796 10793 7954 0 -1 4202496 18245 0 0 0 617 22 0 0 20 0 1 0 377209831 628006912 151572 33554432000 4194304 6586260 140736767519344 140736767516104 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10797/statm: 153322 151572 137 584 0 152734 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 2314908
[startup+51.1004 s]
/proc/loadavg: 2.35 2.10 2.10 3/183 10798
/proc/meminfo: memFree=25812800/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=19.07 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113171 0 0 0 1711 196 0 0 20 0 1 0 377207922 1723723776 394814 33554432000 4194304 6004724 140734438242368 140734438236832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394814 163 442 0 420385 0
[pid=10796] ppid=10795 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10796/stat : 10796 (cp2_pre.sh) S 10795 10793 7954 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 377209830 9367552 276 33554432000 4194304 5064252 140733975789040 140733975787744 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10796/statm: 2287 276 234 213 0 72 0
[pid=10797] ppid=10796 vsize=1846472 CPUtime=31.84 cores=0,2,4,6
/proc/10797/stat : 10797 (coprocessor) R 10796 10793 7954 0 -1 4202496 24365 0 0 0 3034 150 0 0 20 0 1 0 377209831 1890787328 388495 33554432000 4194304 6586260 140736767519344 140736767515096 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 15 0 0
/proc/10797/statm: 461618 388495 158 584 0 461030 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 3548092
[startup+102.307 s]
/proc/loadavg: 2.25 2.12 2.10 3/181 10800
/proc/meminfo: memFree=26077976/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2285016 CPUtime=41.83 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 235604 0 0 0 4114 69 0 0 20 0 1 0 377213966 2339856384 491257 33554432000 4194304 5654031 140733576832416 140733576820232 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 571254 491257 139 357 0 570894 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 3977488
[startup+162.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/181 10800
/proc/meminfo: memFree=26069908/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2285016 CPUtime=101.83 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 235677 0 0 0 10113 70 0 0 20 0 1 0 377213966 2339856384 493374 33554432000 4194304 5654031 140733576832416 140733576820232 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 571254 493374 140 357 0 570894 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 3977488
[startup+222.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/181 10800
/proc/meminfo: memFree=26020632/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2285016 CPUtime=161.82 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 235712 0 0 0 16112 70 0 0 20 0 1 0 377213966 2339856384 493920 33554432000 4194304 5654031 140733576832416 140733576820232 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 571254 493920 140 357 0 570894 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 3977488
[startup+282.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/181 10800
/proc/meminfo: memFree=26008688/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=25975876/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1301.59 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236608 0 0 0 130089 70 0 0 20 0 1 0 377213966 2359025664 501372 33554432000 4194304 5654031 140733576832416 140733576820232 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 501372 140 357 0 575574 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 3996208
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.03 3/181 10810
/proc/meminfo: memFree=25974492/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1361.58 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236634 0 0 0 136088 70 0 0 20 0 1 0 377213966 2359025664 501886 33554432000 4194304 5654031 140733576832416 140733576820232 4219792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 501886 140 357 0 575574 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 3996208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 10810
/proc/meminfo: memFree=25974588/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1421.56 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236650 0 0 0 142086 70 0 0 20 0 1 0 377213966 2359025664 502398 33554432000 4194304 5654031 140733576832416 140733576820232 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 502398 140 357 0 575574 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 3996208
[startup+1542.3 s]
/proc/loadavg: 1.56 1.90 1.98 2/172 10835
/proc/meminfo: memFree=26171092/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1481.54 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236684 0 0 0 148084 70 0 0 20 0 1 0 377213966 2359025664 502425 33554432000 4194304 5654031 140733576832416 140733576820232 4232551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 502425 140 357 0 575574 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 3996208
[startup+1602.3 s]
/proc/loadavg: 1.20 1.73 1.91 2/174 10839
/proc/meminfo: memFree=26171488/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1541.54 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236686 0 0 0 154083 71 0 0 20 0 1 0 377213966 2359025664 502425 33554432000 4194304 5654031 140733576832416 140733576820232 4209072 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 502425 140 357 0 575574 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 3996208
[startup+1662.3 s]
/proc/loadavg: 1.07 1.60 1.86 2/173 10839
/proc/meminfo: memFree=26171288/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1601.51 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236728 0 0 0 160080 71 0 0 20 0 1 0 377213966 2359025664 502432 33554432000 4194304 5654031 140733576832416 140733576820232 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 502432 140 357 0 575574 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 3996208
[startup+1722.3 s]
/proc/loadavg: 1.02 1.48 1.80 2/173 10839
/proc/meminfo: memFree=26169100/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1661.5 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236813 0 0 0 166079 71 0 0 20 0 1 0 377213966 2359025664 503019 33554432000 4194304 5654031 140733576832416 140733576820232 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 503019 140 357 0 575574 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 3996208
[startup+1782.3 s]
/proc/loadavg: 1.01 1.39 1.75 2/173 10839
/proc/meminfo: memFree=26168384/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1721.49 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236984 0 0 0 172078 71 0 0 20 0 1 0 377213966 2359025664 503181 33554432000 4194304 5654031 140733576832416 140733576820232 4232632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 503181 140 357 0 575574 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 3996208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.37 1.73 2/173 10839
/proc/meminfo: memFree=26168228/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1739.9 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236994 0 0 0 173919 71 0 0 20 0 1 0 377213966 2359025664 503189 33554432000 4194304 5654031 140733576832416 140733576820232 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 503189 140 357 0 575574 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 3996208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.37 1.73 2/173 10839
/proc/meminfo: memFree=26168228/32873844 swapFree=7632/7632
[pid=10793] ppid=10791 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10793/stat : 10793 (npSolver-pbo-It) S 10791 10793 7954 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377207922 9367552 275 33554432000 4194304 5064252 140733661031968 140733661030880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10793/statm: 2287 275 233 213 0 72 0
[pid=10795] ppid=10793 vsize=1683324 CPUtime=60.21 cores=0,2,4,6
/proc/10795/stat : 10795 (npSolver-pbo) S 10793 10793 7954 0 -1 4202496 113189 25265 0 0 1711 196 3898 216 20 0 1 0 377207922 1723723776 394818 33554432000 4194304 6004724 140734438242368 140734438228648 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10795/statm: 420831 394818 167 442 0 420385 0
[pid=10800] ppid=10795 vsize=2303736 CPUtime=1739.9 cores=0,2,4,6
/proc/10800/stat : 10800 (glucosInc) R 10795 10793 7954 0 -1 4202496 236994 0 0 0 173919 71 0 0 20 0 1 0 377213966 2359025664 503189 33554432000 4194304 5654031 140733576832416 140733576820232 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10800/statm: 575934 503189 140 357 0 575574 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 3996208
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10793 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.73
CPU time (s): 1800.11
CPU user time (s): 1795.28
CPU system time (s): 4.83
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 3996208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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= 2
runsolver used 4.36134 second user time and 9.91349 second system time
The end