runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62566 MiB free)
  memory of node 1: 64507 MiB (63304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502541-1751406445/watcher-4502541-1751406445 -o /tmp/evaluation-result-4502541-1751406445/solver-4502541-1751406445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751396961-58740 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4502541-1751406445.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62650, runsolver pid=62647
Current StackSize limit: 8192 KiB


[startup+0.100076 s]*
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887412/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=0.09 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 9 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+0.213552 s]*
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887412/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=0.2 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 20 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+0.31346 s]*
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887412/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=0.3 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 30 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+0.700298 s]
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887412/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=0.68 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 68 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+1.50035 s]
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887412/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=1.47 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 147 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+3.1131 s]
/proc/loadavg: 8.06 7.95 7.79 8/253 62651
/proc/meminfo: memFree=128887664/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=3.08 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 308 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+6.30031 s]
/proc/loadavg: 7.97 7.93 7.79 8/253 62651
/proc/meminfo: memFree=128883820/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=42412 memory=7680 CPUtime=6.26 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 965 0 0 0 626 0 0 0 20 0 1 0 56324298 43429888 1920 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 10603 1920 1120 6655 0 838 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7680 KiB

[startup+12.7002 s]
/proc/loadavg: 7.89 7.92 7.79 9/254 62653
/proc/meminfo: memFree=128853564/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=144208 memory=52160 CPUtime=15.21 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 9594 0 0 0 1518 3 0 0 20 0 2 0 56324298 147668992 13040 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 36052 13040 3392 6655 0 11824 0
[pid=62650/tid=62652] ppid=62647 vsize=144208 memory=49600 CPUtime=2.56 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 1986 0 0 0 255 1 0 0 20 0 2 0 56325300 147668992 13040 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 144208 KiB
Current children cumulated memory: 52160 KiB

[startup+25.5002 s]
/proc/loadavg: 7.92 7.92 7.79 9/254 62653
/proc/meminfo: memFree=128826632/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=159572 memory=73536 CPUtime=40.59 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 33966 0 0 0 4049 10 0 0 20 0 2 0 56324298 163401728 18384 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 39893 18384 3392 6655 0 18614 0
[pid=62650/tid=62652] ppid=62647 vsize=159572 memory=72384 CPUtime=15.21 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 7825 0 0 0 1514 7 0 0 20 0 2 0 56325300 163401728 18384 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 40.59 s
Current children cumulated vsize: 159572 KiB
Current children cumulated memory: 73536 KiB

[startup+51.1054 s]
/proc/loadavg: 8.07 7.96 7.81 9/254 62653
/proc/meminfo: memFree=128821712/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=184804 memory=91756 CPUtime=90.38 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 58020 0 0 0 9023 15 0 0 20 0 2 0 56324298 189239296 22939 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 46201 22939 3392 6655 0 25324 0
[pid=62650/tid=62652] ppid=62647 vsize=184804 memory=91244 CPUtime=39.49 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 16303 0 0 0 3942 7 0 0 20 0 2 0 56325300 189239296 22939 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 90.38 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 91756 KiB

[startup+102.3 s]
/proc/loadavg: 8.09 7.98 7.83 9/254 62655
/proc/meminfo: memFree=128832748/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=184804 memory=105068 CPUtime=192 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 69332 0 0 0 19183 17 0 0 20 0 2 0 56324298 189239296 26267 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 46201 26267 3392 6655 0 28726 0
[pid=62650/tid=62652] ppid=62647 vsize=184804 memory=104812 CPUtime=90.13 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 22590 0 0 0 9004 9 0 0 20 0 2 0 56325300 189239296 26267 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 192 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 105068 KiB

[startup+162.3 s]
/proc/loadavg: 8.12 8.02 7.85 9/255 62660
/proc/meminfo: memFree=128828256/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=196480 memory=124524 CPUtime=311.11 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 94116 0 0 0 31089 22 0 0 20 0 2 0 56324298 201195520 31131 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 49120 31131 3424 6655 0 33658 0
[pid=62650/tid=62652] ppid=62647 vsize=196480 memory=109164 CPUtime=149.48 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 35992 0 0 0 14937 11 0 0 20 0 2 0 56325300 201195520 31131 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 311.11 s
Current children cumulated vsize: 196480 KiB
Current children cumulated memory: 124524 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.03 7.86 9/254 62662
/proc/meminfo: memFree=128792860/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=225368 memory=159268 CPUtime=426.39 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 112881 0 0 0 42613 26 0 0 20 0 2 0 56324298 230776832 39817 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 56342 39817 3424 6655 0 41939 0
[pid=62650/tid=62652] ppid=62647 vsize=225368 memory=159268 CPUtime=205.04 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 42901 0 0 0 20492 12 0 0 20 0 2 0 56325300 230776832 39817 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 426.39 s
Current children cumulated vsize: 225368 KiB
Current children cumulated memory: 159268 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 8.03 7.88 9/254 62664
/proc/meminfo: memFree=128787920/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=225368 memory=168740 CPUtime=545.47 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 139512 0 0 0 54516 31 0 0 20 0 2 0 56324298 230776832 42185 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 56342 42185 3424 6655 0 44057 0
[pid=62650/tid=62652] ppid=62647 vsize=225368 memory=14336 CPUtime=264.37 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 58119 0 0 0 26423 14 0 0 20 0 2 0 56325300 230776832 42185 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 545.47 s
Current children cumulated vsize: 225368 KiB
Current children cumulated memory: 168740 KiB

[startup+342.3 s]
/proc/loadavg: 8.14 8.06 7.90 9/255 62667
/proc/meminfo: memFree=128767504/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=295144 memory=186664 CPUtime=664.54 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 229728 0 0 0 66403 51 0 0 20 0 2 0 56324298 302227456 46666 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 73786 46666 3424 6655 0 48657 0
[pid=62650/tid=62652] ppid=62647 vsize=295144 memory=163108 CPUtime=323.69 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 143352 0 0 0 32336 33 0 0 20 0 2 0 56325300 302227456 46666 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 664.54 s
Current children cumulated vsize: 295144 KiB
Current children cumulated memory: 186664 KiB

[startup+402.3 s]
/proc/loadavg: 8.11 8.06 7.92 9/256 62674
/proc/meminfo: memFree=128764360/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=297368 memory=190888 CPUtime=783.62 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 230872 0 0 0 78309 53 0 0 20 0 2 0 56324298 304504832 47722 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 74342 47722 3424 6655 0 49593 0
[pid=62650/tid=62652] ppid=62647 vsize=297368 memory=163108 CPUtime=383.02 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 143879 0 0 0 38268 34 0 0 20 0 2 0 56325300 304504832 47722 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 783.62 s
Current children cumulated vsize: 297368 KiB
Current children cumulated memory: 190888 KiB

[startup+462.3 s]
/proc/loadavg: 6.95 7.75 7.82 7/248 62708
/proc/meminfo: memFree=129134080/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=300420 memory=195112 CPUtime=902.65 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 265044 0 0 0 90205 60 0 0 20 0 2 0 56324298 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 75105 48778 3424 6655 0 50737 0
[pid=62650/tid=62652] ppid=62647 vsize=300420 memory=14336 CPUtime=442.33 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 159852 0 0 0 44197 36 0 0 20 0 2 0 56325300 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 902.65 s
Current children cumulated vsize: 300420 KiB
Current children cumulated memory: 195112 KiB

[startup+463.316 s]
# the end of solver process 62650 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=903.65 s, system=0.615702 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+462.4 s]
/proc/loadavg: 6.95 7.75 7.82 7/248 62708
/proc/meminfo: memFree=129134080/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=300420 memory=195112 CPUtime=902.84 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 265062 0 0 0 90224 60 0 0 20 0 2 0 56324298 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 75105 48778 3424 6655 0 50737 0
[pid=62650/tid=62652] ppid=62647 vsize=300420 memory=195112 CPUtime=442.43 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 159862 0 0 0 44207 36 0 0 20 0 2 0 56325300 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 902.84 s
Current children cumulated vsize: 300420 KiB
Current children cumulated memory: 195112 KiB

[startup+462.8 s]
/proc/loadavg: 6.95 7.75 7.82 7/248 62708
/proc/meminfo: memFree=129134080/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=300420 memory=195112 CPUtime=903.64 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) R 62647 62650 58727 0 -1 4194304 265093 0 0 0 90304 60 0 0 20 0 2 0 56324298 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 75105 48778 3424 6655 0 50737 0
[pid=62650/tid=62652] ppid=62647 vsize=300420 memory=5632 CPUtime=442.83 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 159866 0 0 0 44247 36 0 0 20 0 2 0 56325300 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 903.64 s
Current children cumulated vsize: 300420 KiB
Current children cumulated memory: 195112 KiB

[startup+463.2 s]
/proc/loadavg: 6.95 7.75 7.82 6/248 62708
/proc/meminfo: memFree=129134080/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=300420 memory=195112 CPUtime=904.14 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) S 62647 62650 58727 0 -1 4194304 265411 0 0 0 90354 60 0 0 20 0 2 0 56324298 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 75105 48778 3424 6655 0 50737 0
[pid=62650/tid=62652] ppid=62647 vsize=300420 memory=17792 CPUtime=443.22 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 159990 0 0 0 44286 36 0 0 20 0 2 0 56325300 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 904.14 s
Current children cumulated vsize: 300420 KiB
Current children cumulated memory: 195112 KiB

[startup+463.3 s]
/proc/loadavg: 6.95 7.75 7.82 6/248 62708
/proc/meminfo: memFree=129134080/131382116 swapFree=33010684/33010684
[pid=62650] ppid=62647 vsize=300420 memory=195112 CPUtime=904.24 cores=5,7
/proc/62650/stat : 62650 (LSIPExact) S 62647 62650 58727 0 -1 4194304 265474 0 0 0 90364 60 0 0 20 0 2 0 56324298 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
/proc/62650/statm: 75105 48778 3424 6655 0 50737 0
[pid=62650/tid=62652] ppid=62647 vsize=300420 memory=14336 CPUtime=443.32 cores=5,7
/proc/62650/task/62652/stat : 62652 (LSIPExact) R 62647 62650 58727 0 -1 4194368 160053 0 0 0 44296 36 0 0 20 0 2 0 56325300 307630080 48778 18446744073709551615 94299242561536 94299269817937 140720341860592 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94299278320776 94299278752384 94299285549056 140720341866842 140720341867018 140720341867018 140720341872620 0
Current children cumulated CPU time: 904.24 s
Current children cumulated vsize: 300420 KiB
Current children cumulated memory: 195112 KiB

Child status: 0

Real time (s): 463.316
CPU time (s): 904.266
CPU user time (s): 903.65
CPU system time (s): 0.615702
CPU usage (%): 195.173
Max. virtual memory (cumulated for all children) (KiB): 300420
Max. memory (cumulated for all children) (KiB): 195112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 903.65
system time used= 0.615702
maximum resident set size= 195112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266953
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= 249
involuntary context switches= 33172


# summary of solver processes directly reported to runsolver:
#   pid: 62650
#   total CPU time (s): 904.266
#   total CPU user time (s): 903.65
#   total CPU system time (s): 0.615702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0208 second user time and 2.31772 second system time

The end