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 (63079 MiB free)
memory of node 1: 64465 MiB (64032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495178-1751159266/watcher-4495178-1751159266 -o /tmp/evaluation-result-4495178-1751159266/solver-4495178-1751159266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751159266-21710 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495178-1751159266.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
solver pid=21757, runsolver pid=21751
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.53 0.95 1.63 5/273 21776
/proc/meminfo: memFree=130153780/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=483604 memory=12928 CPUtime=0 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 699 0 143 0 0 0 0 0 20 0 2 0 31605066 495210496 3232 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 120901 3232 2816 1 0 2499 0
[pid=21757/tid=21774] ppid=21751 vsize=483604 memory=4026532124 CPUtime=0 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 154 0 66 0 0 0 0 0 20 0 2 0 31605073 495210496 3232 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16784588 0 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 483604 KiB
Current children cumulated memory: 12928 KiB
[startup+0.205803 s]*
/proc/loadavg: 0.53 0.95 1.63 5/337 21840
/proc/meminfo: memFree=130075540/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=18930384 memory=47928 CPUtime=0.05 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 5615 0 390 0 3 2 0 0 20 0 18 0 31605066 19384713216 11982 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4732596 11982 5189 1 0 547013 0
[pid=21757/tid=21774] ppid=21751 vsize=18930384 memory=3472328132922704156 CPUtime=0.03 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 4474 0 286 0 1 2 0 0 20 0 18 0 31605073 19384713216 11982 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=18930384 memory=2641 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 11982 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 11982 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47928 KiB
[startup+0.305921 s]*
/proc/loadavg: 0.53 0.95 1.63 10/337 21840
/proc/meminfo: memFree=130049676/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=18930384 memory=58756 CPUtime=0.19 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 6635 0 390 0 16 3 0 0 20 0 18 0 31605066 19384713216 14689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4732596 14689 5349 1 0 547795 0
[pid=21757/tid=21774] ppid=21751 vsize=18930384 memory=-6000919489886251885 CPUtime=0.11 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 5038 0 286 0 9 2 0 0 20 0 18 0 31605073 19384713216 14689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=18930384 memory=-4421386513360513637 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 14689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 14689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58756 KiB
[startup+0.70025 s]
/proc/loadavg: 0.53 0.95 1.63 10/341 21844
/proc/meminfo: memFree=129943804/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=162528 CPUtime=0.95 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 10157 0 390 0 88 7 0 0 20 0 20 0 31605066 19521036288 40632 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 40632 5413 1 0 550295 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=17280 CPUtime=0.44 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 5316 0 286 0 40 4 0 0 20 0 20 0 31605073 19521036288 40632 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 40632 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 40632 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 40632 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162528 KiB
[startup+1.50026 s]
/proc/loadavg: 0.53 0.95 1.63 9/345 21848
/proc/meminfo: memFree=129582744/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=245704 CPUtime=2.52 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 20913 0 391 0 242 10 0 0 20 0 20 0 31605066 19521036288 61426 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 61426 5413 1 0 554478 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=0 CPUtime=1.18 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 5647 0 287 0 113 5 0 0 20 0 20 0 31605073 19521036288 61426 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 61426 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 61426 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 61426 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245704 KiB
[startup+3.10583 s]
/proc/loadavg: 1.05 1.05 1.66 6/345 21848
/proc/meminfo: memFree=127068724/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=1189784 CPUtime=5.3 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 32544 0 391 0 499 31 0 0 20 0 20 0 31605066 19521036288 297446 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 297446 5413 1 0 764662 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=0 CPUtime=2.74 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 6869 0 287 0 250 24 0 0 20 0 20 0 31605073 19521036288 297446 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 297446 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=-6000919502771153773 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 297446 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 297446 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1189784 KiB
[startup+6.30025 s]
/proc/loadavg: 1.05 1.05 1.66 5/345 21848
/proc/meminfo: memFree=122426684/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=1871856 CPUtime=8.99 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 33114 0 391 0 855 44 0 0 20 0 20 0 31605066 19521036288 467964 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 467964 5413 1 0 764674 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=0 CPUtime=5.88 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 7210 0 287 0 553 35 0 0 20 0 20 0 31605073 19521036288 467964 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=1753136 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 467964 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 467964 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=252000 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 467964 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1871856 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.12 1.67 5/345 21848
/proc/meminfo: memFree=121836876/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=1871984 CPUtime=15.53 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 33782 0 391 0 1509 44 0 0 20 0 20 0 31605066 19521036288 467996 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 467996 5413 1 0 764677 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=252000 CPUtime=12.2 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 7783 0 287 0 1185 35 0 0 20 0 20 0 31605073 19521036288 467996 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=-6000919502771153773 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 467996 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=1871984 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 467996 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 467996 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 15.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1871984 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 1.28 1.72 5/345 21849
/proc/meminfo: memFree=121718328/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=1908968 CPUtime=28.52 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 39552 0 391 0 2806 46 0 0 20 0 20 0 31605066 19521036288 477242 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 477242 5413 1 0 764677 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=-6000919502771153773 CPUtime=24.71 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 9393 0 287 0 2435 36 0 0 20 0 20 0 31605073 19521036288 477242 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 477242 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 477242 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 477242 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 28.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1908968 KiB
[startup+51.1062 s]
/proc/loadavg: 2.70 1.50 1.78 6/345 21849
/proc/meminfo: memFree=121538624/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=1991088 CPUtime=54.22 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 43418 0 391 0 5372 50 0 0 20 0 20 0 31605066 19521036288 497772 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 497772 5413 1 0 764677 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=1972596 CPUtime=49.99 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 11621 0 287 0 4962 37 0 0 20 0 20 0 31605073 19521036288 497772 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=1968492 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 497772 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=1968492 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 497772 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 497772 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 54.22 s
Current children cumulated vsize: 19063512 KiB
################
# More data... #
################
/proc/meminfo: memFree=117368184/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3526756 CPUtime=3225.77 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 118247 0 391 0 322368 209 0 0 20 0 20 0 31605066 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 881689 5413 1 0 898457 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=3526756 CPUtime=3203.84 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 45611 0 287 0 320305 79 0 0 20 0 20 0 31605073 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=3098784 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=3526756 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3225.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/340 22022
/proc/meminfo: memFree=117363404/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3526756 CPUtime=3285.66 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 119938 0 391 0 328356 210 0 0 20 0 20 0 31605066 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 881689 5413 1 0 898457 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=3526756 CPUtime=3263.69 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 46436 0 287 0 326290 79 0 0 20 0 20 0 31605073 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=3526756 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=3526756 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 881689 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3285.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/340 22024
/proc/meminfo: memFree=117282632/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3347.04 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 122650 0 391 0 334490 214 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3323.34 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 46907 0 287 0 332254 80 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=3534132 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 1932 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3347.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/339 22026
/proc/meminfo: memFree=117276644/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3409.06 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 124060 0 391 0 340686 220 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=17280 CPUtime=3382.88 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 47610 0 287 0 338208 80 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 1932 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3409.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/340 22031
/proc/meminfo: memFree=117274808/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3469.73 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 127388 0 391 0 346750 223 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=17280 CPUtime=3442.65 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 48367 0 287 0 344185 80 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 1980 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=3534132 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3469.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/340 22033
/proc/meminfo: memFree=117265928/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3531.36 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 130380 0 391 0 352908 228 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3502.28 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 49139 0 287 0 350147 81 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=3534132 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=3534132 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3531.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/339 22102
/proc/meminfo: memFree=118941444/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3594.94 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 130448 0 391 0 359253 241 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3561.59 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 49173 0 287 0 356076 83 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=12672 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 2025 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=3534132 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3594.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3587 s]*
/proc/loadavg: 4.18 4.16 4.10 5/339 22102
/proc/meminfo: memFree=118752652/131249996 swapFree=33010684/33010684
[pid=21757] ppid=21751 vsize=19063512 memory=3534132 CPUtime=3600.07 cores=0,2
/proc/21757/stat : 21757 (java) S 21751 21757 21700 0 -1 4194304 130462 0 391 0 359765 242 0 0 20 0 20 0 31605066 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
/proc/21757/statm: 4765878 883533 5413 1 0 898466 0
[pid=21757/tid=21774] ppid=21751 vsize=19063512 memory=-6000919472673286765 CPUtime=3566.24 cores=0,2
/proc/21757/task/21774/stat : 21774 (java) R 21751 21757 21700 0 -1 4194368 49180 0 287 0 356541 83 0 0 20 0 20 0 31605073 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21811] ppid=21751 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/21757/task/21811/stat : 21811 (Finalizer) S 21751 21757 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21837] ppid=21751 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/21757/task/21837/stat : 21837 (Common-Cleaner) S 21751 21757 21700 0 -1 4194368 2025 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
[pid=21757/tid=21842] ppid=21751 vsize=19063512 memory=2944 CPUtime=0 cores=0,2
/proc/21757/task/21842/stat : 21842 (Timer-0) S 21751 21757 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605103 19521036288 883533 18446744073709551615 93836284162048 93836284165744 140729372580368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93836284173560 93836284174352 93836303888384 140729372584318 140729372584422 140729372584422 140729372590024 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3534132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3587.11 s]
# the end of solver process 21757 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.79 s, system=2.44341 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3587.11
CPU time (s): 3600.24
CPU user time (s): 3597.79
CPU system time (s): 2.44341
CPU usage (%): 100.366
Max. virtual memory (cumulated for all children) (KiB): 19066180
Max. memory (cumulated for all children) (KiB): 3534132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.79
system time used= 2.44341
maximum resident set size= 3535156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131959
page faults= 391
swaps= 0
block input operations= 27864
block output operations= 17464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191931
involuntary context switches= 13522
# summary of solver processes directly reported to runsolver:
# pid: 21757
# total CPU time (s): 3600.24
# total CPU user time (s): 3597.79
# total CPU system time (s): 2.44341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63575 second user time and 17.0785 second system time
The end