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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518619-1751519871/watcher-4518619-1751519871 -o /tmp/evaluation-result-4518619-1751519871/solver-4518619-1751519871 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751514481-75915 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518619-1751519871.opb 

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=78348, runsolver pid=78345

[startup+0.1001 s]*
/proc/loadavg: 4.22 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115155140/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=61508 memory=25400 CPUtime=0.09 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 3451 0 0 0 7 2 0 0 20 0 1 0 67666871 62984192 6350 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 15377 6350 3264 2271 0 10015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61508 KiB
Current children cumulated memory: 25400 KiB

[startup+0.212912 s]*
/proc/loadavg: 4.22 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115155140/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=69172 memory=29916 CPUtime=0.21 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 4641 0 0 0 18 3 0 0 20 0 1 0 67666871 70832128 7479 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 17293 7479 3328 2271 0 11931 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69172 KiB
Current children cumulated memory: 29916 KiB

[startup+0.312616 s]*
/proc/loadavg: 4.22 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115155140/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=73448 memory=34144 CPUtime=0.3 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 6506 0 0 0 27 3 0 0 20 0 1 0 67666871 75210752 8536 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 18362 8536 3360 2271 0 13000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73448 KiB
Current children cumulated memory: 34144 KiB

[startup+0.700252 s]
/proc/loadavg: 4.22 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115155140/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=77228 memory=37984 CPUtime=0.68 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 7475 0 0 0 64 4 0 0 20 0 1 0 67666871 79081472 9496 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 19307 9496 3360 2271 0 13945 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77228 KiB
Current children cumulated memory: 37984 KiB

[startup+1.50027 s]
/proc/loadavg: 4.22 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115155140/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=90584 memory=51296 CPUtime=1.47 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 10815 0 0 0 143 4 0 0 20 0 1 0 67666871 92758016 12824 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 22646 12824 3360 2271 0 17284 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 90584 KiB
Current children cumulated memory: 51296 KiB

[startup+3.11251 s]
/proc/loadavg: 4.20 4.14 4.10 5/250 78349
/proc/meminfo: memFree=115179080/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=97796 memory=58676 CPUtime=3.09 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 13644 0 0 0 304 5 0 0 20 0 1 0 67666871 100143104 14669 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 24449 14669 3360 2271 0 19087 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 97796 KiB
Current children cumulated memory: 58676 KiB

[startup+6.30032 s]
/proc/loadavg: 4.20 4.14 4.10 5/250 78350
/proc/meminfo: memFree=115218808/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=140512 memory=100692 CPUtime=6.26 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 24645 0 0 0 620 6 0 0 20 0 1 0 67666871 143884288 25173 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 35128 25173 3360 2271 0 29766 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 140512 KiB
Current children cumulated memory: 100692 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.10 5/250 78350
/proc/meminfo: memFree=115295704/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=147828 memory=108116 CPUtime=12.63 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 26507 0 0 0 1257 6 0 0 20 0 1 0 67666871 151375872 27029 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 36957 27029 3360 2271 0 31595 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 147828 KiB
Current children cumulated memory: 108116 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.15 4.10 5/250 78350
/proc/meminfo: memFree=115456724/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=164848 memory=125304 CPUtime=25.38 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 31920 0 0 0 2531 7 0 0 20 0 1 0 67666871 168804352 31326 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 41212 31326 3360 2271 0 35850 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 164848 KiB
Current children cumulated memory: 125304 KiB

[startup+51.1127 s]
/proc/loadavg: 4.14 4.13 4.10 5/250 78350
/proc/meminfo: memFree=115779332/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=183804 memory=144676 CPUtime=50.91 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 40430 0 0 0 5082 9 0 0 20 0 1 0 67666871 188215296 36169 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 45951 36169 3360 2271 0 40589 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 183804 KiB
Current children cumulated memory: 144676 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 78357
/proc/meminfo: memFree=115815168/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=230376 memory=189960 CPUtime=101.91 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 54233 0 0 0 10179 12 0 0 20 0 1 0 67666871 235905024 47490 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 57594 47490 3360 2271 0 52232 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 230376 KiB
Current children cumulated memory: 189960 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/251 78359
/proc/meminfo: memFree=115745504/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=284104 memory=244524 CPUtime=161.69 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 67870 0 0 0 16155 14 0 0 20 0 1 0 67666871 290922496 61131 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 71026 61131 3360 2271 0 65664 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 244524 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/251 78361
/proc/meminfo: memFree=115683468/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=337612 memory=294744 CPUtime=221.48 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 81159 0 0 0 22132 16 0 0 20 0 1 0 67666871 345714688 73686 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 84403 73686 3360 2271 0 79041 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 337612 KiB
Current children cumulated memory: 294744 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/251 78363
/proc/meminfo: memFree=115622928/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=396540 memory=354328 CPUtime=281.27 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 94948 0 0 0 28108 19 0 0 20 0 1 0 67666871 406056960 88582 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 99135 88582 3360 2271 0 93773 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 396540 KiB
Current children cumulated memory: 354328 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 78365
/proc/meminfo: memFree=115528948/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=452384 memory=411280 CPUtime=341.05 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 109989 0 0 0 34083 22 0 0 20 0 1 0 67666871 463241216 102820 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 113096 102820 3360 2271 0 107734 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 452384 KiB
Current children cumulated memory: 411280 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 78369
/proc/meminfo: memFree=115476216/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=497660 memory=457448 CPUtime=400.84 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 121992 0 0 0 40059 25 0 0 20 0 1 0 67666871 509603840 114362 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 124415 114362 3360 2271 0 119053 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 497660 KiB
Current children cumulated memory: 457448 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/249 78371
/proc/meminfo: memFree=115443256/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=552016 memory=512544 CPUtime=460.62 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 136578 0 0 0 46035 27 0 0 20 0 1 0 67666871 565264384 128136 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 138004 128136 3360 2271 0 132642 0

################
# More data... #
################

/proc/loadavg: 4.69 4.27 4.15 5/250 78384
/proc/meminfo: memFree=115217440/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=776320 memory=734316 CPUtime=699.75 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 188790 0 0 0 69938 37 0 0 20 0 1 0 67666871 794951680 183579 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 194080 183579 3360 2271 0 188718 0
Current children cumulated CPU time: 699.75 s
Current children cumulated vsize: 776320 KiB
Current children cumulated memory: 734316 KiB

[startup+762.3 s]
/proc/loadavg: 4.45 4.29 4.16 6/250 78386
/proc/meminfo: memFree=115162628/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=826892 memory=785164 CPUtime=759.53 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 201903 0 0 0 75913 40 0 0 20 0 1 0 67666871 846737408 196291 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 206723 196291 3360 2271 0 201361 0
Current children cumulated CPU time: 759.53 s
Current children cumulated vsize: 826892 KiB
Current children cumulated memory: 785164 KiB

[startup+822.3 s]
/proc/loadavg: 4.22 4.25 4.16 5/250 78389
/proc/meminfo: memFree=115109236/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=877132 memory=835652 CPUtime=819.32 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 214811 0 0 0 81890 42 0 0 20 0 1 0 67666871 898183168 208913 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 219283 208913 3360 2271 0 213921 0
Current children cumulated CPU time: 819.32 s
Current children cumulated vsize: 877132 KiB
Current children cumulated memory: 835652 KiB

[startup+882.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/250 78391
/proc/meminfo: memFree=115061028/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=927152 memory=886100 CPUtime=879.11 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 227788 0 0 0 87867 44 0 0 20 0 1 0 67666871 949403648 221525 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 231788 221525 3360 2271 0 226426 0
Current children cumulated CPU time: 879.11 s
Current children cumulated vsize: 927152 KiB
Current children cumulated memory: 886100 KiB

[startup+942.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/250 78393
/proc/meminfo: memFree=115002972/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=977680 memory=937764 CPUtime=938.91 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 241090 0 0 0 93844 47 0 0 20 0 1 0 67666871 1001144320 234441 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 244420 234441 3360 2271 0 239058 0
Current children cumulated CPU time: 938.91 s
Current children cumulated vsize: 977680 KiB
Current children cumulated memory: 937764 KiB

[startup+1002.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/250 78398
/proc/meminfo: memFree=115319632/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=640124 memory=607500 CPUtime=998.71 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253681 0 0 0 99782 89 0 0 20 0 1 0 67666871 655486976 151875 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 160031 151875 3360 2271 0 154669 0
Current children cumulated CPU time: 998.71 s
Current children cumulated vsize: 640124 KiB
Current children cumulated memory: 607500 KiB

[startup+1062.3 s]
/proc/loadavg: 4.06 4.15 4.13 5/250 78445
/proc/meminfo: memFree=115558960/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=640124 memory=616884 CPUtime=1058.55 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253888 0 0 0 103885 1970 0 0 20 0 1 0 67666871 655486976 154221 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 160031 154221 3392 2271 0 154669 0
Current children cumulated CPU time: 1058.55 s
Current children cumulated vsize: 640124 KiB
Current children cumulated memory: 616884 KiB

[startup+1088.74 s]
# the end of solver process 78348 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1064.95 s, system=19.9575 s

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

[startup+1075.2 s]
/proc/loadavg: 4.05 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115549860/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1071.4 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 105158 1982 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1071.4 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1081.6 s]
/proc/loadavg: 4.05 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115546584/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1077.78 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 105790 1988 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1077.78 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1084.8 s]
/proc/loadavg: 4.05 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115534864/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1080.98 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106108 1990 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1080.98 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1086.4 s]
/proc/loadavg: 4.05 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115535116/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1082.57 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106265 1992 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1082.57 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1088 s]*
/proc/loadavg: 4.04 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115535116/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1084.18 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106424 1994 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1084.18 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1088.4 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115535116/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1084.56 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106462 1994 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1084.56 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1088.6 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115535116/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1084.76 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106481 1995 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1084.76 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

[startup+1088.7 s]
/proc/loadavg: 4.04 4.14 4.13 5/250 78445
/proc/meminfo: memFree=115535116/131382112 swapFree=33010160/33010684
[pid=78348] ppid=78345 vsize=622868 memory=607820 CPUtime=1084.86 cores=1,3
/proc/78348/stat : 78348 (ExactPR-S) R 78345 78348 75903 0 -1 4194304 253892 0 0 0 106491 1995 0 0 20 0 1 0 67666871 637816832 151955 18446744073709551615 94099654131712 94099663431749 140731657167776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94099665217856 94099665256936 94099700539392 140731657169281 140731657169418 140731657169418 140731657175020 0
/proc/78348/statm: 155717 151955 3392 2271 0 150355 0
Current children cumulated CPU time: 1084.86 s
Current children cumulated vsize: 622868 KiB
Current children cumulated memory: 607820 KiB

Child status: 30

Real time (s): 1088.74
CPU time (s): 1084.91
CPU user time (s): 1064.95
CPU system time (s): 19.9575
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 1025472
Max. memory (cumulated for all children) (KiB): 986104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1064.95
system time used= 19.9575
maximum resident set size= 986104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253909
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= 208
involuntary context switches= 1381


# summary of solver processes directly reported to runsolver:
#   pid: 78348
#   total CPU time (s): 1084.91
#   total CPU user time (s): 1064.95
#   total CPU system time (s): 19.9575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5376 second user time and 9.50348 second system time

The end