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 (61286 MiB free)
memory of node 1: 64465 MiB (56341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498163-1751273587/watcher-4498163-1751273587 -o /tmp/evaluation-result-4498163-1751273587/solver-4498163-1751273587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751270061-35888 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498163-1751273587.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
solver pid=36841, runsolver pid=36838
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.45 4.40 4.46 5/337 36859
/proc/meminfo: memFree=120417432/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=18930384 memory=57836 CPUtime=0.13 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 6581 0 0 0 11 2 0 0 20 0 18 0 43037348 19384713216 14459 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4732596 14459 5350 1 0 547620 0
[pid=36841/tid=36843] ppid=36838 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5080 0 0 0 7 1 0 0 20 0 18 0 43037350 19384713216 14459 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 14459 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 14459 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57836 KiB
[startup+0.205734 s]*
/proc/loadavg: 4.45 4.40 4.46 7/337 36859
/proc/meminfo: memFree=120411320/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=18930384 memory=64464 CPUtime=0.33 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 7150 0 0 0 30 3 0 0 20 0 18 0 43037348 19384713216 16116 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4732596 16116 5414 1 0 548018 0
[pid=36841/tid=36843] ppid=36838 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5394 0 0 0 15 1 0 0 20 0 18 0 43037350 19384713216 16116 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 16116 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 16116 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64464 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.45 4.40 4.46 6/337 36859
/proc/meminfo: memFree=120382648/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=18930384 memory=92184 CPUtime=0.52 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 8742 0 0 0 48 4 0 0 20 0 18 0 43037348 19384713216 23046 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4732596 23046 5414 1 0 548218 0
[pid=36841/tid=36843] ppid=36838 vsize=18930384 memory=-6000919472739870316 CPUtime=0.26 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5417 0 0 0 24 2 0 0 20 0 18 0 43037350 19384713216 23046 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 23078 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43037352 19384713216 23078 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92184 KiB
[startup+0.70021 s]
/proc/loadavg: 4.45 4.40 4.46 7/338 36860
/proc/meminfo: memFree=120282836/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=199284 CPUtime=1.27 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 17464 0 0 0 120 7 0 0 20 0 20 0 43037348 19521036288 49821 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 49821 5478 1 0 553975 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=17664 CPUtime=0.56 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5542 0 0 0 53 3 0 0 20 0 20 0 43037350 19521036288 49821 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 49821 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 49821 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199284 KiB
[startup+1.50023 s]
/proc/loadavg: 4.45 4.40 4.46 6/339 36861
/proc/meminfo: memFree=120249316/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=240564 CPUtime=2.81 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 20106 0 0 0 273 8 0 0 20 0 20 0 43037348 19521036288 60141 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 60141 5510 1 0 555525 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=3200 CPUtime=1.16 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5581 0 0 0 113 3 0 0 20 0 20 0 43037350 19521036288 60141 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 60141 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 60141 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 60141 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 240564 KiB
[startup+3.10566 s]
/proc/loadavg: 4.50 4.41 4.47 7/339 36861
/proc/meminfo: memFree=119987556/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=489300 CPUtime=6 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 23626 0 0 0 585 15 0 0 20 0 20 0 43037348 19521036288 122325 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 122325 5510 1 0 1029021 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=14572 CPUtime=2.6 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 5678 0 0 0 253 7 0 0 20 0 20 0 43037350 19521036288 122325 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 122325 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 122325 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 122325 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 489300 KiB
[startup+6.30025 s]
/proc/loadavg: 4.50 4.41 4.47 5/339 36861
/proc/meminfo: memFree=119621300/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=880220 CPUtime=10.23 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 30928 0 0 0 999 24 0 0 20 0 20 0 43037348 19521036288 220055 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 220055 5542 1 0 1231683 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=0 CPUtime=5.61 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 6596 0 0 0 549 12 0 0 20 0 20 0 43037350 19521036288 220055 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 220055 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 220055 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=241588 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 220055 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 880220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.46 4.41 4.46 7/339 36861
/proc/meminfo: memFree=118216380/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=2251440 CPUtime=17.44 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 35425 0 0 0 1691 53 0 0 20 0 20 0 43037348 19521036288 562860 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 562860 5542 1 0 1377947 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=241588 CPUtime=11.87 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 8394 0 0 0 1150 37 0 0 20 0 20 0 43037350 19521036288 562860 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=2251440 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 562860 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 562860 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 562860 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 17.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2251440 KiB
[startup+25.5003 s]
/proc/loadavg: 4.43 4.40 4.46 5/339 36861
/proc/meminfo: memFree=118109884/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=2357616 CPUtime=31.32 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 44598 0 0 0 3076 56 0 0 20 0 20 0 43037348 19521036288 589404 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 589404 5542 1 0 1377985 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=0 CPUtime=24.27 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 10353 0 0 0 2389 38 0 0 20 0 20 0 43037350 19521036288 589404 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 589404 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=2356592 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 589404 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=2356336 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 589404 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 31.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2357616 KiB
[startup+51.1056 s]
/proc/loadavg: 4.34 4.39 4.45 5/340 36863
/proc/meminfo: memFree=116659396/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=3736272 CPUtime=57.56 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 53078 0 0 0 5676 80 0 0 20 0 20 0 43037348 19521036288 934068 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 934068 5542 1 0 1378033 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=2357616 CPUtime=49.19 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 14001 0 0 0 4864 55 0 0 20 0 20 0 43037350 19521036288 934068 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=12160 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 934068 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 934068 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=2251440 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1774389 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=6713020 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1393 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1774389 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 1774389 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7097556 KiB
[startup+2742.3 s]
/proc/loadavg: 5.51 5.24 4.94 7/340 37155
/proc/meminfo: memFree=101919324/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=7491584 CPUtime=3113.42 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 288533 0 0 0 310802 540 0 0 20 0 20 0 43037348 19521036288 1872896 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 1872896 5574 1 0 1891235 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=6713020 CPUtime=2696.16 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 136343 0 0 0 269494 122 0 0 20 0 20 0 43037350 19521036288 1872896 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=6713020 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1872896 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=6713020 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1393 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1872896 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=7347692 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 1872896 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3113.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7491584 KiB
[startup+2802.3 s]
/proc/loadavg: 5.14 5.19 4.95 7/340 37157
/proc/meminfo: memFree=101351940/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=7893544 CPUtime=3202.43 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 293124 0 0 0 319669 574 0 0 20 0 20 0 43037348 19521036288 1973386 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 1973386 5574 1 0 1991502 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=7826832 CPUtime=2754.86 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 138249 0 0 0 275356 130 0 0 20 0 20 0 43037350 19521036288 1973386 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=7826832 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1973386 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1436 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 1973386 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=-6000919472739870316 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 1973386 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3202.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7893544 KiB
[startup+2862.3 s]
/proc/loadavg: 5.85 5.39 5.03 7/339 37229
/proc/meminfo: memFree=107645460/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=8385660 CPUtime=3293.33 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 302053 0 0 0 328719 614 0 0 20 0 20 0 43037348 19521036288 2096415 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 2096415 5574 1 0 2114745 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=7825168 CPUtime=2813.34 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 142051 0 0 0 281194 140 0 0 20 0 20 0 43037350 19521036288 2096415 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2096415 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1479 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2096415 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=8285560 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 2096415 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3293.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8385660 KiB
[startup+2922.3 s]
/proc/loadavg: 5.32 5.33 5.03 6/339 37231
/proc/meminfo: memFree=106917204/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=8827556 CPUtime=3379.9 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 309693 0 0 0 337344 646 0 0 20 0 20 0 43037348 19521036288 2206889 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 2206889 5574 1 0 2225462 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=17664 CPUtime=2871.88 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 144738 0 0 0 287039 149 0 0 20 0 20 0 43037350 19521036288 2206889 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2206889 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=8552444 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1549 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2206889 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=8827556 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 2206889 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3379.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8827556 KiB
[startup+2982.3 s]
/proc/loadavg: 5.05 5.25 5.02 5/340 37234
/proc/meminfo: memFree=106436060/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=9077824 CPUtime=3478.41 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 314654 0 0 0 347157 684 0 0 20 0 20 0 43037348 19521036288 2269456 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 2269456 5574 1 0 2288138 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=8952760 CPUtime=2930.29 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 145829 0 0 0 292875 154 0 0 20 0 20 0 43037350 19521036288 2269456 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=8969448 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2269456 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=9077824 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1549 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2269456 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 2269456 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3478.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9077824 KiB
[startup+3042.3 s]
/proc/loadavg: 5.01 5.21 5.02 6/340 37236
/proc/meminfo: memFree=105601668/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=9163524 CPUtime=3568.51 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 322079 0 0 0 356137 714 0 0 20 0 20 0 43037348 19521036288 2290881 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 2290881 5574 1 0 2309024 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=9856 CPUtime=2989.12 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 147349 0 0 0 298756 156 0 0 20 0 20 0 43037350 19521036288 2290881 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=4496 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2290881 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=9163524 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1646 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2290881 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=9163524 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 2290881 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3568.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9163524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3064.6 s]
/proc/loadavg: 4.93 5.18 5.02 6/340 37237
/proc/meminfo: memFree=105043372/131249996 swapFree=33010684/33010684
[pid=36841] ppid=36838 vsize=19063512 memory=9261240 CPUtime=3600.04 cores=0,2
/proc/36841/stat : 36841 (java) S 36838 36841 35399 0 -1 4194304 327286 0 0 0 359282 722 0 0 20 0 20 0 43037348 19521036288 2315310 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
/proc/36841/statm: 4765878 2315310 5574 1 0 2334086 0
[pid=36841/tid=36843] ppid=36838 vsize=19063512 memory=4496 CPUtime=3010.85 cores=0,2
/proc/36841/task/36843/stat : 36843 (java) R 36838 36841 35399 0 -1 4194368 147929 0 0 0 300927 158 0 0 20 0 20 0 43037350 19521036288 2315310 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36852] ppid=36838 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/36841/task/36852/stat : 36852 (Finalizer) S 36838 36841 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2315310 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36859] ppid=36838 vsize=19063512 memory=21692 CPUtime=0 cores=0,2
/proc/36841/task/36859/stat : 36859 (Common-Cleaner) S 36838 36841 35399 0 -1 4194368 1646 0 0 0 0 0 0 0 20 0 20 0 43037352 19521036288 2315310 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
[pid=36841/tid=36861] ppid=36838 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/36841/task/36861/stat : 36861 (Timer-0) S 36838 36841 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43037416 19521036288 2315310 18446744073709551615 94202348769280 94202348772976 140736616614784 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94202348780792 94202348781584 94202373201920 140736616618366 140736616618470 140736616618470 140736616624072 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9261240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3064.71 s]
# the end of solver process 36841 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.98 s, system=7.26167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3064.7 s]*
/proc/loadavg: 4.93 5.18 5.02 6/322 37240
/proc/meminfo: memFree=113929644/131249996 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): 3064.71
CPU time (s): 3600.24
CPU user time (s): 3592.98
CPU system time (s): 7.26167
CPU usage (%): 117.474
Max. virtual memory (cumulated for all children) (KiB): 19068560
Max. memory (cumulated for all children) (KiB): 9275240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.98
system time used= 7.26167
maximum resident set size= 9275240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118137
involuntary context switches= 39114
# summary of solver processes directly reported to runsolver:
# pid: 36841
# total CPU time (s): 3600.24
# total CPU user time (s): 3592.98
# total CPU system time (s): 7.26167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42165 second user time and 14.6387 second system time
The end