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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526557-1751636373/watcher-4526557-1751636373 -o /tmp/evaluation-result-4526557-1751636373/solver-4526557-1751636373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751636370-92018 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 269374882 HOME/instance-4526557-1751636373.wbo 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92123, runsolver pid=92120

[startup+0.100062 s]*
/proc/loadavg: 1.40 1.66 2.48 7/269 92125
/proc/meminfo: memFree=127061040/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=123664 memory=54896 CPUtime=0.15 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 10646 0 0 0 13 2 0 0 20 0 2 0 79314869 126631936 13724 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 30916 13724 608 633 0 15277 0
[pid=92123/tid=92125] ppid=92120 vsize=123664 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 1535 0 0 0 5 0 0 0 20 0 2 0 79314869 126631936 13724 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 123664 KiB
Current children cumulated memory: 54896 KiB

[startup+0.205675 s]*
/proc/loadavg: 1.40 1.66 2.48 5/269 92125
/proc/meminfo: memFree=126852544/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=131260 memory=63728 CPUtime=0.25 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 12766 0 0 0 23 2 0 0 20 0 2 0 79314869 134410240 15932 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 32815 15932 672 633 0 17370 0
[pid=92123/tid=92125] ppid=92120 vsize=131260 memory=664958721904869660 CPUtime=0.06 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) S 92120 92123 92007 0 -1 4194368 1728 0 0 0 6 0 0 0 20 0 2 0 79314869 134410240 15932 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 131260 KiB
Current children cumulated memory: 63728 KiB

[startup+0.305525 s]*
/proc/loadavg: 1.40 1.66 2.48 5/269 92125
/proc/meminfo: memFree=126633276/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=150384 memory=82672 CPUtime=0.36 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 17505 0 0 0 33 3 0 0 20 0 2 0 79314869 153993216 20668 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 37596 20668 672 633 0 22151 0
[pid=92123/tid=92125] ppid=92120 vsize=150384 memory=7969544507184921451 CPUtime=0.06 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) S 92120 92123 92007 0 -1 4194368 1728 0 0 0 6 0 0 0 20 0 2 0 79314869 153993216 20668 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 150384 KiB
Current children cumulated memory: 82672 KiB

[startup+0.700203 s]
/proc/loadavg: 1.40 1.66 2.48 6/269 92125
/proc/meminfo: memFree=126145724/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=206916 memory=139248 CPUtime=0.84 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 31651 0 0 0 78 6 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 51729 34812 672 633 0 36284 0
[pid=92123/tid=92125] ppid=92120 vsize=206916 memory=18816 CPUtime=0.2 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 1728 0 0 0 20 0 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 139248 KiB

[startup+1.50019 s]
/proc/loadavg: 1.40 1.66 2.48 8/269 92125
/proc/meminfo: memFree=125911704/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=206916 memory=139248 CPUtime=2 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 47542 0 0 0 194 6 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 51729 34812 672 633 0 36284 0
[pid=92123/tid=92125] ppid=92120 vsize=206916 memory=18816 CPUtime=0.74 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 3073 0 0 0 74 0 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 139248 KiB

[startup+3.10577 s]
/proc/loadavg: 1.40 1.66 2.48 6/269 92126
/proc/meminfo: memFree=125475860/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=206916 memory=139248 CPUtime=4.35 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) S 92120 92123 92007 0 -1 4194304 47599 0 0 0 429 6 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 51729 34812 672 633 0 36284 0
[pid=92123/tid=92125] ppid=92120 vsize=206916 memory=139248 CPUtime=1.82 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 3073 0 0 0 182 0 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 139248 KiB

[startup+6.3002 s]
/proc/loadavg: 1.69 1.71 2.50 7/269 92126
/proc/meminfo: memFree=125260712/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=206916 memory=139248 CPUtime=8.97 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 63327 0 0 0 889 8 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 51729 34812 672 633 0 36284 0
[pid=92123/tid=92125] ppid=92120 vsize=206916 memory=18816 CPUtime=3.81 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 3897 0 0 0 381 0 0 0 20 0 2 0 79314869 211881984 34812 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 206916 KiB
Current children cumulated memory: 139248 KiB

[startup+12.7002 s]
/proc/loadavg: 1.95 1.77 2.51 5/269 92126
/proc/meminfo: memFree=124463784/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=214168 memory=146416 CPUtime=17.59 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 100970 0 0 0 1749 10 0 0 20 0 2 0 79314869 219308032 36604 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53542 36604 672 633 0 38097 0
[pid=92123/tid=92125] ppid=92120 vsize=214168 memory=146416 CPUtime=6.58 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) S 92120 92123 92007 0 -1 4194368 5038 0 0 0 657 1 0 0 20 0 2 0 79314869 219308032 36604 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 17.59 s
Current children cumulated vsize: 214168 KiB
Current children cumulated memory: 146416 KiB

[startup+25.5003 s]
/proc/loadavg: 2.62 1.93 2.55 7/269 92126
/proc/meminfo: memFree=122556948/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=214976 memory=147312 CPUtime=38.45 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 120640 0 0 0 3830 15 0 0 20 0 2 0 79314869 220135424 36828 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53744 36828 672 633 0 38299 0
[pid=92123/tid=92125] ppid=92120 vsize=214976 memory=147056 CPUtime=14.71 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 7352 0 0 0 1470 1 0 0 20 0 2 0 79314869 220135424 36828 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 38.45 s
Current children cumulated vsize: 214976 KiB
Current children cumulated memory: 147312 KiB

[startup+51.1057 s]
/proc/loadavg: 3.57 2.21 2.63 5/269 92126
/proc/meminfo: memFree=122375232/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215112 memory=147312 CPUtime=77.31 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 164741 0 0 0 7711 20 0 0 20 0 2 0 79314869 220274688 36828 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53778 36828 672 633 0 38333 0
[pid=92123/tid=92125] ppid=92120 vsize=215112 memory=18816 CPUtime=28.15 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) S 92120 92123 92007 0 -1 4194368 10293 0 0 0 2812 3 0 0 20 0 2 0 79314869 220274688 36828 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 77.31 s
Current children cumulated vsize: 215112 KiB
Current children cumulated memory: 147312 KiB

[startup+102.3 s]
/proc/loadavg: 4.48 2.67 2.77 6/268 92132
/proc/meminfo: memFree=122051300/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215244 memory=147568 CPUtime=148.5 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 251612 0 0 0 14820 30 0 0 20 0 2 0 79314869 220409856 36892 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53811 36892 672 633 0 38366 0
[pid=92123/tid=92125] ppid=92120 vsize=215244 memory=18816 CPUtime=48.43 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12584 0 0 0 4839 4 0 0 20 0 2 0 79314869 220409856 36892 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 148.5 s
Current children cumulated vsize: 215244 KiB
Current children cumulated memory: 147568 KiB

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

# cumulated CPU time of all completed processes:  user=162.419 s, system=0.323716 s

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

[startup+102.4 s]
/proc/loadavg: 4.48 2.67 2.77 6/268 92132
/proc/meminfo: memFree=122051300/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215244 memory=147568 CPUtime=148.7 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 251624 0 0 0 14840 30 0 0 20 0 2 0 79314869 220409856 36892 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53811 36892 672 633 0 38366 0
[pid=92123/tid=92125] ppid=92120 vsize=215244 memory=147056 CPUtime=48.53 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12588 0 0 0 4849 4 0 0 20 0 2 0 79314869 220409856 36892 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 148.7 s
Current children cumulated vsize: 215244 KiB
Current children cumulated memory: 147568 KiB

[startup+105.6 s]
/proc/loadavg: 4.48 2.67 2.77 6/268 92132
/proc/meminfo: memFree=122051552/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215376 memory=147696 CPUtime=153.67 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 252561 0 0 0 15336 31 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53844 36924 672 633 0 38399 0
[pid=92123/tid=92125] ppid=92120 vsize=215376 memory=147568 CPUtime=50.31 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12668 0 0 0 5026 5 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 153.67 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 147696 KiB

[startup+108.8 s]
/proc/loadavg: 4.52 2.71 2.78 6/268 92132
/proc/meminfo: memFree=122051804/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215376 memory=147696 CPUtime=159.43 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 252650 0 0 0 15912 31 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53844 36924 672 633 0 38399 0
[pid=92123/tid=92125] ppid=92120 vsize=215376 memory=7969544507184921451 CPUtime=52.89 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12684 0 0 0 5284 5 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 159.43 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 147696 KiB

[startup+109.6 s]
/proc/loadavg: 4.52 2.71 2.78 8/268 92132
/proc/meminfo: memFree=122051804/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215376 memory=147696 CPUtime=160.78 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 252670 0 0 0 16047 31 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53844 36924 672 633 0 38399 0
[pid=92123/tid=92125] ppid=92120 vsize=215376 memory=18816 CPUtime=53.45 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12687 0 0 0 5340 5 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 160.78 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 147696 KiB

[startup+110.4 s]
/proc/loadavg: 4.52 2.71 2.78 7/268 92132
/proc/meminfo: memFree=122051804/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215376 memory=147696 CPUtime=162.25 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 252671 0 0 0 16194 31 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53844 36924 672 633 0 38399 0
[pid=92123/tid=92125] ppid=92120 vsize=215376 memory=147696 CPUtime=54.13 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) R 92120 92123 92007 0 -1 4194368 12687 0 0 0 5408 5 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 147696 KiB

[startup+110.6 s]
/proc/loadavg: 4.52 2.71 2.78 7/268 92132
/proc/meminfo: memFree=122051804/131249988 swapFree=33010160/33010684
[pid=92123] ppid=92120 vsize=215376 memory=147696 CPUtime=162.65 cores=4,6
/proc/92123/stat : 92123 (pb_competition_) R 92120 92123 92007 0 -1 4194304 252671 0 0 0 16234 31 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
/proc/92123/statm: 53844 36924 672 633 0 38399 0
[pid=92123/tid=92125] ppid=92120 vsize=215376 memory=7969544507184921451 CPUtime=54.32 cores=4,6
/proc/92123/task/92125/stat : 92125 (pb_competition_) S 92120 92123 92007 0 -1 4194368 12687 0 0 0 5427 5 0 0 20 0 2 0 79314869 220545024 36924 18446744073709551615 4198400 6788177 140731812242864 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 12136448 140731812251992 140731812252118 140731812252118 140731812257722 0
Current children cumulated CPU time: 162.65 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 147696 KiB

Child status: 0

Real time (s): 110.687
CPU time (s): 162.742
CPU user time (s): 162.419
CPU system time (s): 0.323716
CPU usage (%): 147.03
Max. virtual memory (cumulated for all children) (KiB): 215376
Max. memory (cumulated for all children) (KiB): 147696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.419
system time used= 0.323716
maximum resident set size= 147696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259497
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= 3948
involuntary context switches= 1839


# summary of solver processes directly reported to runsolver:
#   pid: 92123
#   total CPU time (s): 162.742
#   total CPU user time (s): 162.419
#   total CPU system time (s): 0.323716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.231879 second user time and 0.549067 second system time

The end