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: 63665 MiB (58819 MiB free)
memory of node 1: 64507 MiB (63870 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495936-1751160468/watcher-4495936-1751160468 -o /tmp/evaluation-result-4495936-1751160468/solver-4495936-1751160468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751156866-21072 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4495936-1751160468.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=21584, runsolver pid=21581
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.11 4.08 5/338 21602
/proc/meminfo: memFree=125611048/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=18930384 memory=59520 CPUtime=0.13 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 6500 0 0 0 11 2 0 0 20 0 18 0 31724602 19384713216 14880 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4732596 14880 5333 1 0 547623 0
[pid=21584/tid=21586] ppid=21581 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5088 0 0 0 7 1 0 0 20 0 18 0 31724603 19384713216 14880 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31724606 19384713216 14880 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=18930384 memory=59585004336188 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31724606 19384713216 14880 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59520 KiB
[startup+0.205714 s]*
/proc/loadavg: 4.10 4.11 4.08 6/339 21603
/proc/meminfo: memFree=125602668/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=18996948 memory=64904 CPUtime=0.31 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 7459 0 0 0 29 2 0 0 20 0 19 0 31724602 19452874752 16226 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4749237 16226 5461 1 0 548579 0
[pid=21584/tid=21586] ppid=21581 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5299 0 0 0 15 1 0 0 20 0 19 0 31724603 19452874752 16226 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=18996948 memory=16163 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 16226 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 16226 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724617 19452874752 16226 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64904 KiB
[startup+0.305633 s]*
/proc/loadavg: 4.10 4.11 4.08 6/339 21603
/proc/meminfo: memFree=125599392/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=18996948 memory=67448 CPUtime=0.51 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 8518 0 0 0 48 3 0 0 20 0 19 0 31724602 19452874752 16862 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4749237 16862 5461 1 0 549203 0
[pid=21584/tid=21586] ppid=21581 vsize=18996948 memory=-6000919502720953197 CPUtime=0.26 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5307 0 0 0 25 1 0 0 20 0 19 0 31724603 19452874752 16862 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 16862 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 16862 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724617 19452874752 16862 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67448 KiB
[startup+0.70025 s]
/proc/loadavg: 4.10 4.11 4.08 6/339 21603
/proc/meminfo: memFree=125584460/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=18996948 memory=95684 CPUtime=1.27 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 15464 0 0 0 123 4 0 0 20 0 19 0 31724602 19452874752 23921 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4749237 23921 5461 1 0 553638 0
[pid=21584/tid=21586] ppid=21581 vsize=18996948 memory=17408 CPUtime=0.63 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5370 0 0 0 62 1 0 0 20 0 19 0 31724603 19452874752 23921 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 23921 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 23921 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=18996948 memory=4740 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724617 19452874752 23921 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95684 KiB
[startup+1.50026 s]
/proc/loadavg: 4.10 4.11 4.08 6/339 21603
/proc/meminfo: memFree=125564928/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=18996948 memory=122132 CPUtime=2.59 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 19692 0 0 0 254 5 0 0 20 0 19 0 31724602 19452874752 30533 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4749237 30533 5461 1 0 554044 0
[pid=21584/tid=21586] ppid=21581 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5717 0 0 0 141 1 0 0 20 0 19 0 31724603 19452874752 30533 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 30533 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31724606 19452874752 30533 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=18996948 memory=4740 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31724617 19452874752 30533 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122132 KiB
[startup+3.10549 s]
/proc/loadavg: 4.33 4.16 4.10 6/339 21670
/proc/meminfo: memFree=127404956/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=192240 CPUtime=4.29 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 21594 0 0 0 423 6 0 0 20 0 20 0 31724602 19521036288 48060 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 48060 5461 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=10496 CPUtime=3.01 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5978 0 0 0 299 2 0 0 20 0 20 0 31724603 19521036288 48060 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=-6000919502720953197 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 48060 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 48060 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 48060 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192240 KiB
[startup+6.30025 s]
/proc/loadavg: 4.33 4.16 4.10 6/340 21671
/proc/meminfo: memFree=127225412/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=215984 CPUtime=7.53 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 21909 0 0 0 746 7 0 0 20 0 20 0 31724602 19521036288 53996 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 53996 5461 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=0 CPUtime=6.16 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 5987 0 0 0 614 2 0 0 20 0 20 0 31724603 19521036288 53996 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 53996 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 53996 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=16520 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 53996 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.15 4.10 6/339 21737
/proc/meminfo: memFree=129304300/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=318676 CPUtime=13.99 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 23597 0 0 0 1390 9 0 0 20 0 20 0 31724602 19521036288 79669 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 79669 5461 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=0 CPUtime=12.48 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 6526 0 0 0 1246 2 0 0 20 0 20 0 31724603 19521036288 79669 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 79669 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=-6000919502720953197 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 79669 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=15460 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 79669 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 318676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.16 4.10 5/340 21738
/proc/meminfo: memFree=128604472/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=458072 CPUtime=26.88 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 25940 0 0 0 2676 12 0 0 20 0 20 0 31724602 19521036288 114518 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 114518 5461 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=417108 CPUtime=25.14 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 7271 0 0 0 2512 2 0 0 20 0 20 0 31724603 19521036288 114518 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 114518 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=355616 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 114518 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=417108 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 114518 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 26.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 458072 KiB
[startup+51.1052 s]
/proc/loadavg: 4.27 4.17 4.10 5/340 21805
/proc/meminfo: memFree=127976812/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=746944 CPUtime=52.61 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 26246 0 0 0 5243 18 0 0 20 0 20 0 31724602 19521036288 186736 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 186736 5461 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=665004 CPUtime=50.49 cores=5,7
################
# More data... #
################
/proc/loadavg: 4.16 4.15 4.10 5/340 21872
/proc/meminfo: memFree=126090136/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=1488452 CPUtime=103.8 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 28694 0 0 0 10347 33 0 0 20 0 20 0 31724602 19521036288 372113 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 372113 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=5632 CPUtime=101.65 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9211 0 0 0 10148 17 0 0 20 0 20 0 31724603 19521036288 372113 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=1281604 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 372113 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 105 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 372113 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 372113 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 103.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1488452 KiB
[startup+115.2 s]
/proc/loadavg: 4.27 4.18 4.11 5/340 21872
/proc/meminfo: memFree=125258268/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=1963604 CPUtime=116.75 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29675 0 0 0 11632 43 0 0 20 0 20 0 31724602 19521036288 490901 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 490901 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=126228 CPUtime=114.23 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9299 0 0 0 11403 20 0 0 20 0 20 0 31724603 19521036288 490901 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=219899232572 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 490901 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=28 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 105 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 490901 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=13 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 490901 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 116.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963604 KiB
[startup+128 s]*
/proc/loadavg: 4.21 4.17 4.10 5/341 21874
/proc/meminfo: memFree=124672156/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=129.63 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29776 0 0 0 12918 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=-6000919472723094381 CPUtime=126.9 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9299 0 0 0 12670 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=2944 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 129.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+134.4 s]
/proc/loadavg: 4.19 4.17 4.10 5/340 21876
/proc/meminfo: memFree=124577948/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=136.01 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29779 0 0 0 13556 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=2111108 CPUtime=133.28 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9302 0 0 0 13308 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=16520 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 136.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+136 s]*
/proc/loadavg: 4.19 4.17 4.10 5/340 21876
/proc/meminfo: memFree=124541216/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=137.61 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29780 0 0 0 13716 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=-6000919472723094381 CPUtime=134.88 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9303 0 0 0 13468 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=6452091039019852091 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=1664252 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=6640 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 137.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+136.8 s]
/proc/loadavg: 4.19 4.17 4.10 5/340 21876
/proc/meminfo: memFree=124541216/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=138.4 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29780 0 0 0 13795 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=1649916 CPUtime=135.68 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9303 0 0 0 13548 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=6640 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=2111108 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=-6000919502720953197 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 138.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+137.6 s]
/proc/loadavg: 4.19 4.17 4.10 5/340 21876
/proc/meminfo: memFree=124524832/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=139.2 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29780 0 0 0 13875 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=2111108 CPUtime=136.48 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9303 0 0 0 13628 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=21576 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=-6000919502720953197 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=2111108 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 139.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+138 s]*
/proc/loadavg: 4.17 4.16 4.10 5/340 21876
/proc/meminfo: memFree=124520736/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19063512 memory=2111108 CPUtime=139.64 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 29795 0 0 0 13919 45 0 0 20 0 20 0 31724602 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4765878 527777 5493 1 0 554335 0
[pid=21584/tid=21586] ppid=21581 vsize=19063512 memory=-6000919472723094381 CPUtime=136.83 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) R 21581 21584 21059 0 -1 4194368 9303 0 0 0 13663 20 0 0 20 0 20 0 31724603 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19063512 memory=6452091039019852091 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19063512 memory=1484328 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21603] ppid=21581 vsize=19063512 memory=6768 CPUtime=0 cores=5,7
/proc/21584/task/21603/stat : 21603 (Timer-0) S 21581 21584 21059 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31724617 19521036288 527777 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 139.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2111108 KiB
[startup+138.106 s]
/proc/loadavg: 4.17 4.16 4.10 5/340 21876
/proc/meminfo: memFree=124520736/131250000 swapFree=33010684/33010684
[pid=21584] ppid=21581 vsize=19196640 memory=2111748 CPUtime=139.79 cores=5,7
/proc/21584/stat : 21584 (java) S 21581 21584 21059 0 -1 4194304 32180 0 0 0 13933 46 0 0 20 0 20 0 31724602 19657359360 527937 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
/proc/21584/statm: 4799160 527937 5525 1 0 554961 0
[pid=21584/tid=21586] ppid=21581 vsize=19196640 memory=1496644 CPUtime=136.86 cores=5,7
/proc/21584/task/21586/stat : 21586 (java) S 21581 21584 21059 0 -1 4194368 10798 0 0 0 13666 20 0 0 20 0 20 0 31724603 19657359360 527937 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21595] ppid=21581 vsize=19196640 memory=2111108 CPUtime=0 cores=5,7
/proc/21584/task/21595/stat : 21595 (Finalizer) S 21581 21584 21059 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31724606 19657359360 527937 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
[pid=21584/tid=21602] ppid=21581 vsize=19196640 memory=0 CPUtime=0 cores=5,7
/proc/21584/task/21602/stat : 21602 (Common-Cleaner) S 21581 21584 21059 0 -1 4194368 119 0 0 0 0 0 0 0 20 0 20 0 31724606 19657359360 527937 18446744073709551615 94031979778048 94031979781744 140731664356848 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94031979789560 94031979790352 94031984414720 140731664365953 140731664366054 140731664366054 140731664371656 0
Current children cumulated CPU time: 139.79 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2111748 KiB
Child status: 10
Real time (s): 138.118
CPU time (s): 139.805
CPU user time (s): 139.336
CPU system time (s): 0.469807
CPU usage (%): 101.222
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2111748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.336
system time used= 0.469807
maximum resident set size= 2112004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5862
involuntary context switches= 763
# summary of solver processes directly reported to runsolver:
# pid: 21584
# total CPU time (s): 139.805
# total CPU user time (s): 139.336
# total CPU system time (s): 0.469807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.348334 second user time and 0.61549 second system time
The end