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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502542-1751469893/watcher-4502542-1751469893 -o /tmp/evaluation-result-4502542-1751469893/solver-4502542-1751469893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65340 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4502542-1751469893.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=66304, runsolver pid=66301

[startup+0.100097 s]*
/proc/loadavg: 6.14 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735040/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=0.09 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 9 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+0.212913 s]*
/proc/loadavg: 6.14 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735040/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=0.21 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 21 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+0.312234 s]*
/proc/loadavg: 6.14 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735040/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=0.3 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 30 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+0.70025 s]
/proc/loadavg: 6.14 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735040/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=0.68 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 68 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+1.50025 s]
/proc/loadavg: 6.13 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735040/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=1.48 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 148 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+3.11243 s]
/proc/loadavg: 6.13 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735056/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=3.09 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 309 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+6.30025 s]
/proc/loadavg: 6.12 6.12 5.18 7/252 66305
/proc/meminfo: memFree=123735056/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=42412 memory=7936 CPUtime=6.27 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 971 0 0 0 627 0 0 0 20 0 1 0 62668484 43429888 1984 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 10603 1984 1184 6655 0 838 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42412 KiB
Current children cumulated memory: 7936 KiB

[startup+12.7002 s]
/proc/loadavg: 6.19 6.13 5.19 8/254 66307
/proc/meminfo: memFree=123562252/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=144152 memory=52548 CPUtime=15.23 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 9584 0 0 0 1521 2 0 0 20 0 2 0 62668484 147611648 13137 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 36038 13137 3456 6655 0 11824 0
[pid=66304/tid=66307] ppid=66301 vsize=144152 memory=49860 CPUtime=2.57 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 2004 0 0 0 257 0 0 0 20 0 2 0 62669485 147611648 13137 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 144152 KiB
Current children cumulated memory: 52548 KiB

[startup+25.5002 s]
/proc/loadavg: 6.47 6.20 5.22 9/254 66308
/proc/meminfo: memFree=123433472/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=159416 memory=74052 CPUtime=40.64 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 34418 0 0 0 4058 6 0 0 20 0 2 0 62668484 163241984 18513 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 39854 18513 3456 6655 0 18556 0
[pid=66304/tid=66307] ppid=66301 vsize=159416 memory=73284 CPUtime=15.23 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 7953 0 0 0 1521 2 0 0 20 0 2 0 62669485 163241984 18513 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 40.64 s
Current children cumulated vsize: 159416 KiB
Current children cumulated memory: 74052 KiB

[startup+51.1053 s]
/proc/loadavg: 7.18 6.40 5.33 9/254 66308
/proc/meminfo: memFree=123388708/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=184676 memory=102240 CPUtime=90.52 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 52306 0 0 0 9044 8 0 0 20 0 2 0 62668484 189108224 25560 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 46169 25560 3456 6655 0 27872 0
[pid=66304/tid=66307] ppid=66301 vsize=184676 memory=91360 CPUtime=39.58 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 18379 0 0 0 3955 3 0 0 20 0 2 0 62669485 189108224 25560 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 90.52 s
Current children cumulated vsize: 184676 KiB
Current children cumulated memory: 102240 KiB

[startup+102.3 s]
/proc/loadavg: 7.70 6.66 5.47 9/256 66312
/proc/meminfo: memFree=123350032/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=184676 memory=107232 CPUtime=192.22 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 74558 0 0 0 19211 11 0 0 20 0 2 0 62668484 189108224 26808 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 46169 26808 3456 6655 0 29271 0
[pid=66304/tid=66307] ppid=66301 vsize=184676 memory=107104 CPUtime=90.25 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 29517 0 0 0 9019 6 0 0 20 0 2 0 62669485 189108224 26808 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 192.22 s
Current children cumulated vsize: 184676 KiB
Current children cumulated memory: 107232 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 6.93 5.64 8/256 66314
/proc/meminfo: memFree=123251024/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=205968 memory=139744 CPUtime=310.55 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 99241 0 0 0 31039 16 0 0 20 0 2 0 62668484 210911232 34936 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 51492 34936 3456 6655 0 37285 0
[pid=66304/tid=66307] ppid=66301 vsize=205968 memory=110304 CPUtime=148.8 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) S 66301 66304 65327 0 -1 4194368 41887 0 0 0 14871 9 0 0 20 0 2 0 62669485 210911232 34936 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 310.55 s
Current children cumulated vsize: 205968 KiB
Current children cumulated memory: 139744 KiB

[startup+222.3 s]
/proc/loadavg: 8.04 7.14 5.79 9/255 66318
/proc/meminfo: memFree=123205196/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=225080 memory=160884 CPUtime=426.98 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 120326 0 0 0 42678 20 0 0 20 0 2 0 62668484 230481920 40221 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 56270 40221 3456 6655 0 42063 0
[pid=66304/tid=66307] ppid=66301 vsize=225080 memory=159732 CPUtime=205.46 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 50582 0 0 0 20535 11 0 0 20 0 2 0 62669485 230481920 40221 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 426.98 s
Current children cumulated vsize: 225080 KiB
Current children cumulated memory: 160884 KiB

[startup+282.3 s]
/proc/loadavg: 8.18 7.35 5.95 9/255 66320
/proc/meminfo: memFree=123168424/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=225080 memory=172788 CPUtime=546.14 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 146344 0 0 0 54590 24 0 0 20 0 2 0 62668484 230481920 43197 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 56270 43197 3456 6655 0 44944 0
[pid=66304/tid=66307] ppid=66301 vsize=225080 memory=14080 CPUtime=264.98 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 66052 0 0 0 26484 14 0 0 20 0 2 0 62669485 230481920 43197 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 546.14 s
Current children cumulated vsize: 225080 KiB
Current children cumulated memory: 172788 KiB

[startup+342.3 s]
/proc/loadavg: 8.10 7.48 6.09 9/255 66322
/proc/meminfo: memFree=123133712/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=292836 memory=190616 CPUtime=665.3 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 153827 0 0 0 66503 27 0 0 20 0 2 0 62668484 299864064 47654 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 73209 47654 3456 6655 0 49382 0
[pid=66304/tid=66307] ppid=66301 vsize=292836 memory=165876 CPUtime=324.44 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72455 0 0 0 32429 15 0 0 20 0 2 0 62669485 299864064 47654 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 665.3 s
Current children cumulated vsize: 292836 KiB
Current children cumulated memory: 190616 KiB

[startup+402.3 s]
/proc/loadavg: 8.37 7.67 6.24 9/253 66325
/proc/meminfo: memFree=123150928/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=297440 memory=195992 CPUtime=784.48 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 155171 0 0 0 78420 28 0 0 20 0 2 0 62668484 304578560 48998 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 74360 48998 3456 6655 0 50726 0
[pid=66304/tid=66307] ppid=66301 vsize=297440 memory=165876 CPUtime=384.12 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72648 0 0 0 38396 16 0 0 20 0 2 0 62669485 304578560 48998 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 784.48 s
Current children cumulated vsize: 297440 KiB
Current children cumulated memory: 195992 KiB

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

# cumulated CPU time of all completed processes:  user=833.865 s, system=0.339044 s

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

[startup+409.6 s]
/proc/loadavg: 8.34 7.68 6.25 9/253 66325
/proc/meminfo: memFree=123151684/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=298200 memory=196760 CPUtime=798.98 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 155360 0 0 0 79870 28 0 0 20 0 2 0 62668484 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 74550 49190 3456 6655 0 50916 0
[pid=66304/tid=66307] ppid=66301 vsize=298200 memory=4252 CPUtime=391.34 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72648 0 0 0 39118 16 0 0 20 0 2 0 62669485 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 798.98 s
Current children cumulated vsize: 298200 KiB
Current children cumulated memory: 196760 KiB

[startup+416 s]*
/proc/loadavg: 8.36 7.70 6.28 9/253 66325
/proc/meminfo: memFree=123159748/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=298200 memory=196760 CPUtime=811.69 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 156470 0 0 0 81141 28 0 0 20 0 2 0 62668484 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 74550 49190 3456 6655 0 50916 0
[pid=66304/tid=66307] ppid=66301 vsize=298200 memory=-6730460767213162854 CPUtime=397.68 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72919 0 0 0 39752 16 0 0 20 0 2 0 62669485 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 811.69 s
Current children cumulated vsize: 298200 KiB
Current children cumulated memory: 196760 KiB

[startup+422.4 s]
/proc/loadavg: 8.33 7.71 6.29 9/253 66326
/proc/meminfo: memFree=123160504/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=298200 memory=196760 CPUtime=824.4 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 156913 0 0 0 82412 28 0 0 20 0 2 0 62668484 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 74550 49190 3456 6655 0 50916 0
[pid=66304/tid=66307] ppid=66301 vsize=298200 memory=196760 CPUtime=404 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72970 0 0 0 40384 16 0 0 20 0 2 0 62669485 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 824.4 s
Current children cumulated vsize: 298200 KiB
Current children cumulated memory: 196760 KiB

[startup+425.6 s]
/proc/loadavg: 8.33 7.71 6.29 9/253 66326
/proc/meminfo: memFree=123160756/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=298200 memory=196760 CPUtime=830.76 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) R 66301 66304 65327 0 -1 4194304 157094 0 0 0 83047 29 0 0 20 0 2 0 62668484 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 74550 49190 3456 6655 0 50916 0
[pid=66304/tid=66307] ppid=66301 vsize=298200 memory=196760 CPUtime=407.17 cores=0,2
/proc/66304/task/66307/stat : 66307 (LSIPExact) R 66301 66304 65327 0 -1 4194368 72970 0 0 0 40701 16 0 0 20 0 2 0 62669485 305356800 49190 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
Current children cumulated CPU time: 830.76 s
Current children cumulated vsize: 298200 KiB
Current children cumulated memory: 196760 KiB

[startup+427.2 s]
/proc/loadavg: 8.31 7.71 6.29 8/253 66328
/proc/meminfo: memFree=123167592/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=281812 memory=192968 CPUtime=832.65 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) S 66301 66304 65327 0 -1 4194304 157354 227 0 0 83236 29 0 0 20 0 1 0 62668484 288575488 48242 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 70453 48242 3488 6655 0 46819 0
[pid=66328] ppid=66304 vsize=38380 memory=21168 CPUtime=0.44 cores=0,2
/proc/66328/stat : 66328 (Exact) R 66304 66328 66328 0 -1 4194304 3689 0 0 0 43 1 0 0 20 0 1 0 62711156 39301120 5292 18446744073709551615 4198400 8335837 140728346604576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18485248 140728346609844 140728346610205 140728346610205 140728346615759 0
/proc/66328/statm: 9595 5292 1120 1011 0 8362 0
Current children cumulated CPU time: 833.09 s
Current children cumulated vsize: 320192 KiB
Current children cumulated memory: 214136 KiB

[startup+428 s]*
/proc/loadavg: 8.31 7.71 6.29 8/253 66328
/proc/meminfo: memFree=123159732/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=281812 memory=192968 CPUtime=832.65 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) S 66301 66304 65327 0 -1 4194304 157354 227 0 0 83236 29 0 0 20 0 1 0 62668484 288575488 48242 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 70453 48242 3488 6655 0 46819 0
[pid=66328] ppid=66304 vsize=54164 memory=41356 CPUtime=1.26 cores=0,2
/proc/66328/stat : 66328 (Exact) R 66304 66328 66328 0 -1 4194304 7209 0 0 0 123 3 0 0 20 0 1 0 62711156 55463936 10339 18446744073709551615 4198400 8335837 140728346604576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18485248 140728346609844 140728346610205 140728346610205 140728346615759 0
/proc/66328/statm: 13541 10339 1120 1011 0 12308 0
Current children cumulated CPU time: 833.91 s
Current children cumulated vsize: 335976 KiB
Current children cumulated memory: 234324 KiB

[startup+428.2 s]
/proc/loadavg: 8.31 7.71 6.29 8/253 66328
/proc/meminfo: memFree=123159732/131382116 swapFree=33010160/33010684
[pid=66304] ppid=66301 vsize=281812 memory=192968 CPUtime=832.65 cores=0,2
/proc/66304/stat : 66304 (LSIPExact) S 66301 66304 65327 0 -1 4194304 157354 227 0 0 83236 29 0 0 20 0 1 0 62668484 288575488 48242 18446744073709551615 94722962337792 94722989594193 140732873795696 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94722998097032 94722998528640 94723018473472 140732873804122 140732873804298 140732873804298 140732873809900 0
/proc/66304/statm: 70453 48242 3488 6655 0 46819 0
[pid=66328] ppid=66304 vsize=54876 memory=44200 CPUtime=1.44 cores=0,2
/proc/66328/stat : 66328 (Exact) R 66304 66328 66328 0 -1 4194304 7417 0 0 0 141 3 0 0 20 0 1 0 62711156 56193024 11050 18446744073709551615 4198400 8335837 140728346604576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18485248 140728346609844 140728346610205 140728346610205 140728346615759 0
/proc/66328/statm: 13719 11050 1120 1011 0 12486 0
Current children cumulated CPU time: 834.09 s
Current children cumulated vsize: 336688 KiB
Current children cumulated memory: 237168 KiB

Child status: 0

Real time (s): 428.292
CPU time (s): 834.204
CPU user time (s): 833.865
CPU system time (s): 0.339044
CPU usage (%): 194.775
Max. virtual memory (cumulated for all children) (KiB): 336688
Max. memory (cumulated for all children) (KiB): 237168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 833.865
system time used= 0.339044
maximum resident set size= 196760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165358
page faults= 0
swaps= 0
block input operations= 240
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 595
involuntary context switches= 27395


# summary of solver processes directly reported to runsolver:
#   pid: 66304
#   total CPU time (s): 834.204
#   total CPU user time (s): 833.865
#   total CPU system time (s): 0.339044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11075 second user time and 1.95656 second system time

The end