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: 63931 MiB (62594 MiB free)
  memory of node 1: 64510 MiB (62964 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437071-1722953605/watcher-4437071-1722953605 -o /tmp/evaluation-result-4437071-1722953605/solver-4437071-1722953605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722948202-332588 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437071-1722953605.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=335866, runsolver pid=335863
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128565348/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=21516 memory=9288 CPUtime=0.1 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 959 0 0 0 10 0 0 0 20 0 1 0 61959006 22032384 2322 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 5379 2322 1105 2753 0 2032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13004 KiB

[startup+0.205792 s]*
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128550004/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=39756 memory=32504 CPUtime=0.19 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 5395 0 0 0 19 0 0 0 20 0 1 0 61959006 40710144 8126 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 9939 8126 2769 2753 0 6592 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 36220 KiB

[startup+0.306005 s]*
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128542808/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=43916 memory=36608 CPUtime=0.3 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 6404 0 0 0 29 1 0 0 20 0 1 0 61959006 44969984 9152 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 10979 9152 2817 2753 0 7632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62508 KiB
Current children cumulated memory: 40324 KiB

[startup+0.700217 s]
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128538608/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=47700 memory=40064 CPUtime=0.69 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 7292 0 0 0 68 1 0 0 20 0 1 0 61959006 48844800 10016 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 11925 10016 2833 2753 0 8578 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66292 KiB
Current children cumulated memory: 43780 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128534916/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=50692 memory=42440 CPUtime=1.48 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 7858 0 0 0 147 1 0 0 20 0 1 0 61959006 51908608 10610 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 12673 10610 2833 2753 0 9326 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69284 KiB
Current children cumulated memory: 46156 KiB

[startup+3.10584 s]
/proc/loadavg: 4.09 4.15 4.12 5/265 335870
/proc/meminfo: memFree=128513044/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=71208 memory=62236 CPUtime=3.09 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 12815 0 0 0 307 2 0 0 20 0 1 0 61959006 72916992 15559 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 17802 15559 2833 2753 0 14455 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89800 KiB
Current children cumulated memory: 65952 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.14 4.12 5/265 335870
/proc/meminfo: memFree=128469192/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=108436 memory=97872 CPUtime=6.27 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 21720 0 0 0 625 2 0 0 20 0 1 0 61959006 111038464 24468 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 27109 24468 2833 2753 0 23762 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127028 KiB
Current children cumulated memory: 101588 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.13 5/265 335872
/proc/meminfo: memFree=128429720/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=140376 memory=126780 CPUtime=12.65 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 30062 0 0 0 1262 3 0 0 20 0 1 0 61959006 143745024 31695 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 35094 31695 2833 2753 0 31747 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158968 KiB
Current children cumulated memory: 130496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.12 5/265 335873
/proc/meminfo: memFree=128426604/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=141584 memory=128356 CPUtime=25.42 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 30469 0 0 0 2539 3 0 0 20 0 1 0 61959006 144982016 32089 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 35396 32089 2833 2753 0 32049 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 160176 KiB
Current children cumulated memory: 132072 KiB

[startup+51.106 s]
/proc/loadavg: 4.14 4.15 4.13 5/265 335878
/proc/meminfo: memFree=128381140/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 681 603 264 0 134 0
[pid=335869] ppid=335866 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/335869/stat : 335869 (timeout) S 335866 335869 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61959006 8867840 248 134679101440 94005708091392 94005708126408 140726641651008 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94005710223824 94005710225956 94005741338624 140726641652777 140726641652893 140726641652893 140726641659879 0
/proc/335869/statm: 2165 248 224 9 0 87 0
[pid=335870] ppid=335869 vsize=180996 memory=163368 CPUtime=50.97 cores=4,6
/proc/335870/stat : 335870 (LS-MabSP) R 335869 335869 332577 0 -1 4194304 39683 0 0 0 5093 4 0 0 20 0 1 0 61959006 185339904 40842 134679101440 4194304 15467897 140726485459184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48640000 140726485464124 140726485464227 140726485464227 140726485471213 0
/proc/335870/statm: 45249 40842 2833 2753 0 41902 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 199588 KiB
Current children cumulated memory: 167084 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/265 335887
/proc/meminfo: memFree=128344476/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 240 99 0 0 0 0 0 0 20 0 1 0 61959006 10170368 681 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0

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

/proc/337001/statm: 48643 44761 748 737 0 47731 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 213164 KiB
Current children cumulated memory: 182836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 337868
/proc/meminfo: memFree=125656420/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=196044 memory=180204 CPUtime=1659.2 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 25308 0 0 0 165910 10 0 0 20 0 1 0 62138807 200749056 45051 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49011 45051 748 737 0 48099 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 214636 KiB
Current children cumulated memory: 183996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 337878
/proc/meminfo: memFree=125653900/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=197708 memory=182156 CPUtime=1719.03 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 25838 0 0 0 171893 10 0 0 20 0 1 0 62138807 202452992 45539 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49427 45539 748 737 0 48515 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 216300 KiB
Current children cumulated memory: 185948 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 337888
/proc/meminfo: memFree=125652208/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1778.86 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 177876 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

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

# cumulated CPU time of all completed processes:  user=3537.63 s, system=49.311 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 337888
/proc/meminfo: memFree=125652200/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1780.57 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 178047 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3574.93 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 337890
/proc/meminfo: memFree=125652120/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1786.94 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 178684 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 337890
/proc/meminfo: memFree=125652140/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1790.13 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 179003 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 337892
/proc/meminfo: memFree=126073516/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1791.73 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 179163 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

[startup+3595.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 337892
/proc/meminfo: memFree=126073516/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1792.13 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 179203 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.09 4.09 5/265 337896
/proc/meminfo: memFree=128146868/131524600 swapFree=131071996/131071996
[pid=335866] ppid=335863 vsize=9932 memory=2768 CPUtime=1794.36 cores=4,6
/proc/335866/stat : 335866 (Hybrid-LSMabSP+) S 335863 335866 332577 0 -1 4194304 273 111577 0 0 0 0 174517 4919 20 0 1 0 61959006 10170368 692 134679101440 94800309534720 94800310614040 140726676641760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94800312712496 94800312759684 94800326070272 140726676644840 140726676644986 140726676644986 140726676652001 0
/proc/335866/statm: 2483 692 603 264 0 134 0
[pid=337000] ppid=335866 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/337000/stat : 337000 (timeout) S 335866 337000 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62138807 8867840 256 134679101440 94186515730432 94186515765448 140727051294640 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94186517862864 94186517864996 94186545668096 140727051297780 140727051297949 140727051297949 140727051304935 0
/proc/337000/statm: 2165 256 232 9 0 87 0
[pid=337001] ppid=337000 vsize=199052 memory=183588 CPUtime=1792.53 cores=4,6
/proc/337001/stat : 337001 (Exact) R 337000 337000 332577 0 -1 4194304 26216 0 0 0 179243 10 0 0 20 0 1 0 62138807 203829248 45897 134679101440 4194304 7210733 140736996208672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12840960 140736996217872 140736996218022 140736996218022 140736996225008 0
/proc/337001/statm: 49763 45897 748 737 0 48851 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 187380 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.94
CPU user time (s): 3537.63
CPU system time (s): 49.311
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 472624
Max. memory (cumulated for all children) (KiB): 445596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.63
system time used= 49.311
maximum resident set size= 441880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 2188


# summary of solver processes directly reported to runsolver:
#   pid: 335866
#   total CPU time (s): 3586.94
#   total CPU user time (s): 3537.63
#   total CPU system time (s): 49.311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47837 second user time and 17.1746 second system time

The end