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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=353405, runsolver pid=353402

[startup+0.100104 s]*
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120933396/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=24456 memory=11860 CPUtime=0.09 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 1980 0 0 0 9 0 0 0 20 0 1 0 64020305 25042944 2965 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 6114 2965 1073 2753 0 2767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43048 KiB
Current children cumulated memory: 15512 KiB

[startup+0.205975 s]*
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120924188/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=26504 memory=13912 CPUtime=0.19 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 2524 0 0 0 19 0 0 0 20 0 1 0 64020305 27140096 3478 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 6626 3478 1073 2753 0 3279 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 17564 KiB

[startup+0.30607 s]*
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120919340/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=38500 memory=25528 CPUtime=0.3 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 3866 0 0 0 29 1 0 0 20 0 1 0 64020305 39424000 6382 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 9625 6382 1073 2753 0 6278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57092 KiB
Current children cumulated memory: 29180 KiB

[startup+0.700313 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120887160/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=61164 memory=48396 CPUtime=0.68 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 7952 0 0 0 67 1 0 0 20 0 1 0 64020305 62631936 12099 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 15291 12099 1105 2753 0 11944 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79756 KiB
Current children cumulated memory: 52048 KiB

[startup+1.50032 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120883944/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=61164 memory=48396 CPUtime=1.48 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 7952 0 0 0 147 1 0 0 20 0 1 0 64020305 62631936 12099 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 15291 12099 1105 2753 0 11944 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79756 KiB
Current children cumulated memory: 52048 KiB

[startup+3.10596 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120867740/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=61164 memory=48396 CPUtime=3.08 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 7959 0 0 0 307 1 0 0 20 0 1 0 64020305 62631936 12099 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 15291 12099 1105 2753 0 11944 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79756 KiB
Current children cumulated memory: 52048 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 353409
/proc/meminfo: memFree=120634468/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=265144 memory=250760 CPUtime=6.27 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 57803 0 0 0 619 8 0 0 20 0 1 0 64020305 271507456 62690 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 66286 62690 2817 2753 0 62939 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 283736 KiB
Current children cumulated memory: 254412 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 353410
/proc/meminfo: memFree=120571456/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=265920 memory=251280 CPUtime=12.65 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 57953 0 0 0 1257 8 0 0 20 0 1 0 64020305 272302080 62820 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 66480 62820 2817 2753 0 63133 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 284512 KiB
Current children cumulated memory: 254932 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.09 5/264 353413
/proc/meminfo: memFree=120528244/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=266896 memory=252320 CPUtime=25.41 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 58213 0 0 0 2533 8 0 0 20 0 1 0 64020305 273301504 63080 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 66724 63080 2817 2753 0 63377 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 285488 KiB
Current children cumulated memory: 255972 KiB

[startup+51.106 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 353418
/proc/meminfo: memFree=120247352/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=266896 memory=252320 CPUtime=50.94 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 58219 0 0 0 5086 8 0 0 20 0 1 0 64020305 273301504 63080 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 66724 63080 2817 2753 0 63377 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 285488 KiB
Current children cumulated memory: 255972 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/264 353427
/proc/meminfo: memFree=119804740/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0

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

/proc/353409/statm: 66282 64187 2849 2753 0 62935 0
Current children cumulated CPU time: 1778.11 s
Current children cumulated vsize: 283720 KiB
Current children cumulated memory: 260400 KiB

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

# cumulated CPU time of all completed processes:  user=1795.88 s, system=26.807 s

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

[startup+1792 s]*
/proc/loadavg: 4.15 4.13 4.13 5/266 354508
/proc/meminfo: memFree=124219536/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 64020304 10170368 676 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 676 598 264 0 134 0
[pid=353408] ppid=353405 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/353408/stat : 353408 (timeout) S 353405 353408 350689 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64020304 8867840 237 134679101440 94914188730368 94914188765384 140733318875968 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94914190862800 94914190864932 94914206027776 140733318882345 140733318882461 140733318882461 140733318889447 0
/proc/353408/statm: 2165 237 212 9 0 87 0
[pid=353409] ppid=353408 vsize=265128 memory=259484 CPUtime=1787.8 cores=1,3
/proc/353409/stat : 353409 (LS-MabSP) R 353408 353408 350689 0 -1 4194304 67118 0 0 0 176121 2659 0 0 20 0 1 0 64020305 271491072 64871 134679101440 4194304 15467897 140735347513040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30228480 140735347516476 140735347516579 140735347516579 140735347523565 0
/proc/353409/statm: 66282 64871 2849 2753 0 62935 0
Current children cumulated CPU time: 1787.8 s
Current children cumulated vsize: 283720 KiB
Current children cumulated memory: 263136 KiB

[startup+1804.8 s]
/proc/loadavg: 4.12 4.12 4.13 5/266 354512
/proc/meminfo: memFree=124445008/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=39528 memory=25460 CPUtime=6.75 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 5864 0 0 0 675 0 0 0 20 0 1 0 64200106 40476672 6365 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 9882 6365 748 737 0 8970 0
Current children cumulated CPU time: 1800.55 s
Current children cumulated vsize: 58120 KiB
Current children cumulated memory: 29260 KiB

[startup+1817.6 s]
/proc/loadavg: 4.16 4.13 4.13 5/266 354513
/proc/meminfo: memFree=124220648/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=40764 memory=26652 CPUtime=19.52 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 10129 0 0 0 1951 1 0 0 20 0 1 0 64200106 41742336 6663 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10191 6663 748 737 0 9279 0
Current children cumulated CPU time: 1813.32 s
Current children cumulated vsize: 59356 KiB
Current children cumulated memory: 30452 KiB

[startup+1820.8 s]
/proc/loadavg: 4.16 4.13 4.13 5/266 354515
/proc/meminfo: memFree=124212488/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=40868 memory=26760 CPUtime=22.71 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 10702 0 0 0 2270 1 0 0 20 0 1 0 64200106 41848832 6690 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10217 6690 748 737 0 9305 0
Current children cumulated CPU time: 1816.51 s
Current children cumulated vsize: 59460 KiB
Current children cumulated memory: 30560 KiB

[startup+1824 s]*
/proc/loadavg: 4.15 4.13 4.13 5/266 354515
/proc/meminfo: memFree=124037992/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=41020 memory=26924 CPUtime=25.91 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 12003 0 0 0 2589 2 0 0 20 0 1 0 64200106 42004480 6731 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10255 6731 748 737 0 9343 0
Current children cumulated CPU time: 1819.71 s
Current children cumulated vsize: 59612 KiB
Current children cumulated memory: 30724 KiB

[startup+1825.6 s]
/proc/loadavg: 4.15 4.13 4.13 5/266 354516
/proc/meminfo: memFree=124038008/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=41020 memory=26924 CPUtime=27.51 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 12003 0 0 0 2749 2 0 0 20 0 1 0 64200106 42004480 6731 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10255 6731 748 737 0 9343 0
Current children cumulated CPU time: 1821.31 s
Current children cumulated vsize: 59612 KiB
Current children cumulated memory: 30724 KiB

[startup+1826.4 s]
/proc/loadavg: 4.14 4.13 4.13 5/266 354516
/proc/meminfo: memFree=124036892/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=41112 memory=27016 CPUtime=28.3 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 12573 0 0 0 2828 2 0 0 20 0 1 0 64200106 42098688 6754 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10278 6754 748 737 0 9366 0
Current children cumulated CPU time: 1822.1 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 30816 KiB

[startup+1826.8 s]
/proc/loadavg: 4.14 4.13 4.13 5/266 354516
/proc/meminfo: memFree=124036892/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=41112 memory=27016 CPUtime=28.7 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 12573 0 0 0 2868 2 0 0 20 0 1 0 64200106 42098688 6754 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10278 6754 748 737 0 9366 0
Current children cumulated CPU time: 1822.5 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 30816 KiB

[startup+1826.9 s]
/proc/loadavg: 4.14 4.13 4.13 5/266 354516
/proc/meminfo: memFree=124036892/131524600 swapFree=131071996/131071996
[pid=353405] ppid=353402 vsize=9932 memory=2752 CPUtime=1793.8 cores=1,3
/proc/353405/stat : 353405 (Hybrid-LSMabSP+) S 353402 353405 350689 0 -1 4194304 272 67390 0 0 0 0 176703 2677 20 0 1 0 64020304 10170368 688 134679101440 94057847934976 94057849014296 140723912097440 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94057851112752 94057851159940 94057856065536 140723912102888 140723912103034 140723912103034 140723912110049 0
/proc/353405/statm: 2483 688 598 264 0 134 0
[pid=354509] ppid=353405 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/354509/stat : 354509 (timeout) S 353405 354509 350689 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64200106 8867840 262 134679101440 94006639607808 94006639642824 140729706039072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94006641740240 94006641742372 94006672093184 140729706046452 140729706046621 140729706046621 140729706053607 0
/proc/354509/statm: 2165 262 238 9 0 87 0
[pid=354510] ppid=354509 vsize=41112 memory=27016 CPUtime=28.8 cores=1,3
/proc/354510/stat : 354510 (Exact) R 354509 354509 350689 0 -1 4194304 12573 0 0 0 2878 2 0 0 20 0 1 0 64200106 42098688 6754 134679101440 4194304 7210733 140730246667488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12587008 140730246673424 140730246673574 140730246673574 140730246680560 0
/proc/354510/statm: 10278 6754 748 737 0 9366 0
Current children cumulated CPU time: 1822.6 s
Current children cumulated vsize: 59704 KiB
Current children cumulated memory: 30816 KiB

Child status: 0

Real time (s): 1826.98
CPU time (s): 1822.69
CPU user time (s): 1795.88
CPU system time (s): 26.807
CPU usage (%): 99.7648
Max. virtual memory (cumulated for all children) (KiB): 348316
Max. memory (cumulated for all children) (KiB): 294980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.88
system time used= 26.807
maximum resident set size= 291328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 560


# summary of solver processes directly reported to runsolver:
#   pid: 353405
#   total CPU time (s): 1822.69
#   total CPU user time (s): 1795.88
#   total CPU system time (s): 26.807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99009 second user time and 9.70254 second system time

The end