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: 63708 MiB (57087 MiB free)
memory of node 1: 64465 MiB (54342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517497-1751537082/watcher-4517497-1751537082 -o /tmp/evaluation-result-4517497-1751537082/solver-4517497-1751537082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751529963-73997 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517497-1751537082 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517497-1751537082.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74912, runsolver pid=74909
[startup+0.10006 s]*
/proc/loadavg: 4.25 4.20 4.19 5/341 74930
/proc/meminfo: memFree=114078072/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=18930384 memory=57828 CPUtime=0.13 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 6586 0 0 0 11 2 0 0 20 0 18 0 69386602 19384713216 14457 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4732596 14457 5345 1 0 547620 0
[pid=74912/tid=74914] ppid=74909 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5076 0 0 0 6 1 0 0 20 0 18 0 69386604 19384713216 14457 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 14457 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=18930384 memory=59585004339238 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 14457 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57828 KiB
[startup+0.20586 s]*
/proc/loadavg: 4.25 4.20 4.19 7/341 74930
/proc/meminfo: memFree=114069124/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=18930384 memory=66796 CPUtime=0.32 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 7168 0 0 0 29 3 0 0 20 0 18 0 69386602 19384713216 16699 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4732596 16699 5473 1 0 548020 0
[pid=74912/tid=74914] ppid=74909 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5383 0 0 0 15 2 0 0 20 0 18 0 69386604 19384713216 16699 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 16699 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 16699 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66796 KiB
[startup+0.305842 s]*
/proc/loadavg: 4.25 4.20 4.19 6/341 74930
/proc/meminfo: memFree=114006676/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=18930384 memory=134892 CPUtime=0.49 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 8797 0 0 0 45 4 0 0 20 0 18 0 69386602 19384713216 33723 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4732596 33723 5473 1 0 549119 0
[pid=74912/tid=74914] ppid=74909 vsize=18930384 memory=-6000919468495169640 CPUtime=0.24 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5421 0 0 0 21 3 0 0 20 0 18 0 69386604 19384713216 33723 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 33723 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69386606 19384713216 33723 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 134892 KiB
[startup+0.700235 s]
/proc/loadavg: 4.25 4.20 4.19 6/342 74931
/proc/meminfo: memFree=113982100/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=244600 CPUtime=1.26 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 12697 0 0 0 119 7 0 0 20 0 20 0 69386602 19521036288 61150 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 61150 5505 1 0 552356 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=18688 CPUtime=0.56 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5615 0 0 0 51 5 0 0 20 0 20 0 69386604 19521036288 61150 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 61150 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 61150 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 244600 KiB
[startup+1.50026 s]
/proc/loadavg: 4.25 4.20 4.19 6/343 74932
/proc/meminfo: memFree=113841552/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=453428 CPUtime=2.84 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 24544 0 0 0 270 14 0 0 20 0 20 0 69386602 19521036288 113357 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 113357 5505 1 0 980709 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3328 CPUtime=1.29 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5729 0 0 0 120 9 0 0 20 0 20 0 69386604 19521036288 113357 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 113357 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 113357 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 113357 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 453428 KiB
[startup+3.10584 s]
/proc/loadavg: 4.31 4.22 4.19 6/342 74932
/proc/meminfo: memFree=113429684/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=715112 CPUtime=6.03 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 25092 0 0 0 581 22 0 0 20 0 20 0 69386602 19521036288 178778 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 178778 5505 1 0 980796 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=14976 CPUtime=2.83 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 5838 0 0 0 269 14 0 0 20 0 20 0 69386604 19521036288 178778 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 178778 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 178778 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 178778 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 715112 KiB
[startup+6.30027 s]
/proc/loadavg: 4.31 4.22 4.19 6/342 74932
/proc/meminfo: memFree=112981708/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=1156892 CPUtime=11.12 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 31242 0 0 0 1079 33 0 0 20 0 20 0 69386602 19521036288 289223 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 289223 5505 1 0 980885 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=0 CPUtime=5.92 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 7301 0 0 0 570 22 0 0 20 0 20 0 69386604 19521036288 289223 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 289223 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 289223 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=488248 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 289223 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 11.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1156892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.23 4.20 5/342 74932
/proc/meminfo: memFree=112056816/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=2128100 CPUtime=17.99 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 34100 0 0 0 1744 55 0 0 20 0 20 0 69386602 19521036288 532025 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 532025 5505 1 0 980951 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=488248 CPUtime=12.22 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 8383 0 0 0 1180 42 0 0 20 0 20 0 69386604 19521036288 532025 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=1884260 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 532025 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 532025 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 532025 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.22 4.19 5/342 74932
/proc/meminfo: memFree=111724892/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=2376076 CPUtime=31.04 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 40041 0 0 0 3041 63 0 0 20 0 20 0 69386602 19521036288 594019 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 594019 5537 1 0 980958 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=0 CPUtime=24.85 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 10828 0 0 0 2436 49 0 0 20 0 20 0 69386604 19521036288 594019 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 594019 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=2376076 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 594019 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=2376076 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 594019 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 31.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2376076 KiB
[startup+51.1058 s]
/proc/loadavg: 4.26 4.22 4.19 5/342 74932
/proc/meminfo: memFree=111675340/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=2403352 CPUtime=57.77 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 52503 0 0 0 5707 70 0 0 20 0 20 0 69386602 19521036288 600838 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 600838 5537 1 0 981089 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=2376076 CPUtime=50.1 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 13333 0 0 0 4956 54 0 0 20 0 20 0 69386604 19521036288 600838 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=26512 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 600838 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2044 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3193.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3874888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/343 75302
/proc/meminfo: memFree=111067072/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3255.05 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 168296 0 0 0 324973 532 0 0 20 0 20 0 69386602 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968722 5569 1 0 981842 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3103.3 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 70295 0 0 0 309953 377 0 0 20 0 20 0 69386604 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2045 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3255.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3874888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.53 4.29 4.22 5/344 75305
/proc/meminfo: memFree=111031540/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3316.09 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 170065 0 0 0 331071 538 0 0 20 0 20 0 69386602 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968722 5569 1 0 981842 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3161.72 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 71758 0 0 0 315790 382 0 0 20 0 20 0 69386604 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2098 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3316.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3874888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.21 5/344 75307
/proc/meminfo: memFree=110993060/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3377.04 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 170887 0 0 0 337158 546 0 0 20 0 20 0 69386602 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968722 5569 1 0 981842 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=5632 CPUtime=3220.23 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 72268 0 0 0 321636 387 0 0 20 0 20 0 69386604 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2167 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3377.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3874888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.23 4.20 5/344 75322
/proc/meminfo: memFree=110938224/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3438.08 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 171558 0 0 0 343256 552 0 0 20 0 20 0 69386602 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968722 5569 1 0 981842 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3278.74 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 72782 0 0 0 327483 391 0 0 20 0 20 0 69386604 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3874888 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2167 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=-6000919468495169640 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968722 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3438.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3874888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.25 4.21 5/343 75324
/proc/meminfo: memFree=110909244/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3875016 CPUtime=3499.49 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 174919 0 0 0 349390 559 0 0 20 0 20 0 69386602 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968754 5569 1 0 981847 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3874888 CPUtime=3337.05 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 74157 0 0 0 333309 396 0 0 20 0 20 0 69386604 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=3108160 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3875016 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2168 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=3875016 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3499.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3875016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.23 4.20 5/342 75326
/proc/meminfo: memFree=110867348/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3875016 CPUtime=3560.51 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 176946 0 0 0 355483 568 0 0 20 0 20 0 69386602 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968754 5569 1 0 981847 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=3875016 CPUtime=3395.48 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 75808 0 0 0 339146 402 0 0 20 0 20 0 69386604 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=3875016 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2215 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3560.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3875016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3561.2 s]
/proc/loadavg: 4.34 4.27 4.21 5/343 75329
/proc/meminfo: memFree=110832204/131249996 swapFree=33010160/33010684
[pid=74912] ppid=74909 vsize=19063512 memory=3875016 CPUtime=3600.02 cores=4,6
/proc/74912/stat : 74912 (java) S 74909 74912 73986 0 -1 4194304 177316 0 0 0 359430 572 0 0 20 0 20 0 69386602 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
/proc/74912/statm: 4765878 968754 5569 1 0 981847 0
[pid=74912/tid=74914] ppid=74909 vsize=19063512 memory=2760 CPUtime=3433.47 cores=4,6
/proc/74912/task/74914/stat : 74914 (java) R 74909 74912 73986 0 -1 4194368 75960 0 0 0 342942 405 0 0 20 0 20 0 69386604 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74923] ppid=74909 vsize=19063512 memory=21996 CPUtime=0 cores=4,6
/proc/74912/task/74923/stat : 74923 (Finalizer) S 74909 74912 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74930] ppid=74909 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/74912/task/74930/stat : 74930 (Common-Cleaner) S 74909 74912 73986 0 -1 4194368 2282 0 0 0 0 0 0 0 20 0 20 0 69386606 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
[pid=74912/tid=74932] ppid=74909 vsize=19063512 memory=1664 CPUtime=0 cores=4,6
/proc/74912/task/74932/stat : 74932 (Timer-0) S 74909 74912 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69386671 19521036288 968754 18446744073709551615 94144748986368 94144748990064 140729341799568 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94144748997880 94144748998672 94144750604288 140729341806893 140729341807078 140729341807078 140729341812680 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3875016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3561.33 s]
# the end of solver process 74912 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.5 s, system=5.74107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3561.3 s]*
/proc/loadavg: 4.34 4.27 4.21 5/325 75332
/proc/meminfo: memFree=110833624/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3561.33
CPU time (s): 3600.24
CPU user time (s): 3594.5
CPU system time (s): 5.74107
CPU usage (%): 101.093
Max. virtual memory (cumulated for all children) (KiB): 19067612
Max. memory (cumulated for all children) (KiB): 3875016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.5
system time used= 5.74107
maximum resident set size= 3876168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1977864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145902
involuntary context switches= 19885
# summary of solver processes directly reported to runsolver:
# pid: 74912
# total CPU time (s): 3600.24
# total CPU user time (s): 3594.5
# total CPU system time (s): 5.74107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39414 second user time and 17.2943 second system time
The end