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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453192-1721842681/watcher-4453192-1721842681 -o /tmp/evaluation-result-4453192-1721842681/solver-4453192-1721842681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721842681-206634 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453192-1721842681 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453192-1721842681.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=206668, runsolver pid=206662

[startup+0.10006 s]*
/proc/loadavg: 1.00 1.43 2.41 2/260 206696
/proc/meminfo: memFree=115905412/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=37736 memory=2040 CPUtime=0 cores=5,7
/proc/206668/stat : 206668 (java) D 206662 206668 206621 0 -1 4194304 169 0 5 0 0 0 0 0 20 0 1 0 20791698 38641664 510 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 0 0 0 0 17 5 0 0 9 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 9434 510 467 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2040 KiB

[startup+0.205829 s]*
/proc/loadavg: 1.00 1.43 2.41 3/264 206700
/proc/meminfo: memFree=115891300/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=104392 memory=8352 CPUtime=0 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 606 0 13 0 0 0 0 0 20 0 2 0 20791698 106897408 2088 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 0 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 26098 2088 1713 1 0 582 0
[pid=206668/tid=206699] ppid=206662 vsize=104392 memory=6874026233295995011 CPUtime=0 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) D 206662 206668 206621 0 -1 4194368 27 0 5 0 0 0 0 0 20 0 2 0 20791718 106897408 2088 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 0 0 0 0 -1 5 0 0 1 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 8352 KiB

[startup+0.305321 s]*
/proc/loadavg: 1.00 1.43 2.41 2/264 206700
/proc/meminfo: memFree=115860648/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=280404 memory=19328 CPUtime=0.01 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 1350 0 18 0 0 1 0 0 20 0 2 0 20791698 287133696 4832 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16784588 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 70101 4832 2778 1 0 2309 0
[pid=206668/tid=206699] ppid=206662 vsize=280404 memory=-9030953543885628092 CPUtime=0 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) D 206662 206668 206621 0 -1 4456512 771 0 10 0 0 0 0 0 20 0 2 0 20791718 287133696 4832 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16784588 0 0 0 -1 5 0 0 10 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 280404 KiB
Current children cumulated memory: 19328 KiB

[startup+0.704863 s]
/proc/loadavg: 1.00 1.43 2.41 2/328 206764
/proc/meminfo: memFree=115733388/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=18975048 memory=68208 CPUtime=0.24 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 7571 0 56 0 21 3 0 0 20 0 18 0 20791698 19430449152 17052 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4743762 17052 5683 1 0 549533 0
[pid=206668/tid=206699] ppid=206662 vsize=18975048 memory=5468 CPUtime=0.14 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 5992 0 38 0 12 2 0 0 20 0 18 0 20791718 19430449152 17052 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=18975048 memory=449 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20791744 19430449152 17052 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20791748 19430449152 17052 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68208 KiB

[startup+1.50086 s]
/proc/loadavg: 1.00 1.43 2.41 12/333 206769
/proc/meminfo: memFree=115398912/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=177760 CPUtime=1.8 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 12774 0 56 0 174 6 0 0 20 0 20 0 20791698 19566772224 44440 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 44440 5795 1 0 553177 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=5468 CPUtime=0.88 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 6155 0 38 0 84 4 0 0 20 0 20 0 20791718 19566772224 44440 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 44440 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 44440 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=13472 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 44440 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177760 KiB

[startup+3.11398 s]
/proc/loadavg: 1.00 1.43 2.41 8/337 206773
/proc/meminfo: memFree=114420956/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=298868 CPUtime=4.81 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 21962 0 56 0 470 11 0 0 20 0 20 0 20791698 19566772224 74717 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 74717 5801 1 0 554517 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=79292 CPUtime=2.42 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 7658 0 38 0 234 8 0 0 20 0 20 0 20791718 19566772224 74717 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 74717 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=182064 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 74717 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=5532 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 74717 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 298868 KiB

[startup+6.30029 s]
/proc/loadavg: 1.24 1.47 2.42 7/337 206775
/proc/meminfo: memFree=111835440/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=1015840 CPUtime=8.29 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 22870 0 56 0 798 31 0 0 20 0 20 0 20791698 19566772224 253960 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 253960 5801 1 0 675680 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=0 CPUtime=5.53 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 8107 0 38 0 526 27 0 0 20 0 20 0 20791718 19566772224 253960 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=193908 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 253960 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=6935655942756395345 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 253960 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=177760 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 253960 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1015840 KiB

[startup+12.7002 s]
/proc/loadavg: 1.46 1.51 2.43 6/337 206775
/proc/meminfo: memFree=109599940/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=1686812 CPUtime=14.75 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 84001 0 56 0 1420 55 0 0 20 0 20 0 20791698 19566772224 421703 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 421703 5801 1 0 675685 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=1686812 CPUtime=11.82 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 53897 0 38 0 1133 49 0 0 20 0 20 0 20791718 19566772224 421703 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=13472 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 421703 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 421703 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 421703 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1686812 KiB

[startup+25.5009 s]
/proc/loadavg: 2.17 1.67 2.47 6/337 206778
/proc/meminfo: memFree=107577848/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=1739476 CPUtime=27.7 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 107018 0 56 0 2697 73 0 0 20 0 20 0 20791698 19566772224 434869 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 434869 5801 1 0 675685 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=1739428 CPUtime=24.3 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 60024 0 38 0 2366 64 0 0 20 0 20 0 20791718 19566772224 434869 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 434869 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 434869 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=1739476 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 434869 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1739476 KiB

[startup+51.1059 s]
/proc/loadavg: 2.79 1.86 2.51 6/337 206782
/proc/meminfo: memFree=106140724/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=1984116 CPUtime=53.1 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 293039 0 56 0 5193 117 0 0 20 0 20 0 20791698 19566772224 496029 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 496029 5801 1 0 675686 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=1955088 CPUtime=48.64 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 127943 0 38 0 4766 98 0 0 20 0 20 0 20791718 19566772224 496029 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 100 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=1984096 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 496029 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=1955092 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 496029 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=1955092 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 496029 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 53.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1984116 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.22 2.60 6/337 206791
/proc/meminfo: memFree=103935640/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2223212 CPUtime=104.01 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 546500 0 56 0 10216 185 0 0 20 0 20 0 20791698 19566772224 555803 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 555803 5833 1 0 675686 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=2179856 CPUtime=98.21 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 198576 0 38 0 9671 150 0 0 20 0 20 0 20791718 19566772224 555803 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 168 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.17 6/340 208578
/proc/meminfo: memFree=60763708/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2658584 CPUtime=3261.91 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6218892 0 56 0 324153 2038 0 0 20 0 20 0 20791698 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 664646 5833 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=2658584 CPUtime=3217.09 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2978534 0 38 0 319977 1732 0 0 20 0 20 0 20791718 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3384 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=13472 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=2658584 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 3891 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=2658584 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3261.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2658584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.20 4.18 6/338 208589
/proc/meminfo: memFree=60189520/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2658584 CPUtime=3321.77 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6222102 0 56 0 330117 2060 0 0 20 0 20 0 20791698 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 664646 5833 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=2658584 CPUtime=3276.61 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2980546 0 38 0 325909 1752 0 0 20 0 20 0 20791718 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3400 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=-9031797968815760060 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=75556 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 3979 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=2658584 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 664646 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3321.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2658584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.20 4.18 6/338 208599
/proc/meminfo: memFree=59556592/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2658652 CPUtime=3381.67 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6238206 0 56 0 336079 2088 0 0 20 0 20 0 20791698 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 664663 5833 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=-9031797968815760060 CPUtime=3335.13 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2984359 0 38 0 331736 1777 0 0 20 0 20 0 20791718 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3486 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=2658584 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=2658652 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4034 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=2658652 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3381.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2658652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.19 4.18 7/333 208610
/proc/meminfo: memFree=58863340/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2658652 CPUtime=3441.12 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6241348 0 56 0 342001 2111 0 0 20 0 20 0 20791698 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 664663 5833 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=-9031797968815760060 CPUtime=3393.73 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2985427 0 38 0 337576 1797 0 0 20 0 20 0 20791718 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3558 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=2658652 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=2658652 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4066 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=13472 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 664663 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3441.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2658652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.17 6/333 208621
/proc/meminfo: memFree=58232140/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2661156 CPUtime=3500.7 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6244630 0 56 0 347937 2133 0 0 20 0 20 0 20791698 19566772224 665289 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 665289 5833 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=75556 CPUtime=3452.58 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2986969 0 38 0 343441 1817 0 0 20 0 20 0 20791718 19566772224 665289 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3610 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=2661156 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 665289 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=2661156 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4123 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 665289 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=2661156 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 665289 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3500.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2661156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.17 6/333 208631
/proc/meminfo: memFree=57624372/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2662980 CPUtime=3560.7 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6250206 0 56 0 353912 2158 0 0 20 0 20 0 20791698 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 665745 5852 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=2661156 CPUtime=3511.31 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2989184 0 38 0 349292 1839 0 0 20 0 20 0 20791718 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3664 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=12452 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=13472 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4177 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=16080 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3560.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2662980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622 s]*
/proc/loadavg: 4.07 4.14 4.16 5/333 208639
/proc/meminfo: memFree=57194508/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19108176 memory=2662980 CPUtime=3600.08 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6251195 0 56 0 357834 2174 0 0 20 0 20 0 20791698 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4777044 665745 5852 1 0 677325 0
[pid=206668/tid=206699] ppid=206662 vsize=19108176 memory=-9030953543885628092 CPUtime=3550.43 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2989983 0 38 0 353190 1853 0 0 20 0 20 0 20791718 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3699 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19108176 memory=-7162550412441706875 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19108176 memory=2862608 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4228 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206766] ppid=206662 vsize=19108176 memory=2662980 CPUtime=0 cores=5,7
/proc/206668/task/206766/stat : 206766 (Timer-0) S 206662 206668 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 665745 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2662980 KiB

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

[startup+3622.28 s]
# the end of solver process 206668 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3578.64 s, system=21.7611 s

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

[startup+3622.2 s]
/proc/loadavg: 4.07 4.14 4.16 5/333 208639
/proc/meminfo: memFree=57194508/131524600 swapFree=131056796/131071996
[pid=206668] ppid=206662 vsize=19307868 memory=2663860 CPUtime=3600.3 cores=5,7
/proc/206668/stat : 206668 (java) S 206662 206668 206621 0 -1 1077936128 6253397 0 56 0 357856 2174 0 0 20 0 22 0 20791698 19771256832 665965 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 18 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
/proc/206668/statm: 4826967 665965 5865 1 0 678277 0
[pid=206668/tid=206699] ppid=206662 vsize=19307868 memory=1380416 CPUtime=3550.61 cores=5,7
/proc/206668/task/206699/stat : 206699 (java) R 206662 206668 206621 0 -1 4194368 2990174 0 38 0 353208 1853 0 0 20 0 22 0 20791718 19771256832 665965 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3699 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206735] ppid=206662 vsize=19307868 memory=1377657 CPUtime=0 cores=5,7
/proc/206668/task/206735/stat : 206735 (Finalizer) S 206662 206668 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 20791744 19771256832 665965 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
[pid=206668/tid=206761] ppid=206662 vsize=19307868 memory=1591245 CPUtime=0 cores=5,7
/proc/206668/task/206761/stat : 206761 (Common-Cleaner) S 206662 206668 206621 0 -1 1077936192 4228 0 0 0 0 0 0 0 20 0 22 0 20791748 19771256832 665965 134679101440 94659926528000 94659926531696 140726852213760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94659926539512 94659926540304 94659933855744 140726852215723 140726852215905 140726852215905 140726852222920 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2663860 KiB

Child status: 143

Real time (s): 3622.28
CPU time (s): 3600.4
CPU user time (s): 3578.64
CPU system time (s): 21.7611
CPU usage (%): 99.396
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2663860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.64
system time used= 21.7611
maximum resident set size= 2664796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6253666
page faults= 57
swaps= 0
block input operations= 7432
block output operations= 21481448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121498
involuntary context switches= 10396


# summary of solver processes directly reported to runsolver:
#   pid: 206668
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3578.64
#   total CPU system time (s): 21.7611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07545 second user time and 19.1971 second system time

The end