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: 64096 MiB (42884 MiB free)
  memory of node 1: 64473 MiB (39467 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461262-1722077158/watcher-4461262-1722077158 -o /tmp/evaluation-result-4461262-1722077158/solver-4461262-1722077158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327058 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461262-1722077158.wbo 

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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=327909, runsolver pid=327906

[startup+0.100525 s]*
/proc/loadavg: 4.17 3.98 3.56 5/247 327914
/proc/meminfo: memFree=84322568/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=11096 memory=4724 CPUtime=0.1 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 869 0 0 0 10 0 0 0 20 0 1 0 43704605 11362304 1181 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 2774 1181 436 659 0 1978 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21028 KiB
Current children cumulated memory: 7532 KiB

[startup+0.213338 s]*
/proc/loadavg: 4.17 3.98 3.56 5/247 327914
/proc/meminfo: memFree=84310040/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=14500 memory=8304 CPUtime=0.21 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 1758 0 0 0 21 0 0 0 20 0 1 0 43704605 14848000 2076 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 3625 2076 436 659 0 2829 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24432 KiB
Current children cumulated memory: 11112 KiB

[startup+0.313211 s]*
/proc/loadavg: 4.17 3.98 3.56 5/247 327914
/proc/meminfo: memFree=84298380/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=17708 memory=11528 CPUtime=0.31 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 2636 0 0 0 30 1 0 0 20 0 1 0 43704605 18132992 2882 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 4427 2882 436 659 0 3631 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27640 KiB
Current children cumulated memory: 14336 KiB

[startup+0.700403 s]
/proc/loadavg: 4.17 3.98 3.56 5/247 327914
/proc/meminfo: memFree=84277500/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=36376 memory=29984 CPUtime=0.68 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 7473 0 0 0 67 1 0 0 20 0 1 0 43704605 37249024 7496 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 9094 7496 436 659 0 8298 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46308 KiB
Current children cumulated memory: 32792 KiB

[startup+1.50042 s]
/proc/loadavg: 4.17 3.98 3.56 5/247 327916
/proc/meminfo: memFree=84217056/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=166084 memory=157296 CPUtime=1.48 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 30469 0 0 0 141 7 0 0 20 0 1 0 43704605 170070016 39324 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 41521 39324 468 659 0 40725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 176016 KiB
Current children cumulated memory: 160104 KiB

[startup+3.11296 s]
/proc/loadavg: 4.16 3.98 3.56 5/247 327916
/proc/meminfo: memFree=83612116/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=598024 memory=534692 CPUtime=3.09 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 80636 0 0 0 291 18 0 0 20 0 1 0 43704605 612376576 133673 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 149506 133673 468 659 0 148710 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 607956 KiB
Current children cumulated memory: 537500 KiB

[startup+6.3004 s]
/proc/loadavg: 4.16 3.98 3.56 5/247 327916
/proc/meminfo: memFree=83387076/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=625632 memory=563400 CPUtime=6.27 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 83527 0 0 0 606 21 0 0 20 0 1 0 43704605 640647168 140850 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 156408 140850 468 659 0 155612 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 635564 KiB
Current children cumulated memory: 566208 KiB

[startup+12.7004 s]
/proc/loadavg: 4.21 4.00 3.57 5/247 327917
/proc/meminfo: memFree=82522932/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=1542508 memory=1348696 CPUtime=12.65 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 157063 0 0 0 1219 46 0 0 20 0 1 0 43704605 1579528192 337174 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 385627 337174 468 659 0 384831 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1552440 KiB
Current children cumulated memory: 1351504 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.00 3.58 5/247 327919
/proc/meminfo: memFree=79685220/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=2977208 memory=2697084 CPUtime=25.42 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 266853 0 0 0 2451 91 0 0 20 0 1 0 43704605 3048660992 674271 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 744302 674271 468 659 0 743506 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2987140 KiB
Current children cumulated memory: 2699892 KiB

[startup+51.1142 s]
/proc/loadavg: 4.25 4.03 3.60 5/247 327923
/proc/meminfo: memFree=81858100/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=2939184 memory=2720788 CPUtime=50.96 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 275918 0 0 0 4999 97 0 0 20 0 1 0 43704605 3009724416 680197 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 734796 680197 468 659 0 734000 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2723596 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.04 3.63 5/247 327933
/proc/meminfo: memFree=80921224/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=2939184 memory=2720960 CPUtime=102.02 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 276518 0 0 0 10104 98 0 0 20 0 1 0 43704605 3009724416 680240 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 734796 680240 468 659 0 734000 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2723768 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.05 3.66 5/247 327943
/proc/meminfo: memFree=80659560/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=2939184 memory=2721632 CPUtime=161.87 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 277187 0 0 0 16087 100 0 0 20 0 1 0 43704605 3009724416 680408 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 734796 680408 468 659 0 734000 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2949116 KiB
Current children cumulated memory: 2724440 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.08 3.70 5/245 328003
/proc/meminfo: memFree=93160332/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=2939184 memory=2722116 CPUtime=221.72 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 277691 0 0 0 22071 101 0 0 20 0 1 0 43704605 3009724416 680529 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 734796 680529 468 659 0 734000 0
Current children cumulated CPU time: 221.72 s

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

/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 281062 0 0 0 46005 105 0 0 20 0 1 0 43704605 3097571328 683030 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683030 468 659 0 755447 0
Current children cumulated CPU time: 461.1 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734928 KiB

[startup+522.3 s]
/proc/loadavg: 4.22 4.15 3.85 5/252 328121
/proc/meminfo: memFree=108453284/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2732120 CPUtime=520.94 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 281458 0 0 0 51989 105 0 0 20 0 1 0 43704605 3097571328 683030 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683030 468 659 0 755447 0
Current children cumulated CPU time: 520.94 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2734928 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 4.14 3.87 5/248 328515
/proc/meminfo: memFree=108377500/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=580.78 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282438 0 0 0 57972 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 580.78 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

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

# cumulated CPU time of all completed processes:  user=615.667 s, system=1.12153 s

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

[startup+588.8 s]
/proc/loadavg: 4.12 4.13 3.87 5/248 328515
/proc/meminfo: memFree=108372176/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=587.27 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282544 0 0 0 58621 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 587.27 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+601.6 s]
/proc/loadavg: 4.10 4.13 3.87 5/248 328518
/proc/meminfo: memFree=108554136/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=600.03 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282710 0 0 0 59897 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 600.03 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+608 s]*
/proc/loadavg: 4.17 4.14 3.88 5/248 328519
/proc/meminfo: memFree=108543564/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=606.43 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282747 0 0 0 60537 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 606.43 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+614.4 s]
/proc/loadavg: 4.15 4.14 3.88 5/248 328521
/proc/meminfo: memFree=108535172/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=612.79 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282775 0 0 0 61173 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 612.79 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+616 s]*
/proc/loadavg: 4.15 4.14 3.88 6/248 328521
/proc/meminfo: memFree=108533028/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=614.4 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282804 0 0 0 61334 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 614.4 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+617.6 s]
/proc/loadavg: 4.14 4.14 3.88 5/248 328521
/proc/meminfo: memFree=108530952/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=615.98 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282804 0 0 0 61492 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 615.98 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+618 s]*
/proc/loadavg: 4.14 4.14 3.88 5/248 328521
/proc/meminfo: memFree=108530896/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=616.39 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282804 0 0 0 61533 106 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 616.39 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+618.2 s]
/proc/loadavg: 4.14 4.14 3.88 5/248 328521
/proc/meminfo: memFree=108530896/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=616.59 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282870 0 0 0 61552 107 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 616.59 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

[startup+618.3 s]
/proc/loadavg: 4.14 4.14 3.88 5/248 328521
/proc/meminfo: memFree=108530896/131655788 swapFree=131070192/131071996
[pid=327909] ppid=327906 vsize=9932 memory=2808 CPUtime=0 cores=1,3
/proc/327909/stat : 327909 (naps-1.03.sh) S 327906 327909 327046 0 -1 4194304 226 239 0 0 0 0 0 0 20 0 1 0 43704605 10170368 702 134679101440 94067452805120 94067453884440 140721092016048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94067455982896 94067456030084 94067466084352 140721092019165 140721092019294 140721092019294 140721092026312 0
/proc/327909/statm: 2483 702 626 264 0 134 0
[pid=327914] ppid=327909 vsize=3024972 memory=2734168 CPUtime=616.69 cores=1,3
/proc/327914/stat : 327914 (naps-1.03) R 327909 327909 327046 0 -1 4194304 282912 0 0 0 61562 107 0 0 20 0 1 0 43704605 3097571328 683542 134679101440 4194304 6891597 140734521248688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40280064 140734521254894 140734521255010 140734521255010 140734521262027 0
/proc/327914/statm: 756243 683542 468 659 0 755447 0
Current children cumulated CPU time: 616.69 s
Current children cumulated vsize: 3034904 KiB
Current children cumulated memory: 2736976 KiB

Child status: 30

Real time (s): 618.389
CPU time (s): 616.788
CPU user time (s): 615.667
CPU system time (s): 1.12153
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 3198148
Max. memory (cumulated for all children) (KiB): 2901752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 615.667
system time used= 1.12153
maximum resident set size= 2898944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283406
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= 34
involuntary context switches= 513


# summary of solver processes directly reported to runsolver:
#   pid: 327909
#   total CPU time (s): 616.788
#   total CPU user time (s): 615.667
#   total CPU system time (s): 1.12153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.90525 second user time and 6.82618 second system time

The end