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 (61861 MiB free)
  memory of node 1: 64507 MiB (63861 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494516-1751135116/watcher-4494516-1751135116 -o /tmp/evaluation-result-4494516-1751135116/solver-4494516-1751135116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751133631-11150 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4494516-1751135116.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=12215, runsolver pid=12212

[startup+0.100109 s]*
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128716744/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=71064 memory=36472 CPUtime=0.09 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 7626 0 0 0 7 2 0 0 20 0 1 0 29190508 72769536 9118 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 17766 9118 1152 6655 0 8001 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71064 KiB
Current children cumulated memory: 36472 KiB

[startup+0.213764 s]*
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128700616/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=87704 memory=53112 CPUtime=0.22 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 11786 0 0 0 17 5 0 0 20 0 1 0 29190508 89808896 13278 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 21926 13278 1152 6655 0 12161 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 87704 KiB
Current children cumulated memory: 53112 KiB

[startup+0.313693 s]*
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128684488/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=98800 memory=64120 CPUtime=0.31 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 14546 0 0 0 26 5 0 0 20 0 1 0 29190508 101171200 16030 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 24700 16030 1152 6655 0 14935 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98800 KiB
Current children cumulated memory: 64120 KiB

[startup+0.700337 s]
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128676424/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=104212 memory=69624 CPUtime=0.68 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 15906 0 0 0 63 5 0 0 20 0 1 0 29190508 106713088 17406 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 26053 17406 1152 6655 0 16288 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69624 KiB

[startup+1.50033 s]
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128676424/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=104212 memory=69624 CPUtime=1.48 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 15906 0 0 0 143 5 0 0 20 0 1 0 29190508 106713088 17406 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 26053 17406 1152 6655 0 16288 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69624 KiB

[startup+3.11342 s]
/proc/loadavg: 4.13 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128676424/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=104212 memory=69624 CPUtime=3.08 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 15907 0 0 0 303 5 0 0 20 0 1 0 29190508 106713088 17406 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 26053 17406 1152 6655 0 16288 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69624 KiB

[startup+6.30034 s]
/proc/loadavg: 4.12 4.32 3.89 5/253 12216
/proc/meminfo: memFree=128676424/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=104212 memory=69624 CPUtime=6.26 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 15908 0 0 0 621 5 0 0 20 0 1 0 29190508 106713088 17406 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 26053 17406 1152 6655 0 16288 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.31 3.89 6/254 12217
/proc/meminfo: memFree=128425300/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=465984 memory=354792 CPUtime=14.33 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 70407 0 0 0 1415 18 0 0 20 0 2 0 29190508 477167616 88698 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 116496 88698 3360 6655 0 91852 0
[pid=12215/tid=12217] ppid=12212 vsize=465984 memory=344408 CPUtime=1.68 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 11564 0 0 0 164 4 0 0 20 0 2 0 29191526 477167616 88698 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 465984 KiB
Current children cumulated memory: 354792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.35 3.91 6/254 12218
/proc/meminfo: memFree=128396756/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=474820 memory=366508 CPUtime=39.75 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 90496 0 0 0 3955 20 0 0 20 0 2 0 29190508 486215680 91627 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 118705 91627 3360 6655 0 94703 0
[pid=12215/tid=12217] ppid=12212 vsize=474820 memory=360384 CPUtime=14.34 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 23351 0 0 0 1429 5 0 0 20 0 2 0 29191526 486215680 91627 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 39.75 s
Current children cumulated vsize: 474820 KiB
Current children cumulated memory: 366508 KiB

[startup+51.1056 s]
/proc/loadavg: 4.62 4.42 3.94 6/254 12219
/proc/meminfo: memFree=128392700/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=477796 memory=371780 CPUtime=90.63 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 103083 0 0 0 9042 21 0 0 20 0 2 0 29190508 489263104 92945 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 119449 92945 3360 6655 0 96371 0
[pid=12215/tid=12217] ppid=12212 vsize=477796 memory=371396 CPUtime=39.69 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 27861 0 0 0 3963 6 0 0 20 0 2 0 29191526 489263104 92945 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 90.63 s
Current children cumulated vsize: 477796 KiB
Current children cumulated memory: 371780 KiB

[startup+102.3 s]
/proc/loadavg: 4.90 4.52 4.01 6/254 12221
/proc/meminfo: memFree=128322072/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=454668 CPUtime=192.34 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 153939 0 0 0 19204 30 0 0 20 0 2 0 29190508 569880576 113667 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 113667 3392 6655 0 116053 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=17152 CPUtime=90.38 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 41263 0 0 0 9030 8 0 0 20 0 2 0 29191526 569880576 113667 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 192.34 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 454668 KiB

[startup+162.3 s]
/proc/loadavg: 5.02 4.63 4.08 6/254 12223
/proc/meminfo: memFree=128306408/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=473592 CPUtime=311.53 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 232728 0 0 0 31116 37 0 0 20 0 2 0 29190508 569880576 118398 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 118398 3392 6655 0 120836 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=462688 CPUtime=149.76 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 77763 0 0 0 14965 11 0 0 20 0 2 0 29191526 569880576 118398 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 311.53 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 473592 KiB

[startup+222.3 s]
/proc/loadavg: 5.05 4.71 4.14 6/254 12225
/proc/meminfo: memFree=128284456/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=478852 CPUtime=430.82 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 235175 0 0 0 43044 38 0 0 20 0 2 0 29190508 569880576 119713 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 119713 3392 6655 0 120836 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=478724 CPUtime=209.19 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 78663 0 0 0 20908 11 0 0 20 0 2 0 29191526 569880576 119713 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 430.82 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 478852 KiB

[startup+282.3 s]
/proc/loadavg: 5.07 4.78 4.20 6/254 12227
/proc/meminfo: memFree=128276112/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=550.09 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 268784 0 0 0 54968 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=487916 CPUtime=268.6 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 112264 0 0 0 26847 13 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 550.09 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

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

# cumulated CPU time of all completed processes:  user=610.418 s, system=0.441581 s

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

[startup+294.4 s]
/proc/loadavg: 5.06 4.80 4.22 6/254 12227
/proc/meminfo: memFree=128276120/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=574.14 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 269422 0 0 0 57373 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=487916 CPUtime=280.6 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 112902 0 0 0 28046 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 574.14 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+300.8 s]
/proc/loadavg: 5.05 4.80 4.22 6/254 12228
/proc/meminfo: memFree=128277316/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=586.87 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 269944 0 0 0 58646 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=487916 CPUtime=286.94 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113424 0 0 0 28680 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 586.87 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+307.2 s]
/proc/loadavg: 5.13 4.82 4.23 6/254 12228
/proc/meminfo: memFree=128260432/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=599.58 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 270141 0 0 0 59917 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=164 CPUtime=293.27 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113620 0 0 0 29313 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 599.58 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+310.4 s]
/proc/loadavg: 5.12 4.82 4.24 6/254 12228
/proc/meminfo: memFree=128260184/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=605.94 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 270146 0 0 0 60553 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=17152 CPUtime=296.44 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113625 0 0 0 29630 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 605.94 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+312 s]*
/proc/loadavg: 5.12 4.82 4.24 6/254 12228
/proc/meminfo: memFree=128260184/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=609.13 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 270146 0 0 0 60872 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=-6658689067673293157 CPUtime=298.03 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113625 0 0 0 29789 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 609.13 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+312.4 s]
/proc/loadavg: 5.12 4.82 4.24 6/254 12228
/proc/meminfo: memFree=128260184/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=609.92 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 270146 0 0 0 60951 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=487916 CPUtime=298.42 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113625 0 0 0 29828 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 609.92 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+312.8 s]
/proc/loadavg: 5.12 4.82 4.24 6/254 12228
/proc/meminfo: memFree=128260184/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=556524 memory=487916 CPUtime=610.72 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 270148 0 0 0 61031 41 0 0 20 0 2 0 29190508 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 139131 121979 3392 6655 0 122681 0
[pid=12215/tid=12217] ppid=12212 vsize=556524 memory=487916 CPUtime=298.82 cores=1,3
/proc/12215/task/12217/stat : 12217 (LSIPExact) R 12212 12215 11133 0 -1 4194368 113627 0 0 0 29868 14 0 0 20 0 2 0 29191526 569880576 121979 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
Current children cumulated CPU time: 610.72 s
Current children cumulated vsize: 556524 KiB
Current children cumulated memory: 487916 KiB

[startup+312.9 s]
/proc/loadavg: 5.12 4.82 4.24 6/254 12228
/proc/meminfo: memFree=128260184/131382112 swapFree=33010684/33010684
[pid=12215] ppid=12212 vsize=490988 memory=446432 CPUtime=610.82 cores=1,3
/proc/12215/stat : 12215 (LSIPExact) R 12212 12215 11133 0 -1 4194304 292927 0 0 0 61040 42 0 0 20 0 1 0 29190508 502771712 111608 18446744073709551615 93922687889408 93922715145809 140726786579696 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93922723648648 93922724080256 93922725707776 140726786582874 140726786583050 140726786583050 140726786588652 0
/proc/12215/statm: 122747 111608 3456 6655 0 112711 0
Current children cumulated CPU time: 610.82 s
Current children cumulated vsize: 490988 KiB
Current children cumulated memory: 446432 KiB

Child status: 0

Real time (s): 312.929
CPU time (s): 610.859
CPU user time (s): 610.418
CPU system time (s): 0.441581
CPU usage (%): 195.207
Max. virtual memory (cumulated for all children) (KiB): 556524
Max. memory (cumulated for all children) (KiB): 487916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 610.418
system time used= 0.441581
maximum resident set size= 487916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296138
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= 104
involuntary context switches= 4240


# summary of solver processes directly reported to runsolver:
#   pid: 12215
#   total CPU time (s): 610.859
#   total CPU user time (s): 610.418
#   total CPU system time (s): 0.441581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.675424 second user time and 1.61789 second system time

The end