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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443835-1721308388/watcher-4443835-1721308388 -o /tmp/evaluation-result-4443835-1721308388/solver-4443835-1721308388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721304762-972503 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443835-1721308388.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=974913, runsolver pid=974910

[startup+0.100663 s]*
/proc/loadavg: 4.52 4.23 4.13 5/266 974917
/proc/meminfo: memFree=126589252/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=37080 memory=24524 CPUtime=0.09 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 2600 0 0 0 9 0 0 0 20 0 1 0 183007123 37969920 6131 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28256 KiB

[startup+0.205773 s]*
/proc/loadavg: 4.52 4.23 4.13 5/266 974917
/proc/meminfo: memFree=126581932/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=43224 memory=27512 CPUtime=0.19 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 3315 0 0 0 19 0 0 0 20 0 1 0 183007123 44261376 6878 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 10806 6878 1073 2753 0 7459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 31244 KiB

[startup+0.305684 s]*
/proc/loadavg: 4.52 4.23 4.13 5/266 974917
/proc/meminfo: memFree=126583864/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=43224 memory=29560 CPUtime=0.29 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 3316 0 0 0 29 0 0 0 20 0 1 0 183007123 44261376 7390 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 10806 7390 1073 2753 0 7459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 33292 KiB

[startup+0.700227 s]
/proc/loadavg: 4.52 4.23 4.13 5/266 974917
/proc/meminfo: memFree=126579292/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=51416 memory=37756 CPUtime=0.68 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 3837 0 0 0 67 1 0 0 20 0 1 0 183007123 52649984 9439 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 12854 9439 1073 2753 0 9507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 41488 KiB

[startup+1.50027 s]
/proc/loadavg: 4.52 4.23 4.13 6/266 974917
/proc/meminfo: memFree=126568688/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=67800 memory=54144 CPUtime=1.48 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 4412 0 0 0 146 2 0 0 20 0 1 0 183007123 69427200 13536 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 16950 13536 1073 2753 0 13603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 57876 KiB

[startup+3.10568 s]
/proc/loadavg: 4.52 4.23 4.13 6/266 974917
/proc/meminfo: memFree=126380104/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=266728 memory=222400 CPUtime=3.08 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 15814 0 0 0 300 8 0 0 20 0 1 0 183007123 273129472 55600 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 66682 55600 1105 2753 0 63335 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226132 KiB

[startup+6.30028 s]
/proc/loadavg: 4.64 4.26 4.14 6/266 974917
/proc/meminfo: memFree=126379344/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=266728 memory=222608 CPUtime=6.26 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 15860 0 0 0 618 8 0 0 20 0 1 0 183007123 273129472 55652 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 66682 55652 1153 2753 0 63335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226340 KiB

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

# cumulated CPU time of all completed processes:  user=7.64114 s, system=0.14879 s

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

[startup+6.40034 s]
/proc/loadavg: 4.64 4.26 4.14 6/266 974917
/proc/meminfo: memFree=126379344/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=266728 memory=222608 CPUtime=6.36 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 15860 0 0 0 628 8 0 0 20 0 1 0 183007123 273129472 55652 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 66682 55652 1153 2753 0 63335 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226340 KiB

[startup+7.20026 s]
/proc/loadavg: 4.64 4.26 4.14 6/266 974917
/proc/meminfo: memFree=126378644/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=266728 memory=222608 CPUtime=7.16 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 15896 0 0 0 708 8 0 0 20 0 1 0 183007123 273129472 55652 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 66682 55652 1153 2753 0 63335 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 226340 KiB

[startup+7.60025 s]
/proc/loadavg: 4.64 4.26 4.14 6/266 974917
/proc/meminfo: memFree=126378644/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=316860 memory=262480 CPUtime=7.57 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 35797 0 0 0 745 12 0 0 20 0 1 0 183007123 324464640 65620 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 79215 65620 1153 2753 0 75868 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 335452 KiB
Current children cumulated memory: 266212 KiB

[startup+7.80026 s]
/proc/loadavg: 4.64 4.26 4.14 6/266 974917
/proc/meminfo: memFree=126378644/131524600 swapFree=131071996/131071996
[pid=974913] ppid=974910 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/974913/stat : 974913 (Hybrid-LSMabP+E) S 974910 974913 972493 0 -1 4194304 234 103 0 0 0 0 0 0 20 0 1 0 183007122 10170368 676 134679101440 94072526934016 94072528013336 140732582666944 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94072530111792 94072530158980 94072531914752 140732582671337 140732582671482 140732582671482 140732582678498 0
/proc/974913/statm: 2483 676 598 264 0 134 0
[pid=974916] ppid=974913 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/974916/stat : 974916 (timeout) S 974913 974916 972493 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 183007123 8867840 257 134679101440 94166271717376 94166271752392 140733807330096 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94166273849808 94166273851940 94166293549056 140733807338530 140733807338652 140733807338652 140733807345639 0
/proc/974916/statm: 2165 257 233 9 0 87 0
[pid=974917] ppid=974916 vsize=368092 memory=314004 CPUtime=7.76 cores=0,2
/proc/974917/stat : 974917 (LS-MabP) R 974916 974916 972493 0 -1 4194304 41544 0 0 0 763 13 0 0 20 0 1 0 183007123 376926208 78501 134679101440 4194304 15467897 140720425976192 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36753408 140720425985078 140720425985187 140720425985187 140720425992174 0
/proc/974917/statm: 92023 78501 1153 2753 0 88676 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 386684 KiB
Current children cumulated memory: 317736 KiB

Child status: 0

Real time (s): 7.81573
CPU time (s): 7.78993
CPU user time (s): 7.64114
CPU system time (s): 0.14879
CPU usage (%): 99.6699
Max. virtual memory (cumulated for all children) (KiB): 386684
Max. memory (cumulated for all children) (KiB): 317736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.64114
system time used= 0.14879
maximum resident set size= 314004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 974913
#   total CPU time (s): 7.78993
#   total CPU user time (s): 7.64114
#   total CPU system time (s): 0.14879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031867 second user time and 0.058067 second system time

The end