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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=340196, runsolver pid=340181
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 1.42 1.95 2.31 8/266 340213
/proc/meminfo: memFree=128511628/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=29776 memory=14036 CPUtime=0.09 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 2643 0 0 0 9 0 0 0 20 0 1 0 62681515 30490624 3509 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 7444 3509 922 2726 0 4192 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 17824 KiB

[startup+0.206763 s]*
/proc/loadavg: 1.63 1.98 2.32 7/266 340213
/proc/meminfo: memFree=128393204/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=77084 memory=57096 CPUtime=0.2 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 9016 0 0 0 18 2 0 0 20 0 1 0 62681515 78934016 14274 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 19271 14274 954 2726 0 16019 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95676 KiB
Current children cumulated memory: 60884 KiB

[startup+0.306613 s]*
/proc/loadavg: 1.63 1.98 2.32 7/266 340213
/proc/meminfo: memFree=128351092/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=77084 memory=57660 CPUtime=0.3 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 9037 0 0 0 28 2 0 0 20 0 1 0 62681515 78934016 14415 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 19271 14415 1034 2726 0 16019 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95676 KiB
Current children cumulated memory: 61448 KiB

[startup+0.700244 s]
/proc/loadavg: 1.63 1.98 2.32 7/266 340213
/proc/meminfo: memFree=128326024/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=120276 memory=100692 CPUtime=0.68 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 19791 0 0 0 65 3 0 0 20 0 1 0 62681515 123162624 25173 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 30069 25173 1034 2726 0 26817 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138868 KiB
Current children cumulated memory: 104480 KiB

[startup+1.5003 s]
/proc/loadavg: 1.63 1.98 2.32 9/266 340213
/proc/meminfo: memFree=128248868/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=270344 memory=226336 CPUtime=1.48 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 31529 0 0 0 141 7 0 0 20 0 1 0 62681515 276832256 56584 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 67586 56584 1066 2726 0 64334 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 288936 KiB
Current children cumulated memory: 230124 KiB

[startup+3.10645 s]
/proc/loadavg: 1.63 1.98 2.32 7/266 340264
/proc/meminfo: memFree=127485500/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=812444 memory=772608 CPUtime=3.08 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 160857 0 0 0 279 29 0 0 20 0 1 0 62681515 831942656 193152 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 203111 193152 2618 2726 0 199859 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 831036 KiB
Current children cumulated memory: 776396 KiB

[startup+6.30029 s]
/proc/loadavg: 1.82 2.02 2.33 7/266 340266
/proc/meminfo: memFree=127258728/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=1069952 memory=992060 CPUtime=6.27 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 182441 0 0 0 592 35 0 0 20 0 1 0 62681515 1095630848 248015 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 267488 248015 2650 2726 0 264236 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1088544 KiB
Current children cumulated memory: 995848 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 2.34 7/266 340266
/proc/meminfo: memFree=126718184/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=1509724 memory=1389620 CPUtime=12.66 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 242134 0 0 0 1218 48 0 0 20 0 1 0 62681515 1545957376 347405 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 377431 347405 2746 2726 0 374179 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1528316 KiB
Current children cumulated memory: 1393408 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 2.13 2.37 8/266 340269
/proc/meminfo: memFree=126604056/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=1524120 memory=1403916 CPUtime=25.42 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 245206 0 0 0 2493 49 0 0 20 0 1 0 62681515 1560698880 350979 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 381030 350979 2746 2726 0 377778 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1542712 KiB
Current children cumulated memory: 1407704 KiB

[startup+51.1063 s]
/proc/loadavg: 3.26 2.36 2.43 7/266 340425
/proc/meminfo: memFree=126602404/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0
[pid=340209] ppid=340196 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/340209/stat : 340209 (timeout) S 340196 340209 340127 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62681514 8867840 257 134679101440 94358545788928 94358545823944 140726217572448 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 62681514 0 0 94358547921360 94358547923492 94358576697344 140726217581566 140726217581725 140726217581725 140726217588711 0
/proc/340209/statm: 2165 257 232 9 0 87 0
[pid=340212] ppid=340209 vsize=1526040 memory=1406036 CPUtime=50.95 cores=5,7
/proc/340212/stat : 340212 (CASHWMaxSAT-Dis) R 340209 340209 340127 0 -1 4194304 245821 0 0 0 5045 50 0 0 20 0 1 0 62681515 1562664960 351509 134679101440 4194304 15356333 140733358698512 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 43290624 140733358703619 140733358703765 140733358703765 140733358710751 0
/proc/340212/statm: 381510 351509 2746 2726 0 378258 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1544632 KiB
Current children cumulated memory: 1409824 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 2.65 2.53 7/266 340433
/proc/meminfo: memFree=126329584/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2760 CPUtime=0 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 62681514 10170368 690 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 690 611 264 0 134 0

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

/proc/341457/statm: 48347 38811 804 745 0 47412 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 211980 KiB
Current children cumulated memory: 159080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.08 6/264 342333
/proc/meminfo: memFree=127886680/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=193944 memory=155772 CPUtime=1660.22 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26613 0 0 0 166015 7 0 0 20 0 1 0 62861315 198598656 38943 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48486 38943 804 745 0 47551 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 212536 KiB
Current children cumulated memory: 159608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.08 6/264 342343
/proc/meminfo: memFree=127880940/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194372 memory=156284 CPUtime=1720.08 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26771 0 0 0 172000 8 0 0 20 0 1 0 62861315 199036928 39071 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48593 39071 804 745 0 47658 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 212964 KiB
Current children cumulated memory: 160120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.09 6/264 342353
/proc/meminfo: memFree=127876380/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1779.91 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 177983 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

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

# cumulated CPU time of all completed processes:  user=3586.52 s, system=0.743391 s

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

[startup+3584 s]*
/proc/loadavg: 4.22 4.14 4.09 6/264 342355
/proc/meminfo: memFree=127875420/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1781.61 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 178153 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3575.25 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.14 4.09 6/264 342355
/proc/meminfo: memFree=127874968/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1787.99 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 178791 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3581.63 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.13 4.09 6/264 342355
/proc/meminfo: memFree=127874340/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1791.18 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 179110 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

[startup+3595.2 s]
/proc/loadavg: 4.18 4.13 4.09 6/264 342356
/proc/meminfo: memFree=127873976/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1792.77 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 179269 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

[startup+3595.6 s]
/proc/loadavg: 4.18 4.13 4.09 6/264 342356
/proc/meminfo: memFree=127873976/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1793.17 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 179309 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3586.81 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.13 4.09 6/264 342356
/proc/meminfo: memFree=127873956/131524600 swapFree=131071996/131071996
[pid=340196] ppid=340181 vsize=9932 memory=2820 CPUtime=1793.64 cores=5,7
/proc/340196/stat : 340196 (Hybrid-CASHWMax) S 340181 340196 340127 0 -1 4194304 276 287146 0 0 0 0 179299 65 20 0 1 0 62681514 10170368 705 134679101440 94044832620544 94044833699864 140733702835152 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94044835798320 94044835845508 94044869009408 140733702841294 140733702841453 140733702841453 140733702848468 0
/proc/340196/statm: 2483 705 612 264 0 134 0
[pid=341456] ppid=340196 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/341456/stat : 341456 (timeout) S 340196 341456 340127 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62861315 8867840 254 134679101440 94067072520192 94067072555208 140727566070064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94067074652624 94067074654756 94067107065856 140727566074868 140727566075037 140727566075037 140727566082023 0
/proc/341456/statm: 2165 254 229 9 0 87 0
[pid=341457] ppid=341456 vsize=194564 memory=156548 CPUtime=1793.57 cores=5,7
/proc/341457/stat : 341457 (Exact) R 341456 341456 340127 0 -1 4194304 26897 0 0 0 179349 8 0 0 20 0 1 0 62861315 199233536 39137 134679101440 4194304 7243121 140732809617392 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 25653248 140732809622544 140732809622694 140732809622694 140732809629680 0
/proc/341457/statm: 48641 39137 804 745 0 47706 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 160384 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.26
CPU user time (s): 3586.52
CPU system time (s): 0.743391
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 2307484
Max. memory (cumulated for all children) (KiB): 1649148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.52
system time used= 0.743391
maximum resident set size= 1645360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 2247


# summary of solver processes directly reported to runsolver:
#   pid: 340196
#   total CPU time (s): 3587.26
#   total CPU user time (s): 3586.52
#   total CPU system time (s): 0.743391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.47498 second user time and 18.5239 second system time

The end