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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432313-1721056022/watcher-4432313-1721056022 -o /tmp/evaluation-result-4432313-1721056022/solver-4432313-1721056022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721056035-807404 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432313-1721056022.opb 

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=807463, runsolver pid=807452

[startup+0.100321 s]*
/proc/loadavg: 3.71 4.03 4.06 11/324 807536
/proc/meminfo: memFree=128051028/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=18975048 memory=66560 CPUtime=0.14 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 7120 0 0 0 12 2 0 0 20 0 18 0 157765684 19430449152 16640 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4743762 16640 5606 1 0 549341 0
[pid=807463/tid=807470] ppid=807452 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 5695 0 0 0 7 1 0 0 20 0 18 0 157765684 19430449152 16640 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=18975048 memory=1623 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157765687 19430449152 16640 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157765688 19430449152 16640 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66560 KiB

[startup+0.207279 s]*
/proc/loadavg: 3.71 4.03 4.06 16/326 807538
/proc/meminfo: memFree=127994632/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=18975048 memory=96532 CPUtime=0.33 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 7713 0 0 0 31 2 0 0 20 0 18 0 157765684 19430449152 24133 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4743762 24133 5835 1 0 549803 0
[pid=807463/tid=807470] ppid=807452 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 5863 0 0 0 17 2 0 0 20 0 18 0 157765684 19430449152 24133 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=18975048 memory=1623 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157765687 19430449152 24133 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157765688 19430449152 24133 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 96532 KiB

[startup+0.307618 s]*
/proc/loadavg: 3.71 4.03 4.06 14/327 807539
/proc/meminfo: memFree=127888100/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19041612 memory=122760 CPUtime=0.51 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 9230 0 0 0 48 3 0 0 20 0 19 0 157765684 19498610688 30690 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4760403 30690 5873 1 0 550975 0
[pid=807463/tid=807470] ppid=807452 vsize=19041612 memory=-9104139232558293692 CPUtime=0.26 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 1077936192 6000 0 0 0 24 2 0 0 20 0 19 0 157765684 19498610688 30690 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 30690 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 30690 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765710 19498610688 30690 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122760 KiB

[startup+0.706619 s]
/proc/loadavg: 3.71 4.03 4.06 12/329 807541
/proc/meminfo: memFree=127823976/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19041612 memory=164888 CPUtime=1.28 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 11972 0 0 0 124 4 0 0 20 0 19 0 157765684 19498610688 41222 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4760403 41222 5889 1 0 552843 0
[pid=807463/tid=807470] ppid=807452 vsize=19041612 memory=12292 CPUtime=0.65 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 6062 0 0 0 63 2 0 0 20 0 19 0 157765684 19498610688 41222 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19041612 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157765687 19498610688 41222 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19041612 memory=117604 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157765688 19498610688 41222 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19041612 memory=5484 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157765710 19498610688 41222 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164888 KiB

[startup+1.50028 s]
/proc/loadavg: 3.71 4.03 4.06 12/330 807542
/proc/meminfo: memFree=127702248/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=295124 CPUtime=2.31 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 12321 0 0 0 224 7 0 0 20 0 20 0 157765684 19566772224 73781 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 73781 5889 1 0 553133 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=12292 CPUtime=1.33 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 6077 0 0 0 130 3 0 0 20 0 20 0 157765684 19566772224 73781 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=5484 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 73781 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 73781 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 73781 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 295124 KiB

[startup+3.10664 s]
/proc/loadavg: 3.71 4.03 4.06 8/331 807543
/proc/meminfo: memFree=126774324/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=622332 CPUtime=4.21 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 13424 0 0 0 407 14 0 0 20 0 20 0 157765684 19566772224 155583 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 155583 5889 1 0 1079579 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=0 CPUtime=2.69 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 6160 0 0 0 265 4 0 0 20 0 20 0 157765684 19566772224 155583 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 155583 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 155583 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 155583 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 622332 KiB

[startup+6.30024 s]
/proc/loadavg: 3.81 4.05 4.07 9/332 807546
/proc/meminfo: memFree=125428492/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=1255024 CPUtime=7.95 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 14828 0 0 0 769 26 0 0 20 0 20 0 157765684 19566772224 313756 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 313756 5889 1 0 1079793 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=12292 CPUtime=5.41 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 6407 0 0 0 535 6 0 0 20 0 20 0 157765684 19566772224 313756 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 313756 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=-6231809381642519184 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 313756 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 313756 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1255024 KiB

[startup+12.7002 s]
/proc/loadavg: 3.83 4.04 4.07 8/332 807547
/proc/meminfo: memFree=122657032/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=2548044 CPUtime=15.21 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 20422 0 0 0 1468 53 0 0 20 0 20 0 157765684 19566772224 637011 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 637011 5921 1 0 1681397 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=0 CPUtime=10.92 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 7227 0 0 0 1080 12 0 0 20 0 20 0 157765684 19566772224 637011 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 637011 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=2264224 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 637011 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 637011 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2548044 KiB

[startup+25.5006 s]
/proc/loadavg: 3.94 4.06 4.07 8/332 807548
/proc/meminfo: memFree=117394352/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=4852056 CPUtime=29.36 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 24111 0 0 0 2839 97 0 0 20 0 20 0 157765684 19566772224 1213014 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 1213014 5921 1 0 2331045 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=4174144 CPUtime=22.24 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 8645 0 0 0 2196 28 0 0 20 0 20 0 157765684 19566772224 1213014 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=1255024 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 1213014 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=4245824 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 1213014 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=2029 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 1213014 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 29.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4852056 KiB

[startup+51.1065 s]
/proc/loadavg: 4.03 4.07 4.08 8/332 807553
/proc/meminfo: memFree=111135076/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=7004176 CPUtime=59.11 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 47649 0 0 0 5767 144 0 0 20 0 20 0 157765684 19566772224 1751044 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 1751044 5921 1 0 2682488 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=12064 CPUtime=44.95 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 9843 0 0 0 4458 37 0 0 20 0 20 0 157765684 19566772224 1751044 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765686 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0

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

/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 595305 0 0 0 331392 602 0 0 20 0 20 0 157765684 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086356 5972 1 0 4097653 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=16345408 CPUtime=2523.04 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 145905 0 0 0 252165 139 0 0 20 0 20 0 157765684 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765730 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=16345348 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 747 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=16345424 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3319.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345424 KiB

[startup+2862.3 s]
/proc/loadavg: 4.45 4.56 4.59 10/332 808682
/proc/meminfo: memFree=81192308/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345424 CPUtime=3396.36 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 596551 0 0 0 339025 611 0 0 20 0 20 0 157765684 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086356 5972 1 0 4097653 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=16345424 CPUtime=2577.92 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 146406 0 0 0 257652 140 0 0 20 0 20 0 157765684 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=-9032081638520365756 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=16345424 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 747 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086356 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3396.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345424 KiB

[startup+2922.3 s]
/proc/loadavg: 4.79 4.64 4.61 9/333 809075
/proc/meminfo: memFree=81190424/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345428 CPUtime=3469.33 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 597366 0 0 0 346318 615 0 0 20 0 20 0 157765684 19566772224 4086357 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086357 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=16345428 CPUtime=2626.37 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 147024 0 0 0 262497 140 0 0 20 0 20 0 157765684 19566772224 4086357 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086357 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=16345476 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086357 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=16345428 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086357 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3469.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345428 KiB

[startup+2982.3 s]
/proc/loadavg: 4.44 4.57 4.59 8/332 809085
/proc/meminfo: memFree=81190576/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345508 CPUtime=3545.43 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 598308 0 0 0 353921 622 0 0 20 0 20 0 157765684 19566772224 4086377 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086377 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=16345424 CPUtime=2680.95 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) R 807452 807463 803022 0 -1 4194368 147536 0 0 0 267954 141 0 0 20 0 20 0 157765684 19566772224 4086377 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086377 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=16345508 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086377 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=1976 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086377 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3545.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3027.6 s]
/proc/loadavg: 4.48 4.56 4.59 7/332 809095
/proc/meminfo: memFree=81190128/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345588 CPUtime=3600.05 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 624056 0 0 0 359379 626 0 0 20 0 20 0 157765684 19566772224 4086397 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086397 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=40752 CPUtime=2716.24 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 148636 0 0 0 271483 141 0 0 20 0 20 0 157765684 19566772224 4086397 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086397 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086397 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=-9032081638520365756 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086397 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345588 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3029.66 s]
# the end of solver process 807463 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3597.76 s, system=6.31139 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3028.8 s]
/proc/loadavg: 4.48 4.56 4.59 10/332 809095
/proc/meminfo: memFree=81190264/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345656 CPUtime=3602.4 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 624873 0 0 0 359614 626 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086414 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=16345588 CPUtime=2716.24 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 148636 0 0 0 271483 141 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=16345588 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3602.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345656 KiB

[startup+3029.2 s]
/proc/loadavg: 4.48 4.56 4.59 10/332 809095
/proc/meminfo: memFree=81190072/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345656 CPUtime=3603.19 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 624873 0 0 0 359693 626 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086414 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=1480 CPUtime=2716.24 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 148636 0 0 0 271483 141 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=17970 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=3905807457075614536 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=-9032081638520365756 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3603.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345656 KiB

[startup+3029.6 s]
/proc/loadavg: 4.48 4.56 4.59 10/332 809095
/proc/meminfo: memFree=81190072/131524600 swapFree=131071996/131071996
[pid=807463] ppid=807452 vsize=19108176 memory=16345656 CPUtime=3603.99 cores=0,2
/proc/807463/stat : 807463 (java) S 807452 807463 803022 0 -1 1077936128 624873 0 0 0 359773 626 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
/proc/807463/statm: 4777044 4086414 5972 1 0 4097661 0
[pid=807463/tid=807470] ppid=807452 vsize=19108176 memory=-9032081638520365756 CPUtime=2716.24 cores=0,2
/proc/807463/task/807470/stat : 807470 (java) S 807452 807463 803022 0 -1 1077936192 148636 0 0 0 271483 141 0 0 20 0 20 0 157765684 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 157765737 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807510] ppid=807452 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/807463/task/807510/stat : 807510 (Finalizer) S 807452 807463 803022 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157765687 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807533] ppid=807452 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/807463/task/807533/stat : 807533 (Common-Cleaner) S 807452 807463 803022 0 -1 1077936192 751 0 0 0 0 0 0 0 20 0 20 0 157765688 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
[pid=807463/tid=807539] ppid=807452 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/807463/task/807539/stat : 807539 (Timer-0) S 807452 807463 803022 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157765710 19566772224 4086414 134679101440 94037882712064 94037882715760 140725507163280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94037882723576 94037882724368 94037915402240 140725507167239 140725507167329 140725507167329 140725507174344 0
Current children cumulated CPU time: 3603.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16345656 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3029.66
CPU time (s): 3604.07
CPU user time (s): 3597.76
CPU system time (s): 6.31139
CPU usage (%): 118.96
Max. virtual memory (cumulated for all children) (KiB): 19114336
Max. memory (cumulated for all children) (KiB): 16345656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.76
system time used= 6.31139
maximum resident set size= 16346104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112227
involuntary context switches= 51039


# summary of solver processes directly reported to runsolver:
#   pid: 807463
#   total CPU time (s): 3604.07
#   total CPU user time (s): 3597.76
#   total CPU system time (s): 6.31139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49294 second user time and 17.0401 second system time

The end