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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502393-1751421908/watcher-4502393-1751421908 -o /tmp/evaluation-result-4502393-1751421908/solver-4502393-1751421908 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751421908-61398 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502393-1751421908.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61453, runsolver pid=61438

[startup+0.100057 s]*
/proc/loadavg: 1.38 3.30 3.80 6/265 61455
/proc/meminfo: memFree=129525416/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=56308 memory=15836 CPUtime=0.07 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 2897 0 0 0 7 0 0 0 20 0 1 0 57868285 57659392 3959 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 14077 3959 1856 2271 0 8715 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 56308 KiB
Current children cumulated memory: 15836 KiB

[startup+0.205873 s]*
/proc/loadavg: 1.38 3.30 3.80 6/265 61455
/proc/meminfo: memFree=129481252/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=56956 memory=16348 CPUtime=0.18 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 3048 0 0 0 17 1 0 0 20 0 1 0 57868285 58322944 4087 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 14239 4087 1856 2271 0 8877 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 56956 KiB
Current children cumulated memory: 16348 KiB

[startup+0.305709 s]*
/proc/loadavg: 1.38 3.30 3.80 6/265 61455
/proc/meminfo: memFree=129425620/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=0.28 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5204 0 0 0 26 2 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+0.700136 s]
/proc/loadavg: 1.38 3.30 3.80 6/265 61455
/proc/meminfo: memFree=129357008/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=0.67 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 63 4 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+1.50013 s]
/proc/loadavg: 1.38 3.30 3.80 6/265 61455
/proc/meminfo: memFree=129073272/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=1.46 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 139 7 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+3.10562 s]
/proc/loadavg: 1.59 3.31 3.80 6/265 61455
/proc/meminfo: memFree=128494932/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=3.07 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 293 14 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+6.30011 s]
/proc/loadavg: 1.59 3.31 3.80 6/265 61455
/proc/meminfo: memFree=128374076/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=6.25 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 596 29 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+12.7001 s]
/proc/loadavg: 1.78 3.32 3.80 6/265 61455
/proc/meminfo: memFree=128188652/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=12.63 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 1204 59 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+25.5001 s]
/proc/loadavg: 2.27 3.35 3.81 6/265 61455
/proc/meminfo: memFree=128222104/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=25.41 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 2419 122 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+51.1056 s]
/proc/loadavg: 2.92 3.42 3.82 6/265 61456
/proc/meminfo: memFree=128221932/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=65668 memory=25180 CPUtime=50.94 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 5205 0 0 0 4844 250 0 0 20 0 1 0 57868285 67244032 6295 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 16417 6295 1888 2271 0 11055 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 25180 KiB

[startup+102.3 s]
/proc/loadavg: 3.14 3.41 3.80 5/260 61494
/proc/meminfo: memFree=128314000/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=84028 memory=57716 CPUtime=101.97 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 11574 0 0 0 9886 311 0 0 20 0 1 0 57868285 86044672 14429 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 21007 14429 1920 2271 0 15645 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 57716 KiB

[startup+162.3 s]
/proc/loadavg: 3.09 3.35 3.75 5/259 61496
/proc/meminfo: memFree=127852336/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=87852 memory=61632 CPUtime=161.76 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 14968 0 0 0 15851 325 0 0 20 0 1 0 57868285 89960448 15408 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 21963 15408 1920 2271 0 16601 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 87852 KiB
Current children cumulated memory: 61632 KiB

[startup+222.3 s]
/proc/loadavg: 3.06 3.30 3.70 5/259 61501
/proc/meminfo: memFree=127772380/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=104004 memory=73484 CPUtime=221.55 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 17173 0 0 0 21820 335 0 0 20 0 1 0 57868285 106500096 18371 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 26001 18371 1920 2271 0 20639 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 104004 KiB
Current children cumulated memory: 73484 KiB

[startup+282.3 s]
/proc/loadavg: 3.33 3.34 3.69 5/257 61503
/proc/meminfo: memFree=127717752/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=106456 memory=75660 CPUtime=281.33 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 17737 0 0 0 27788 345 0 0 20 0 1 0 57868285 109010944 18915 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 26614 18915 1920 2271 0 21252 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 75660 KiB

[startup+342.3 s]
/proc/loadavg: 3.23 3.30 3.66 5/257 61506
/proc/meminfo: memFree=127702340/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=107304 memory=76812 CPUtime=341.11 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 18020 0 0 0 33755 356 0 0 20 0 1 0 57868285 109879296 19203 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 26826 19203 1920 2271 0 21464 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 107304 KiB
Current children cumulated memory: 76812 KiB

[startup+402.3 s]
/proc/loadavg: 3.66 3.44 3.68 5/257 61508
/proc/meminfo: memFree=127652100/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=108076 memory=77708 CPUtime=400.89 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 18242 0 0 0 39722 367 0 0 20 0 1 0 57868285 110669824 19427 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 27019 19427 1920 2271 0 21657 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 108076 KiB
Current children cumulated memory: 77708 KiB

[startup+462.3 s]
/proc/loadavg: 3.32 3.37 3.64 5/257 61510
/proc/meminfo: memFree=127644344/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=108504 memory=78220 CPUtime=460.68 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 18362 0 0 0 45691 377 0 0 20 0 1 0 57868285 111108096 19555 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 27126 19555 1920 2271 0 21764 0
Current children cumulated CPU time: 460.68 s

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

Current children cumulated memory: 105272 KiB

[startup+2862.3 s]
/proc/loadavg: 3.10 3.11 3.12 5/257 61626
/proc/meminfo: memFree=127112924/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=129804 memory=105272 CPUtime=2853.52 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23558 0 0 0 284565 787 0 0 20 0 1 0 57868285 132919296 26318 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32451 26318 1920 2271 0 27089 0
Current children cumulated CPU time: 2853.52 s
Current children cumulated vsize: 129804 KiB
Current children cumulated memory: 105272 KiB

[startup+2922.3 s]
/proc/loadavg: 3.14 3.12 3.12 5/257 61633
/proc/meminfo: memFree=127103472/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=130396 memory=105912 CPUtime=2913.34 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23710 0 0 0 290533 801 0 0 20 0 1 0 57868285 133525504 26478 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32599 26478 1920 2271 0 27237 0
Current children cumulated CPU time: 2913.34 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 105912 KiB

[startup+2982.3 s]
/proc/loadavg: 3.11 3.11 3.11 5/257 61635
/proc/meminfo: memFree=127103700/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=130396 memory=106040 CPUtime=2973.16 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23735 0 0 0 296507 809 0 0 20 0 1 0 57868285 133525504 26510 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32599 26510 1920 2271 0 27237 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 106040 KiB

[startup+3042.3 s]
/proc/loadavg: 3.16 3.12 3.11 5/257 61637
/proc/meminfo: memFree=127103964/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=130544 memory=106168 CPUtime=3032.97 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23759 0 0 0 302479 818 0 0 20 0 1 0 57868285 133677056 26542 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32636 26542 1920 2271 0 27274 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 130544 KiB
Current children cumulated memory: 106168 KiB

[startup+3102.3 s]
/proc/loadavg: 3.12 3.11 3.10 5/257 61639
/proc/meminfo: memFree=127095720/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=130844 memory=106424 CPUtime=3092.78 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23845 0 0 0 308453 825 0 0 20 0 1 0 57868285 133984256 26606 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32711 26606 1920 2271 0 27349 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 130844 KiB
Current children cumulated memory: 106424 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.11 3.10 5/257 61641
/proc/meminfo: memFree=127099676/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=130844 memory=107192 CPUtime=3152.64 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23875 0 0 0 314428 836 0 0 20 0 1 0 57868285 133984256 26798 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32711 26798 1920 2271 0 27349 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 130844 KiB
Current children cumulated memory: 107192 KiB

[startup+3222.3 s]
/proc/loadavg: 3.15 3.12 3.10 5/256 61645
/proc/meminfo: memFree=127099660/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=131168 memory=107576 CPUtime=3212.49 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 23965 0 0 0 320406 843 0 0 20 0 1 0 57868285 134316032 26894 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 32792 26894 1920 2271 0 27430 0
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 131168 KiB
Current children cumulated memory: 107576 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.11 3.09 5/257 61648
/proc/meminfo: memFree=127078712/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155016 memory=112264 CPUtime=3272.35 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24529 0 0 0 326381 854 0 0 20 0 1 0 57868285 158736384 28066 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38754 28066 1920 2271 0 33392 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 155016 KiB
Current children cumulated memory: 112264 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.10 3.09 5/257 61649
/proc/meminfo: memFree=127079276/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155016 memory=112392 CPUtime=3332.2 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24563 0 0 0 332360 860 0 0 20 0 1 0 57868285 158736384 28098 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38754 28098 1920 2271 0 33392 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 155016 KiB
Current children cumulated memory: 112392 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.11 3.09 5/257 61662
/proc/meminfo: memFree=127079380/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155208 memory=112520 CPUtime=3392.06 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24571 0 0 0 338338 868 0 0 20 0 1 0 57868285 158932992 28130 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38802 28130 1920 2271 0 33440 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 155208 KiB
Current children cumulated memory: 112520 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.11 3.09 5/257 61664
/proc/meminfo: memFree=127079224/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155496 memory=112904 CPUtime=3451.91 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24662 0 0 0 344315 876 0 0 20 0 1 0 57868285 159227904 28226 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38874 28226 1920 2271 0 33512 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 155496 KiB
Current children cumulated memory: 112904 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.12 3.09 5/258 61671
/proc/meminfo: memFree=127078936/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155692 memory=112904 CPUtime=3511.76 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24688 0 0 0 350288 888 0 0 20 0 1 0 57868285 159428608 28226 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38923 28226 1920 2271 0 33561 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 155692 KiB
Current children cumulated memory: 112904 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.11 3.09 5/258 61674
/proc/meminfo: memFree=127078980/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155908 memory=113160 CPUtime=3571.62 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24753 0 0 0 356263 899 0 0 20 0 1 0 57868285 159649792 28290 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38977 28290 1920 2271 0 33615 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 155908 KiB
Current children cumulated memory: 113160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.14 3.11 3.09 4/254 61684
/proc/meminfo: memFree=128834776/131249996 swapFree=33006296/33010684
[pid=61453] ppid=61438 vsize=155908 memory=113160 CPUtime=3600.05 cores=1,3
/proc/61453/stat : 61453 (ExactPR) R 61438 61453 60915 0 -1 4194304 24753 0 0 0 359100 905 0 0 20 0 1 0 57868285 159649792 28290 18446744073709551615 94665196728320 94665206028165 140720743689280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94665207814464 94665207853544 94665231982592 140720743696773 140720743696908 140720743696908 140720743702510 0
/proc/61453/statm: 38977 28290 1920 2271 0 33615 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 155908 KiB
Current children cumulated memory: 113160 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.81 s]
# the end of solver process 61453 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3591.02 s, system=9.05186 s

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

Child status: 10

Real time (s): 3610.81
CPU time (s): 3600.07
CPU user time (s): 3591.02
CPU system time (s): 9.05186
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 155908
Max. memory (cumulated for all children) (KiB): 113160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.05186
maximum resident set size= 142332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24766
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= 224
involuntary context switches= 5453


# summary of solver processes directly reported to runsolver:
#   pid: 61453
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.02
#   total CPU system time (s): 9.05186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88557 second user time and 16.2042 second system time

The end