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: 63837 MiB (59380 MiB free)
memory of node 1: 64465 MiB (50191 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484774-1751294748/watcher-4484774-1751294748 -o /tmp/evaluation-result-4484774-1751294748/solver-4484774-1751294748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751291153-36835 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4484774-1751294748.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37399, runsolver pid=37396
[startup+0.100071 s]*
/proc/loadavg: 4.13 4.39 4.48 6/327 37417
/proc/meminfo: memFree=112178132/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=18930384 memory=48276 CPUtime=0.11 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 5780 0 0 0 8 3 0 0 20 0 18 0 45153516 19384713216 12069 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4732596 12069 5303 1 0 547002 0
[pid=37399/tid=37401] ppid=37396 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 4644 0 0 0 5 2 0 0 20 0 18 0 45153518 19384713216 12069 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45153522 19384713216 12069 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=18930384 memory=59593594259917 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45153523 19384713216 12069 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48276 KiB
[startup+0.213769 s]*
/proc/loadavg: 4.13 4.39 4.48 6/327 37417
/proc/meminfo: memFree=112172588/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=18930384 memory=53316 CPUtime=0.28 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 6450 0 0 0 24 4 0 0 20 0 18 0 45153516 19384713216 13329 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4732596 13329 5367 1 0 547532 0
[pid=37399/tid=37401] ppid=37396 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 4986 0 0 0 14 3 0 0 20 0 18 0 45153518 19384713216 13329 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45153522 19384713216 13329 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45153523 19384713216 13329 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53316 KiB
[startup+0.313651 s]*
/proc/loadavg: 4.20 4.40 4.48 7/327 37417
/proc/meminfo: memFree=112172588/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=18930384 memory=58488 CPUtime=0.43 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 6721 0 0 0 38 5 0 0 20 0 18 0 45153516 19384713216 14622 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4732596 14622 5367 1 0 547733 0
[pid=37399/tid=37401] ppid=37396 vsize=18930384 memory=-6000919481229469036 CPUtime=0.24 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 5163 0 0 0 21 3 0 0 20 0 18 0 45153518 19384713216 14622 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45153522 19384713216 14622 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45153523 19384713216 14622 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58488 KiB
[startup+0.700317 s]
/proc/loadavg: 4.20 4.40 4.48 8/327 37417
/proc/meminfo: memFree=112171580/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=18930384 memory=92860 CPUtime=1.14 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 8543 0 0 0 107 7 0 0 20 0 18 0 45153516 19384713216 23215 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4732596 23215 5431 1 0 548982 0
[pid=37399/tid=37401] ppid=37396 vsize=18930384 memory=18176 CPUtime=0.59 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 5373 0 0 0 55 4 0 0 20 0 18 0 45153518 19384713216 23215 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=18930384 memory=11136 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45153522 19384713216 23215 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45153523 19384713216 23215 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92860 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.40 4.48 6/328 37418
/proc/meminfo: memFree=112076932/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=170248 CPUtime=2.69 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 16718 0 0 0 259 10 0 0 20 0 20 0 45153516 19521036288 42562 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 42562 5495 1 0 552032 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=3200 CPUtime=1.26 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 7263 0 0 0 120 6 0 0 20 0 20 0 45153518 19521036288 42562 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 42562 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 42562 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170248 KiB
[startup+3.10587 s]
/proc/loadavg: 4.20 4.40 4.48 6/329 37419
/proc/meminfo: memFree=111848772/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=417644 CPUtime=5.86 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 25647 0 0 0 569 17 0 0 20 0 20 0 45153516 19521036288 104411 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 104411 5527 1 0 978290 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=11136 CPUtime=2.67 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 7826 0 0 0 258 9 0 0 20 0 20 0 45153518 19521036288 104411 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 104411 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 104411 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45153645 19521036288 104411 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 417644 KiB
[startup+6.30032 s]
/proc/loadavg: 4.26 4.41 4.49 5/329 37419
/proc/meminfo: memFree=111145764/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=1062520 CPUtime=10.23 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 28230 0 0 0 991 32 0 0 20 0 20 0 45153516 19521036288 265630 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 265630 5559 1 0 1217860 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=0 CPUtime=5.67 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 8098 0 0 0 546 21 0 0 20 0 20 0 45153518 19521036288 265630 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 265630 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=-6000919481229469036 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 265630 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45153645 19521036288 265630 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1062520 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.40 4.48 6/329 37420
/proc/meminfo: memFree=110471788/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=1742800 CPUtime=17.97 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 30331 0 0 0 1750 47 0 0 20 0 20 0 45153516 19521036288 435700 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 435700 5559 1 0 1366207 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=0 CPUtime=11.74 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 8470 0 0 0 1142 32 0 0 20 0 20 0 45153518 19521036288 435700 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=1737808 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 435700 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 435700 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45153645 19521036288 435700 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 17.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1742800 KiB
[startup+25.5005 s]
/proc/loadavg: 4.20 4.39 4.48 5/329 37420
/proc/meminfo: memFree=109080828/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=3102528 CPUtime=31.77 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 38411 0 0 0 3101 76 0 0 20 0 20 0 45153516 19521036288 775632 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 775632 5559 1 0 1679547 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=-6000919481229469036 CPUtime=23.89 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 10843 0 0 0 2331 58 0 0 20 0 20 0 45153518 19521036288 775632 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=3196 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 775632 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=1870664 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 775632 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19063512 memory=1870664 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45153645 19521036288 775632 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 31.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3102528 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.35 4.46 5/329 37420
/proc/meminfo: memFree=108467720/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19063512 memory=3685004 CPUtime=58.39 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 44818 0 0 0 5750 89 0 0 20 0 20 0 45153516 19521036288 921251 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4765878 921251 5559 1 0 1679735 0
[pid=37399/tid=37401] ppid=37396 vsize=19063512 memory=3295860 CPUtime=48.55 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 14482 0 0 0 4790 65 0 0 20 0 20 0 45153518 19521036288 921251 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19063512 memory=-6000919481229469036 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45153522 19521036288 921251 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19063512 memory=3168484 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 45153523 19521036288 921251 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19063512 memory=2371352 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45153645 19521036288 921251 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 58.39 s
################
# More data... #
################
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2081345 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=8325380 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 1768 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2081345 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=8325380 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2081345 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3169.32 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8325380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.43 4.49 4.48 6/330 37634
/proc/meminfo: memFree=103811632/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8383788 CPUtime=3240.79 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 289600 0 0 0 323496 583 0 0 20 0 21 0 45153516 19589197824 2095947 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2095947 5559 1 0 2112543 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=8308652 CPUtime=2865.21 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 155912 0 0 0 286383 138 0 0 20 0 21 0 45153518 19589197824 2095947 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=5148 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2095947 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=8383788 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 1899 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2095947 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=3200 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2095947 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3240.79 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8383788 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.49 4.48 5/330 37636
/proc/meminfo: memFree=103569568/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8408796 CPUtime=3308.56 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 295750 0 0 0 330265 591 0 0 20 0 21 0 45153516 19589197824 2102199 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2102199 5559 1 0 2118813 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=21472 CPUtime=2924.31 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 160067 0 0 0 292292 139 0 0 20 0 21 0 45153518 19589197824 2102199 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=8408796 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2102199 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=8408796 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 1900 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2102199 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=16504 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2102199 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3308.56 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8408796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.67 4.54 4.50 6/329 37708
/proc/meminfo: memFree=108165984/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8508848 CPUtime=3381.3 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 300250 0 0 0 337523 607 0 0 20 0 21 0 45153516 19589197824 2127212 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2127212 5559 1 0 2143876 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=8408796 CPUtime=2983.34 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 162835 0 0 0 298192 142 0 0 20 0 21 0 45153518 19589197824 2127212 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=16504 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2127212 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=8508848 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 1939 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2127212 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=-6000919481229469036 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2127212 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3381.3 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8508848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.49 4.48 5/329 37715
/proc/meminfo: memFree=107404252/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8550556 CPUtime=3448.08 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 306042 0 0 0 344193 615 0 0 20 0 21 0 45153516 19589197824 2137639 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2137639 5559 1 0 2154322 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=8550556 CPUtime=3042.19 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 167410 0 0 0 304076 143 0 0 20 0 21 0 45153518 19589197824 2137639 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=8550556 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2137639 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=11136 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 2017 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2137639 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=8550556 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2137639 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3448.08 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8550556 KiB
[startup+3162.3 s]
/proc/loadavg: 4.55 4.52 4.49 5/329 37717
/proc/meminfo: memFree=107038608/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8683996 CPUtime=3526.77 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 313193 0 0 0 352044 633 0 0 20 0 21 0 45153516 19589197824 2170999 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2170999 5559 1 0 2187746 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=5148 CPUtime=3101.32 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 170722 0 0 0 309986 146 0 0 20 0 21 0 45153518 19589197824 2170999 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=-6000919481229469036 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2170999 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=8658956 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 2067 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2170999 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=8658956 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2170999 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3526.77 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8683996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.53 4.50 6/329 37786
/proc/meminfo: memFree=107583500/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8742384 CPUtime=3596.6 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 316638 0 0 0 359014 646 0 0 20 0 21 0 45153516 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2185596 5559 1 0 2202365 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=16504 CPUtime=3160.42 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 173839 0 0 0 315894 148 0 0 20 0 21 0 45153518 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=8741488 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=5148 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 2067 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=16504 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3596.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8742384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3225.6 s]
/proc/loadavg: 4.59 4.53 4.50 5/329 37786
/proc/meminfo: memFree=106457668/131382120 swapFree=33010684/33010684
[pid=37399] ppid=37396 vsize=19130076 memory=8742384 CPUtime=3600.11 cores=0,2
/proc/37399/stat : 37399 (java) S 37396 37399 36820 0 -1 4194304 316793 0 0 0 359364 647 0 0 20 0 21 0 45153516 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
/proc/37399/statm: 4782519 2185596 5559 1 0 2202365 0
[pid=37399/tid=37401] ppid=37396 vsize=19130076 memory=18176 CPUtime=3163.49 cores=0,2
/proc/37399/task/37401/stat : 37401 (java) R 37396 37399 36820 0 -1 4194368 173958 0 0 0 316201 148 0 0 20 0 21 0 45153518 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37410] ppid=37396 vsize=19130076 memory=5148 CPUtime=0 cores=0,2
/proc/37399/task/37410/stat : 37410 (Finalizer) S 37396 37399 36820 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45153522 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37417] ppid=37396 vsize=19130076 memory=0 CPUtime=0 cores=0,2
/proc/37399/task/37417/stat : 37417 (Common-Cleaner) S 37396 37399 36820 0 -1 4194368 2067 0 0 0 0 0 0 0 20 0 21 0 45153523 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
[pid=37399/tid=37419] ppid=37396 vsize=19130076 memory=2764 CPUtime=0 cores=0,2
/proc/37399/task/37419/stat : 37419 (Timer-0) S 37396 37399 36820 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45153645 19589197824 2185596 18446744073709551615 94262374830080 94262374833776 140724678020768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94262374841592 94262374842384 94262398074880 140724678027646 140724678027750 140724678027750 140724678033352 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8742384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3225.81 s]
# the end of solver process 37399 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.94 s, system=6.52411 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3225.8 s]*
/proc/loadavg: 4.59 4.53 4.50 5/310 37789
/proc/meminfo: memFree=114835280/131382120 swapFree=33010684/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): 3225.81
CPU time (s): 3600.47
CPU user time (s): 3593.94
CPU system time (s): 6.52411
CPU usage (%): 111.614
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 8743024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.94
system time used= 6.52411
maximum resident set size= 8743152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114748
involuntary context switches= 27872
# summary of solver processes directly reported to runsolver:
# pid: 37399
# total CPU time (s): 3600.47
# total CPU user time (s): 3593.94
# total CPU system time (s): 6.52411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3287 second user time and 32.9064 second system time
The end