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: 63968 MiB (63091 MiB free)
  memory of node 1: 64473 MiB (63188 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430194-1721077648/watcher-4430194-1721077648 -o /tmp/evaluation-result-4430194-1721077648/solver-4430194-1721077648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721070446-814807 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430194-1721077648.opb --time_limit=3600 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=818887, runsolver pid=818884
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.13 4.12 4.12 6/256 818888
/proc/meminfo: memFree=129300056/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=28676 memory=17228 CPUtime=0.09 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 3586 0 0 0 9 0 0 0 20 0 1 0 159931884 29364224 4307 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 7169 4307 864 29 0 3543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28676 KiB
Current children cumulated memory: 17228 KiB

[startup+0.204946 s]*
/proc/loadavg: 4.13 4.12 4.12 5/256 818888
/proc/meminfo: memFree=129268048/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=0.2 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9174 0 0 0 18 2 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+0.305458 s]*
/proc/loadavg: 4.13 4.12 4.12 5/254 818902
/proc/meminfo: memFree=129269312/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=0.3 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9174 0 0 0 25 5 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+0.700223 s]
/proc/loadavg: 4.13 4.12 4.12 5/251 818924
/proc/meminfo: memFree=129269040/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=0.69 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9176 0 0 0 52 17 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+1.50021 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 818934
/proc/meminfo: memFree=129265248/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=1.49 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9176 0 0 0 103 46 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+3.1053 s]
/proc/loadavg: 4.12 4.12 4.12 5/256 818982
/proc/meminfo: memFree=129265212/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=3.09 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9179 0 0 0 206 103 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.12 4.12 5/256 818982
/proc/meminfo: memFree=129265176/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=6.28 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9182 0 0 0 418 210 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.12 5/256 818983
/proc/meminfo: memFree=129265060/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=12.66 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9188 0 0 0 823 443 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.12 5/256 818985
/proc/meminfo: memFree=129264900/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=25.44 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9194 0 0 0 1647 897 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+51.1053 s]
/proc/loadavg: 4.11 4.11 4.12 5/256 818988
/proc/meminfo: memFree=129264356/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=50.99 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9203 0 0 0 3289 1810 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/256 818998
/proc/meminfo: memFree=129263732/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=45308 CPUtime=102.09 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9209 0 0 0 6616 3593 0 0 20 0 1 0 159931884 59801600 11327 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11327 880 29 0 10974 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 45308 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/259 819013
/proc/meminfo: memFree=129262188/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=161.96 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9235 0 0 0 10554 5642 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/259 819024
/proc/meminfo: memFree=129261592/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=221.85 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9250 0 0 0 14446 7739 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+282.3 s]
/proc/loadavg: 4.33 4.18 4.13 5/258 819034
/proc/meminfo: memFree=129261328/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=281.74 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9265 0 0 0 18355 9819 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/257 819045
/proc/meminfo: memFree=129261008/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=341.61 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9280 0 0 0 22295 11866 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/258 819057
/proc/meminfo: memFree=129260688/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=401.51 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9295 0 0 0 26223 13928 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/256 819070
/proc/meminfo: memFree=129260176/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=461.38 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 9310 0 0 0 30132 16006 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0

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

/proc/loadavg: 4.20 4.17 4.11 5/257 820745
/proc/meminfo: memFree=129245756/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3216.07 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10000 0 0 0 211280 110327 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3216.07 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 820756
/proc/meminfo: memFree=129245496/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3275.96 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10015 0 0 0 215208 112388 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3275.96 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/257 820767
/proc/meminfo: memFree=129245236/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3335.83 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10030 0 0 0 219185 114398 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3335.83 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/257 820778
/proc/meminfo: memFree=129244876/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3395.72 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10045 0 0 0 223128 116444 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3395.72 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 820788
/proc/meminfo: memFree=129244568/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3455.61 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10060 0 0 0 227101 118460 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3455.61 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 820798
/proc/meminfo: memFree=129244348/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3515.49 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10075 0 0 0 231027 120522 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3515.49 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/254 820808
/proc/meminfo: memFree=129244056/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3575.38 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 234968 122570 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3575.38 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

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

# cumulated CPU time of all completed processes:  user=2366.08 s, system=1233.92 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.11 4.09 5/254 820808
/proc/meminfo: memFree=129244084/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3577.08 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 235077 122631 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3577.08 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3596.8 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 820810
/proc/meminfo: memFree=129244052/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3589.85 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 235909 123076 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3589.85 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3603.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820826
/proc/meminfo: memFree=129242876/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3596.24 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236360 123264 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3596.24 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3604.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820826
/proc/meminfo: memFree=129242912/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3597.84 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236465 123319 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3597.84 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3605.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820826
/proc/meminfo: memFree=129242948/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3598.63 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236519 123344 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3598.63 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3606.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820827
/proc/meminfo: memFree=129242948/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3599.43 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236571 123372 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3599.43 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3606.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820827
/proc/meminfo: memFree=129242948/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3599.83 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236597 123386 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3599.83 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

[startup+3606.9 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 820827
/proc/meminfo: memFree=129242948/131524600 swapFree=131071996/131071996
[pid=818887] ppid=818884 vsize=58400 memory=46176 CPUtime=3599.93 cores=1,3
/proc/818887/stat : 818887 (DLS-PBO) R 818884 818887 814795 0 -1 4194304 10090 0 0 0 236604 123389 0 0 20 0 1 0 159931884 59801600 11544 134679101440 4194304 4311573 140722756002960 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4331680 4334284 19599360 140722756011036 140722756011143 140722756011143 140722756018158 0
/proc/818887/statm: 14600 11544 880 29 0 10974 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 58400 KiB
Current children cumulated memory: 46176 KiB

Child status: 0

Real time (s): 3606.96
CPU time (s): 3600
CPU user time (s): 2366.08
CPU system time (s): 1233.92
CPU usage (%): 99.807
Max. virtual memory (cumulated for all children) (KiB): 58400
Max. memory (cumulated for all children) (KiB): 46176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2366.08
system time used= 1233.92
maximum resident set size= 46176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 938


# summary of solver processes directly reported to runsolver:
#   pid: 818887
#   total CPU time (s): 3600
#   total CPU user time (s): 2366.08
#   total CPU system time (s): 1233.92

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04186 second user time and 16.5349 second system time

The end