runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61825 MiB free)
memory of node 1: 64473 MiB (61090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459462-1721903758/watcher-4459462-1721903758 -o /tmp/evaluation-result-4459462-1721903758/solver-4459462-1721903758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721903758-233447 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459462-1721903758.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
solver pid=233500, runsolver pid=233488
Current StackSize limit: 8192 KiB
[startup+0.100658 s]*
/proc/loadavg: 2.39 3.66 3.96 13/324 233578
/proc/meminfo: memFree=125698584/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=18975048 memory=63612 CPUtime=0.13 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 7269 0 0 0 11 2 0 0 20 0 18 0 26905461 19430449152 15903 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4743762 15903 5755 1 0 549348 0
[pid=233500/tid=233506] ppid=233488 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) D 233488 233500 233436 0 -1 4194368 5791 0 0 0 7 1 0 0 20 0 18 0 26905461 19430449152 15903 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=18975048 memory=1416227 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26905464 19430449152 15903 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26905464 19430449152 15903 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63612 KiB
[startup+0.206654 s]*
/proc/loadavg: 2.39 3.66 3.96 15/324 233578
/proc/meminfo: memFree=125639348/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=18975048 memory=84376 CPUtime=0.33 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 7852 0 0 0 30 3 0 0 20 0 18 0 26905461 19430449152 21094 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4743762 21094 5826 1 0 549728 0
[pid=233500/tid=233506] ppid=233488 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 6086 0 0 0 16 2 0 0 20 0 18 0 26905461 19430449152 21094 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=18975048 memory=1416227 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 26905464 19430449152 21094 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 26905464 19430449152 21094 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84376 KiB
[startup+0.308803 s]*
/proc/loadavg: 2.39 3.66 3.96 17/327 233581
/proc/meminfo: memFree=125470316/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19041612 memory=166708 CPUtime=0.51 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 9525 0 0 0 46 5 0 0 20 0 19 0 26905461 19498610688 41677 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4760403 41677 5841 1 0 551064 0
[pid=233500/tid=233506] ppid=233488 vsize=19041612 memory=-8888809792992944828 CPUtime=0.26 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 6127 0 0 0 23 3 0 0 20 0 19 0 26905461 19498610688 41677 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 26905464 19498610688 41677 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) R 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 26905464 19498610688 41677 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166708 KiB
[startup+0.700653 s]
/proc/loadavg: 2.39 3.66 3.96 14/330 233584
/proc/meminfo: memFree=125337356/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=171912 CPUtime=1.26 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 11555 0 0 0 120 6 0 0 20 0 20 0 26905461 19566772224 42978 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 42978 5879 1 0 552280 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=5476 CPUtime=0.59 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 6263 0 0 0 55 4 0 0 20 0 20 0 26905461 19566772224 42978 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 42978 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=115300 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 42978 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 42978 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171912 KiB
[startup+1.50966 s]
/proc/loadavg: 2.39 3.66 3.96 14/332 233588
/proc/meminfo: memFree=125202084/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=195032 CPUtime=2.86 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 23549 0 0 0 278 8 0 0 20 0 20 0 26905461 19566772224 48758 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 48758 5895 1 0 556325 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=12928 CPUtime=1.34 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 6707 0 0 0 130 4 0 0 20 0 20 0 26905461 19566772224 48758 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 48758 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 48758 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=280291981829360 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 48758 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195032 KiB
[startup+3.10566 s]
/proc/loadavg: 2.39 3.66 3.96 11/332 233588
/proc/meminfo: memFree=124508120/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=393244 CPUtime=6.03 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 28362 0 0 0 591 12 0 0 20 0 20 0 26905461 19566772224 98311 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 98311 5895 1 0 558003 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 7219 0 0 0 284 7 0 0 20 0 20 0 26905461 19566772224 98311 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 98311 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 98311 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 98311 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 393244 KiB
[startup+6.30028 s]
/proc/loadavg: 2.60 3.68 3.96 6/306 233621
/proc/meminfo: memFree=124399800/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=673748 CPUtime=10.45 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 30573 0 0 0 1027 18 0 0 20 0 20 0 26905461 19566772224 168437 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 168437 5895 1 0 558829 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=0 CPUtime=6.08 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 7567 0 0 0 596 12 0 0 20 0 20 0 26905461 19566772224 168437 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=196432 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 168437 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 168437 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 168437 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 10.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 673748 KiB
[startup+12.7003 s]
/proc/loadavg: 2.79 3.71 3.97 5/305 233622
/proc/meminfo: memFree=123512032/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=1352624 CPUtime=17.33 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 43759 0 0 0 1701 32 0 0 20 0 20 0 26905461 19566772224 338156 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 338156 5910 1 0 558845 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=12928 CPUtime=12.43 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 9453 0 0 0 1219 24 0 0 20 0 20 0 26905461 19566772224 338156 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 338156 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 338156 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=-8598891666492596924 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 338156 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 17.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352624 KiB
[startup+25.5003 s]
/proc/loadavg: 2.84 3.67 3.95 5/305 233624
/proc/meminfo: memFree=121905012/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=1399916 CPUtime=30.22 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 46817 0 0 0 2988 34 0 0 20 0 20 0 26905461 19566772224 349979 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 349979 5910 1 0 558845 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=1387492 CPUtime=25.11 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 10752 0 0 0 2486 25 0 0 20 0 20 0 26905461 19566772224 349979 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=-8598891666492596924 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 349979 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=2493 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 349979 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 349979 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 30.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1399916 KiB
[startup+51.1058 s]
/proc/loadavg: 2.97 3.63 3.93 5/305 233629
/proc/meminfo: memFree=120936524/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=1892268 CPUtime=58.17 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 73339 0 0 0 5769 48 0 0 20 0 20 0 26905461 19566772224 473067 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 473067 5909 1 0 669427 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=50.32 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 13666 0 0 0 4999 33 0 0 20 0 20 0 26905461 19566772224 473067 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=1455248 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=110907420/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678388 CPUtime=3211.46 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 299859 0 0 0 320714 432 0 0 20 0 20 0 26905461 19566772224 919597 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919597 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3064.2 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 75634 0 0 0 306356 64 0 0 20 0 20 0 26905461 19566772224 919597 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=68552 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919597 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=3678388 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2591 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919597 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919597 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678388 KiB
[startup+3162.3 s]
/proc/loadavg: 3.43 3.51 3.44 5/308 235331
/proc/meminfo: memFree=110889640/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3275.76 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 305753 0 0 0 327132 444 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3123.43 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 76572 0 0 0 312279 64 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=3678388 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2641 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3275.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
[startup+3222.3 s]
/proc/loadavg: 3.24 3.46 3.43 3/282 235375
/proc/meminfo: memFree=118814760/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3339.89 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 311656 0 0 0 333535 454 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3182.63 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 78089 0 0 0 318198 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=3678388 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2641 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3339.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
[startup+3282.3 s]
/proc/loadavg: 2.60 3.23 3.35 3/282 235444
/proc/meminfo: memFree=118814136/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3404.23 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 316918 0 0 0 339958 465 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3241.9 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 79653 0 0 0 324125 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2691 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=39048 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3404.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
[startup+3342.3 s]
/proc/loadavg: 2.34 3.04 3.28 3/282 235455
/proc/meminfo: memFree=118813540/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3468.66 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 319246 0 0 0 346390 476 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3300.71 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 80181 0 0 0 330006 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2741 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=39048 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3468.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
[startup+3402.3 s]
/proc/loadavg: 2.20 2.86 3.20 3/282 235465
/proc/meminfo: memFree=118812712/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3532.75 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 325067 0 0 0 352790 485 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3359.81 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 81257 0 0 0 335916 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2741 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3532.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
[startup+3462.3 s]
/proc/loadavg: 2.17 2.74 3.13 3/281 235476
/proc/meminfo: memFree=118811988/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3596.85 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 330903 0 0 0 359192 493 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=2493 CPUtime=3418.91 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 82773 0 0 0 341826 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=3678452 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2792 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3596.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3465.4 s]
/proc/loadavg: 2.16 2.72 3.13 3/281 235476
/proc/meminfo: memFree=118811988/131524600 swapFree=131055836/131071996
[pid=233500] ppid=233488 vsize=19108176 memory=3678452 CPUtime=3600.08 cores=4,6
/proc/233500/stat : 233500 (java) S 233488 233500 233436 0 -1 1077936128 330911 0 0 0 359515 493 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
/proc/233500/statm: 4777044 919613 5921 1 0 932768 0
[pid=233500/tid=233506] ppid=233488 vsize=19108176 memory=1717388 CPUtime=3421.99 cores=4,6
/proc/233500/task/233506/stat : 233506 (java) R 233488 233500 233436 0 -1 4194368 82779 0 0 0 342134 65 0 0 20 0 20 0 26905461 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233538] ppid=233488 vsize=19108176 memory=-8598891666492596924 CPUtime=0 cores=4,6
/proc/233500/task/233538/stat : 233538 (Finalizer) S 233488 233500 233436 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233567] ppid=233488 vsize=19108176 memory=1416144 CPUtime=0 cores=4,6
/proc/233500/task/233567/stat : 233567 (Common-Cleaner) S 233488 233500 233436 0 -1 1077936192 2792 0 0 0 0 0 0 0 20 0 20 0 26905464 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
[pid=233500/tid=233583] ppid=233488 vsize=19108176 memory=1401620 CPUtime=0 cores=4,6
/proc/233500/task/233583/stat : 233583 (Timer-0) S 233488 233500 233436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 26905504 19566772224 919613 134679101440 94712647610368 94712647614064 140727838782480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94712647621880 94712647622672 94712667475968 140727838790645 140727838790753 140727838790753 140727838797768 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3678452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3465.45 s]
# the end of solver process 233500 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.23 s, system=4.94809 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3465.45
CPU time (s): 3600.18
CPU user time (s): 3595.23
CPU system time (s): 4.94809
CPU usage (%): 103.888
Max. virtual memory (cumulated for all children) (KiB): 19111036
Max. memory (cumulated for all children) (KiB): 3678452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.23
system time used= 4.94809
maximum resident set size= 3679148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274154
involuntary context switches= 16378
# summary of solver processes directly reported to runsolver:
# pid: 233500
# total CPU time (s): 3600.18
# total CPU user time (s): 3595.23
# total CPU system time (s): 4.94809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38248 second user time and 18.6342 second system time
The end