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: 63708 MiB (63066 MiB free)
  memory of node 1: 64465 MiB (63636 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=11477, runsolver pid=11471
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 3.89 1.14 0.45 8/270 11478
/proc/meminfo: memFree=129704844/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=77532 memory=42792 CPUtime=0.05 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 9220 0 0 0 4 1 0 0 20 0 1 0 29047662 79392768 10698 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 19383 10698 1120 6655 0 9618 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 77532 KiB
Current children cumulated memory: 42792 KiB

[startup+0.205704 s]*
/proc/loadavg: 3.89 1.14 0.45 8/270 11478
/proc/meminfo: memFree=129680652/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=102364 memory=67624 CPUtime=0.16 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15444 0 0 0 14 2 0 0 20 0 1 0 29047662 104820736 16906 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 25591 16906 1120 6655 0 15826 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 102364 KiB
Current children cumulated memory: 67624 KiB

[startup+0.305586 s]*
/proc/loadavg: 3.89 1.14 0.45 8/270 11478
/proc/meminfo: memFree=129672588/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=104212 memory=69544 CPUtime=0.26 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15902 0 0 0 24 2 0 0 20 0 1 0 29047662 106713088 17386 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 26053 17386 1120 6655 0 16288 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69544 KiB

[startup+0.700148 s]
/proc/loadavg: 3.89 1.14 0.45 8/270 11478
/proc/meminfo: memFree=129672588/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=104212 memory=69544 CPUtime=0.64 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15902 0 0 0 62 2 0 0 20 0 1 0 29047662 106713088 17386 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 26053 17386 1120 6655 0 16288 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69544 KiB

[startup+1.50014 s]
/proc/loadavg: 3.89 1.14 0.45 8/270 11478
/proc/meminfo: memFree=129672588/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=104212 memory=69544 CPUtime=1.44 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15902 0 0 0 142 2 0 0 20 0 1 0 29047662 106713088 17386 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 26053 17386 1120 6655 0 16288 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69544 KiB

[startup+3.10546 s]
/proc/loadavg: 4.14 1.24 0.49 8/270 11478
/proc/meminfo: memFree=129672596/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=104212 memory=69544 CPUtime=3.04 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15903 0 0 0 302 2 0 0 20 0 1 0 29047662 106713088 17386 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 26053 17386 1120 6655 0 16288 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69544 KiB

[startup+6.30012 s]
/proc/loadavg: 4.14 1.24 0.49 8/270 11478
/proc/meminfo: memFree=129672620/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=104212 memory=69544 CPUtime=6.23 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 15904 0 0 0 621 2 0 0 20 0 1 0 29047662 106713088 17386 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 26053 17386 1120 6655 0 16288 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 104212 KiB
Current children cumulated memory: 69544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.58 1.43 0.56 8/271 11479
/proc/meminfo: memFree=129328420/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=465984 memory=356320 CPUtime=14.33 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 70759 0 0 0 1420 13 0 0 20 0 2 0 29047662 477167616 89080 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 116496 89080 3392 6655 0 91852 0
[pid=11477/tid=11479] ppid=11471 vsize=465984 memory=17280 CPUtime=1.71 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 11561 0 0 0 169 2 0 0 20 0 2 0 29048679 477167616 89080 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 465984 KiB
Current children cumulated memory: 356320 KiB

[startup+25.5002 s]
/proc/loadavg: 5.03 1.63 0.63 9/271 11480
/proc/meminfo: memFree=129283132/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=474820 memory=367812 CPUtime=39.76 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 90582 0 0 0 3961 15 0 0 20 0 2 0 29047662 486215680 91953 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 118705 91953 3392 6655 0 94703 0
[pid=11477/tid=11479] ppid=11471 vsize=474820 memory=356448 CPUtime=14.38 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 23365 0 0 0 1435 3 0 0 20 0 2 0 29048679 486215680 91953 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 39.76 s
Current children cumulated vsize: 474820 KiB
Current children cumulated memory: 367812 KiB

[startup+51.1056 s]
/proc/loadavg: 6.05 2.14 0.83 9/271 11480
/proc/meminfo: memFree=129236252/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=477796 memory=373948 CPUtime=90.62 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 103514 0 0 0 9045 17 0 0 20 0 2 0 29047662 489263104 93487 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 119449 93487 3392 6655 0 96371 0
[pid=11477/tid=11479] ppid=11471 vsize=477796 memory=373692 CPUtime=39.71 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 28441 0 0 0 3967 4 0 0 20 0 2 0 29048679 489263104 93487 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 90.62 s
Current children cumulated vsize: 477796 KiB
Current children cumulated memory: 373948 KiB

[startup+102.3 s]
/proc/loadavg: 7.27 3.14 1.25 9/271 11482
/proc/meminfo: memFree=129179584/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=555640 memory=454952 CPUtime=192.36 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 171263 0 0 0 19210 26 0 0 20 0 2 0 29047662 568975360 113738 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 138910 113738 3392 6655 0 115832 0
[pid=11477/tid=11479] ppid=11471 vsize=555640 memory=454184 CPUtime=90.4 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 53351 0 0 0 9032 8 0 0 20 0 2 0 29048679 568975360 113738 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 192.36 s
Current children cumulated vsize: 555640 KiB
Current children cumulated memory: 454952 KiB

[startup+162.3 s]
/proc/loadavg: 7.70 4.03 1.67 9/271 11484
/proc/meminfo: memFree=129128484/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=416876 CPUtime=311.53 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 202229 0 0 0 31124 29 0 0 20 0 2 0 29047662 508375040 104219 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 104219 3392 6655 0 105820 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=416876 CPUtime=149.78 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 66656 0 0 0 14969 9 0 0 20 0 2 0 29048679 508375040 104219 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 311.53 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 416876 KiB

[startup+222.3 s]
/proc/loadavg: 7.95 4.77 2.08 9/271 11486
/proc/meminfo: memFree=129078252/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=422136 CPUtime=430.78 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 211740 0 0 0 43048 30 0 0 20 0 2 0 29047662 508375040 105534 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 105534 3392 6655 0 105820 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=4916 CPUtime=209.2 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 74779 0 0 0 20910 10 0 0 20 0 2 0 29048679 508375040 105534 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 430.78 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 422136 KiB

[startup+282.3 s]
/proc/loadavg: 8.14 5.39 2.46 9/268 11534
/proc/meminfo: memFree=128746824/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=550 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246096 0 0 0 54966 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=431072 CPUtime=268.61 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109128 0 0 0 26847 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 550 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

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

# cumulated CPU time of all completed processes:  user=590.425 s, system=0.372368 s

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

[startup+294.4 s]
/proc/loadavg: 8.12 5.48 2.52 8/268 11534
/proc/meminfo: memFree=128731196/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=574.04 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246633 0 0 0 57370 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=431072 CPUtime=280.59 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109665 0 0 0 28045 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 574.04 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

[startup+297.6 s]
/proc/loadavg: 7.95 5.49 2.54 7/268 11534
/proc/meminfo: memFree=128731196/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=580.4 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246830 0 0 0 58006 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=431072 CPUtime=283.76 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109862 0 0 0 28362 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 580.4 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

[startup+300.8 s]
/proc/loadavg: 7.95 5.49 2.54 7/268 11534
/proc/meminfo: memFree=128759964/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=586.76 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246836 0 0 0 58642 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=14720 CPUtime=286.93 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109868 0 0 0 28679 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 586.76 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

[startup+301.6 s]
/proc/loadavg: 7.95 5.49 2.54 8/268 11534
/proc/meminfo: memFree=128759964/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=588.34 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246836 0 0 0 58800 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=431072 CPUtime=287.72 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109868 0 0 0 28758 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 588.34 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

[startup+302.4 s]
/proc/loadavg: 7.87 5.52 2.57 8/268 11534
/proc/meminfo: memFree=128760216/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=589.93 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) R 11471 11477 11154 0 -1 4194304 246836 0 0 0 58959 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=14720 CPUtime=288.51 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 109868 0 0 0 28837 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 589.93 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

[startup+302.8 s]
/proc/loadavg: 7.87 5.52 2.57 8/268 11534
/proc/meminfo: memFree=128760216/131250000 swapFree=33010684/33010684
[pid=11477] ppid=11471 vsize=496460 memory=431072 CPUtime=590.7 cores=4,6
/proc/11477/stat : 11477 (LSIPExact) S 11471 11477 11154 0 -1 4194304 247089 0 0 0 59036 34 0 0 20 0 2 0 29047662 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
/proc/11477/statm: 124115 107768 3392 6655 0 107665 0
[pid=11477/tid=11479] ppid=11471 vsize=496460 memory=5760 CPUtime=288.91 cores=4,6
/proc/11477/task/11479/stat : 11479 (LSIPExact) R 11471 11477 11154 0 -1 4194368 110118 0 0 0 28877 14 0 0 20 0 2 0 29048679 508375040 107768 18446744073709551615 94862469955584 94862497211985 140723625089168 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94862505714824 94862506146432 94862537408512 140723625093466 140723625093642 140723625093642 140723625099244 0
Current children cumulated CPU time: 590.7 s
Current children cumulated vsize: 496460 KiB
Current children cumulated memory: 431072 KiB

Child status: 0

Real time (s): 302.894
CPU time (s): 590.797
CPU user time (s): 590.425
CPU system time (s): 0.372368
CPU usage (%): 195.051
Max. virtual memory (cumulated for all children) (KiB): 555640
Max. memory (cumulated for all children) (KiB): 472724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 590.425
system time used= 0.372368
maximum resident set size= 472724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272847
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= 106
involuntary context switches= 20182


# summary of solver processes directly reported to runsolver:
#   pid: 11477
#   total CPU time (s): 590.797
#   total CPU user time (s): 590.425
#   total CPU system time (s): 0.372368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.657922 second user time and 1.36854 second system time

The end