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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519041-1751507955/watcher-4519041-1751507955 -o /tmp/evaluation-result-4519041-1751507955/solver-4519041-1751507955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69283 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4519041-1751507955.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=73620, runsolver pid=73617

[startup+0.100098 s]*
/proc/loadavg: 5.65 6.23 6.80 7/256 73621
/proc/meminfo: memFree=129390308/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=0.1 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 10 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.213575 s]*
/proc/loadavg: 5.65 6.23 6.80 6/256 73621
/proc/meminfo: memFree=129390560/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=0.21 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 21 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.313474 s]*
/proc/loadavg: 5.65 6.23 6.80 6/256 73621
/proc/meminfo: memFree=129390560/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=0.31 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 31 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+0.700302 s]
/proc/loadavg: 5.65 6.23 6.80 6/256 73621
/proc/meminfo: memFree=129390560/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=0.68 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 68 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+1.50028 s]
/proc/loadavg: 5.65 6.23 6.80 6/256 73621
/proc/meminfo: memFree=129390560/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=1.48 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 148 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+3.11302 s]
/proc/loadavg: 5.60 6.21 6.79 6/256 73621
/proc/meminfo: memFree=129378572/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=3.09 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 309 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+6.3003 s]
/proc/loadavg: 5.60 6.21 6.79 6/256 73621
/proc/meminfo: memFree=129392436/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=41960 memory=7424 CPUtime=6.27 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) R 73617 73620 69270 0 -1 4194304 844 0 0 0 627 0 0 0 20 0 1 0 66474161 42967040 1856 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 10490 1856 1184 6655 0 725 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 7424 KiB

[startup+12.7004 s]
/proc/loadavg: 5.50 6.17 6.77 6/257 73624
/proc/meminfo: memFree=129348120/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=36856 memory=19704 CPUtime=2.52 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 3418 0 0 0 250 2 0 0 20 0 1 0 66475175 37740544 4926 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 9214 4926 1152 1011 0 7981 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 162660 KiB
Current children cumulated memory: 47968 KiB

[startup+25.5004 s]
/proc/loadavg: 5.43 6.13 6.75 6/257 73624
/proc/meminfo: memFree=129352812/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=43872 memory=32728 CPUtime=15.28 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 5151 0 0 0 1520 8 0 0 20 0 1 0 66475175 44924928 8182 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 10968 8182 1152 1011 0 9735 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 169676 KiB
Current children cumulated memory: 60992 KiB

[startup+51.1133 s]
/proc/loadavg: 5.34 6.05 6.71 6/257 73624
/proc/meminfo: memFree=129322584/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=67276 memory=50836 CPUtime=40.82 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 7893 0 0 0 4062 20 0 0 20 0 1 0 66475175 68890624 12709 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 16819 12709 1152 1011 0 15586 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 193080 KiB
Current children cumulated memory: 79100 KiB

[startup+102.3 s]
/proc/loadavg: 5.23 5.90 6.62 6/256 73626
/proc/meminfo: memFree=129287876/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=74608 memory=58132 CPUtime=91.86 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 9721 0 0 0 9154 32 0 0 20 0 1 0 66475175 76398592 14533 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 18652 14533 1152 1011 0 17419 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 200412 KiB
Current children cumulated memory: 86396 KiB

[startup+162.3 s]
/proc/loadavg: 5.20 5.77 6.52 6/255 73639
/proc/meminfo: memFree=129285028/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=84360 memory=74004 CPUtime=151.68 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 12173 0 0 0 15119 49 0 0 20 0 1 0 66475175 86384640 18501 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 21090 18501 1152 1011 0 19857 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 210164 KiB
Current children cumulated memory: 102268 KiB

[startup+222.3 s]
/proc/loadavg: 5.12 5.64 6.43 6/254 73641
/proc/meminfo: memFree=129229516/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=88732 memory=78484 CPUtime=211.47 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 13299 0 0 0 21075 72 0 0 20 0 1 0 66475175 90861568 19621 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 22183 19621 1152 1011 0 20950 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 214536 KiB
Current children cumulated memory: 106748 KiB

[startup+282.3 s]
/proc/loadavg: 5.08 5.54 6.34 6/254 73644
/proc/meminfo: memFree=129228244/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=90880 memory=80660 CPUtime=271.25 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 13868 0 0 0 27035 90 0 0 20 0 1 0 66475175 93061120 20165 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 22720 20165 1152 1011 0 21487 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 216684 KiB
Current children cumulated memory: 108924 KiB

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

# cumulated CPU time of all completed processes:  user=328.397 s, system=1.126 s

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

[startup+307.2 s]
/proc/loadavg: 5.11 5.51 6.31 6/254 73646
/proc/meminfo: memFree=129218104/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=28264 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7066 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7066 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=93620 memory=83476 CPUtime=296.07 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14543 0 0 0 29506 101 0 0 20 0 1 0 66475175 95866880 20869 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23405 20869 1152 1011 0 22172 0
Current children cumulated CPU time: 306.21 s
Current children cumulated vsize: 219424 KiB
Current children cumulated memory: 111740 KiB

[startup+320 s]*
/proc/loadavg: 5.10 5.49 6.30 6/254 73646
/proc/meminfo: memFree=129214244/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=29544 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7386 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7386 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=93768 memory=83604 CPUtime=308.83 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14597 0 0 0 30777 106 0 0 20 0 1 0 66475175 96018432 20901 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23442 20901 1152 1011 0 22209 0
Current children cumulated CPU time: 318.97 s
Current children cumulated vsize: 219572 KiB
Current children cumulated memory: 113148 KiB

[startup+326.4 s]
/proc/loadavg: 5.09 5.48 6.29 6/254 73646
/proc/meminfo: memFree=129216956/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=29544 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7386 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7386 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=94080 memory=83860 CPUtime=315.2 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14673 0 0 0 31412 108 0 0 20 0 1 0 66475175 96337920 20965 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23520 20965 1152 1011 0 22287 0
Current children cumulated CPU time: 325.34 s
Current children cumulated vsize: 219884 KiB
Current children cumulated memory: 113404 KiB

[startup+328 s]*
/proc/loadavg: 5.08 5.48 6.28 6/254 73646
/proc/meminfo: memFree=129216956/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=29544 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7386 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7386 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=94216 memory=83988 CPUtime=316.81 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14693 0 0 0 31572 109 0 0 20 0 1 0 66475175 96477184 20997 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23554 20997 1152 1011 0 22321 0
Current children cumulated CPU time: 326.95 s
Current children cumulated vsize: 220020 KiB
Current children cumulated memory: 113532 KiB

[startup+329.6 s]
/proc/loadavg: 5.08 5.48 6.28 6/254 73646
/proc/meminfo: memFree=129216756/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=31592 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7898 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7898 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=94888 memory=84756 CPUtime=318.38 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14891 0 0 0 31728 110 0 0 20 0 1 0 66475175 97165312 21189 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23722 21189 1152 1011 0 22489 0
Current children cumulated CPU time: 328.52 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 116348 KiB

[startup+330 s]*
/proc/loadavg: 5.08 5.48 6.28 6/254 73646
/proc/meminfo: memFree=129212532/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=31592 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7898 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7898 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=94888 memory=84756 CPUtime=318.8 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 14892 0 0 0 31770 110 0 0 20 0 1 0 66475175 97165312 21189 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23722 21189 1152 1011 0 22489 0
Current children cumulated CPU time: 328.94 s
Current children cumulated vsize: 220692 KiB
Current children cumulated memory: 116348 KiB

[startup+330.4 s]
/proc/loadavg: 5.08 5.48 6.28 6/254 73646
/proc/meminfo: memFree=129212532/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=31592 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7898 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7898 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=95532 memory=85268 CPUtime=319.18 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 15028 0 0 0 31808 110 0 0 20 0 1 0 66475175 97824768 21317 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23883 21317 1152 1011 0 22650 0
Current children cumulated CPU time: 329.32 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 116860 KiB

[startup+330.5 s]
/proc/loadavg: 5.08 5.48 6.28 6/254 73646
/proc/meminfo: memFree=129212532/131382120 swapFree=33010416/33010684
[pid=73620] ppid=73617 vsize=125804 memory=31592 CPUtime=10.14 cores=5,7
/proc/73620/stat : 73620 (LSIPExact) S 73617 73620 69270 0 -1 4194304 3992 229 0 0 1013 1 0 0 20 0 1 0 66474161 128823296 7898 18446744073709551615 94562706997248 94562734253649 140737466017056 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94562742756488 94562743188096 94562775625728 140737466026330 140737466026506 140737466026506 140737466032108 0
/proc/73620/statm: 31451 7898 3456 6655 0 6100 0
[pid=73624] ppid=73620 vsize=95532 memory=85268 CPUtime=319.28 cores=5,7
/proc/73624/stat : 73624 (Exact) R 73620 73624 73624 0 -1 4194304 15028 0 0 0 31818 110 0 0 20 0 1 0 66475175 97824768 21317 18446744073709551615 4198400 8335837 140732743713616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 21348352 140732743714996 140732743715357 140732743715357 140732743720911 0
/proc/73624/statm: 23883 21317 1152 1011 0 22650 0
Current children cumulated CPU time: 329.42 s
Current children cumulated vsize: 221336 KiB
Current children cumulated memory: 116860 KiB

Child status: 0

Real time (s): 330.578
CPU time (s): 329.523
CPU user time (s): 328.397
CPU system time (s): 1.126
CPU usage (%): 99.6806
Max. virtual memory (cumulated for all children) (KiB): 221336
Max. memory (cumulated for all children) (KiB): 116860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 328.397
system time used= 1.126
maximum resident set size= 85268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19252
page faults= 0
swaps= 0
block input operations= 160
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 441
involuntary context switches= 364


# summary of solver processes directly reported to runsolver:
#   pid: 73620
#   total CPU time (s): 329.523
#   total CPU user time (s): 328.397
#   total CPU system time (s): 1.126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77267 second user time and 3.47229 second system time

The end