runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (58328 MiB free)
memory of node 1: 64465 MiB (62388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543600-1753225643/watcher-4543600-1753225643 -o /tmp/evaluation-result-4543600-1753225643/solver-4543600-1753225643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753222103-162647 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4543600-1753225643.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=163342, runsolver pid=163339
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.48 4.34 4.33 7/324 163360
/proc/meminfo: memFree=123555148/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=18930384 memory=48256 CPUtime=0.12 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 5760 0 0 0 9 3 0 0 20 0 18 0 238243074 19384713216 12064 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4732596 12064 5304 1 0 546977 0
[pid=163342/tid=163344] ppid=163339 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 4678 0 0 0 6 2 0 0 20 0 18 0 238243075 19384713216 12064 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238243080 19384713216 12064 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=18930384 memory=55195547748946 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238243081 19384713216 12064 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48256 KiB
[startup+0.215175 s]*
/proc/loadavg: 4.48 4.34 4.33 6/324 163360
/proc/meminfo: memFree=123497364/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=18930384 memory=55372 CPUtime=0.3 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 6473 0 0 0 26 4 0 0 20 0 18 0 238243074 19384713216 13843 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4732596 13843 5336 1 0 547555 0
[pid=163342/tid=163344] ppid=163339 vsize=18930384 memory=4026990876 CPUtime=0.19 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 5002 0 0 0 17 2 0 0 20 0 18 0 238243075 19384713216 13843 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=18930384 memory=2576 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238243080 19384713216 13843 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=18930384 memory=54096036103158 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238243081 19384713216 13843 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55372 KiB
[startup+0.31394 s]*
/proc/loadavg: 4.48 4.34 4.33 5/324 163360
/proc/meminfo: memFree=123446196/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=18930384 memory=58400 CPUtime=0.45 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 6748 0 0 0 40 5 0 0 20 0 18 0 238243074 19384713216 14600 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4732596 14600 5336 1 0 547758 0
[pid=163342/tid=163344] ppid=163339 vsize=18930384 memory=-8528242546799583932 CPUtime=0.28 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 5184 0 0 0 25 3 0 0 20 0 18 0 238243075 19384713216 14600 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238243080 19384713216 14600 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238243081 19384713216 14600 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58400 KiB
[startup+0.700337 s]
/proc/loadavg: 4.48 4.34 4.33 7/325 163361
/proc/meminfo: memFree=123363268/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=18996948 memory=79864 CPUtime=1.16 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 9635 0 0 0 109 7 0 0 20 0 19 0 238243074 19452874752 19966 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4749237 19966 5464 1 0 549508 0
[pid=163342/tid=163344] ppid=163339 vsize=18996948 memory=27392 CPUtime=0.6 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 5442 0 0 0 57 3 0 0 20 0 19 0 238243075 19452874752 19966 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238243080 19452874752 19966 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238243081 19452874752 19966 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=18996948 memory=4896 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238243121 19452874752 19966 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79864 KiB
[startup+1.5003 s]
/proc/loadavg: 4.52 4.35 4.33 7/325 163361
/proc/meminfo: memFree=123061300/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=161480 CPUtime=2.73 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 13929 0 0 0 263 10 0 0 20 0 20 0 238243074 19521036288 40370 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 40370 5496 1 0 550351 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=0 CPUtime=1.29 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 5825 0 0 0 123 6 0 0 20 0 20 0 238243075 19521036288 40370 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 40370 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 40370 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=4896 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 40370 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161480 KiB
[startup+3.10595 s]
/proc/loadavg: 4.52 4.35 4.33 6/326 163362
/proc/meminfo: memFree=122154452/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=443104 CPUtime=5.83 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 19022 0 0 0 566 17 0 0 20 0 20 0 238243074 19521036288 110776 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 110776 5496 1 0 552417 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=11264 CPUtime=2.83 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 6982 0 0 0 272 11 0 0 20 0 20 0 238243075 19521036288 110776 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=-8528242546799583932 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 110776 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 110776 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 110776 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 443104 KiB
[startup+6.30047 s]
/proc/loadavg: 4.48 4.34 4.33 5/326 163362
/proc/meminfo: memFree=120773756/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=1563348 CPUtime=10.48 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 29668 0 0 0 1008 40 0 0 20 0 20 0 238243074 19521036288 390837 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 390837 5496 1 0 744399 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=0 CPUtime=5.95 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 7687 0 0 0 564 31 0 0 20 0 20 0 238243075 19521036288 390837 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 390837 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 390837 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=162632 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 390837 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 10.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1563348 KiB
[startup+12.7004 s]
/proc/loadavg: 4.44 4.34 4.33 5/326 163362
/proc/meminfo: memFree=120073348/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=1792856 CPUtime=17.08 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 30557 0 0 0 1662 46 0 0 20 0 20 0 238243074 19521036288 448214 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 448214 5496 1 0 744403 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=162632 CPUtime=12.15 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 8504 0 0 0 1181 34 0 0 20 0 20 0 238243075 19521036288 448214 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 448214 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=1792856 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 448214 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 448214 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 17.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1792856 KiB
[startup+25.5005 s]
/proc/loadavg: 4.52 4.36 4.34 5/326 163362
/proc/meminfo: memFree=119161344/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=2341104 CPUtime=30.46 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 39600 0 0 0 2989 57 0 0 20 0 20 0 238243074 19521036288 585276 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 585276 5496 1 0 878096 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=-8528242546799583932 CPUtime=24.56 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 10352 0 0 0 2412 44 0 0 20 0 20 0 238243075 19521036288 585276 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 585276 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 585276 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 585276 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 30.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2341104 KiB
[startup+51.1135 s]
/proc/loadavg: 4.44 4.35 4.34 5/326 163362
/proc/meminfo: memFree=117918052/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=2355480 CPUtime=56.06 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 42650 0 0 0 5546 60 0 0 20 0 20 0 238243074 19521036288 588870 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 588870 5496 1 0 878096 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=2353428 CPUtime=49.69 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 12325 0 0 0 4924 45 0 0 20 0 20 0 238243075 19521036288 588870 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=2347268 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 588870 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=2263220 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=113033056/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3592608 CPUtime=3286.84 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 109300 0 0 0 328409 275 0 0 20 0 20 0 238243074 19521036288 898152 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 898152 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=3588512 CPUtime=3265.09 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 49711 0 0 0 326444 65 0 0 20 0 20 0 238243075 19521036288 898152 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 898152 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=3592608 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1670 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 898152 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 898152 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3286.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3592608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.40 4.36 5/326 163803
/proc/meminfo: memFree=112253824/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3346.83 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 112604 0 0 0 334403 280 0 0 20 0 20 0 238243074 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 903788 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3324.72 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 51423 0 0 0 332407 65 0 0 20 0 20 0 238243075 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1670 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3346.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3615152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.37 4.36 5/326 163805
/proc/meminfo: memFree=112229004/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3406.77 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 112899 0 0 0 340393 284 0 0 20 0 20 0 238243074 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 903788 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3384.57 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 51425 0 0 0 338392 65 0 0 20 0 20 0 238243075 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=12928 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1716 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3406.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3615152 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.34 4.35 5/325 163808
/proc/meminfo: memFree=112103048/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3466.68 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 115834 0 0 0 346380 288 0 0 20 0 20 0 238243074 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 903788 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=14464 CPUtime=3444.39 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 52703 0 0 0 344374 65 0 0 20 0 20 0 238243075 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1717 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3466.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3615152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.34 4.34 6/325 163877
/proc/meminfo: memFree=115042988/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3526.58 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 116003 0 0 0 352367 291 0 0 20 0 20 0 238243074 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 903788 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3504.2 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 52704 0 0 0 350355 65 0 0 20 0 20 0 238243075 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1737 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3526.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3615152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.30 4.33 6/324 163944
/proc/meminfo: memFree=119048248/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3586.47 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 119019 0 0 0 358350 297 0 0 20 0 20 0 238243074 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 903788 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=27392 CPUtime=3564 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 53988 0 0 0 356333 67 0 0 20 0 20 0 238243075 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1738 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 903788 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3615152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.9 s]
/proc/loadavg: 4.29 4.31 4.33 5/326 163946
/proc/meminfo: memFree=117005920/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19063512 memory=3617200 CPUtime=3600.05 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 119344 0 0 0 359707 298 0 0 20 0 20 0 238243074 19521036288 904300 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4765878 904300 5496 1 0 1013907 0
[pid=163342/tid=163344] ppid=163339 vsize=19063512 memory=3615152 CPUtime=3577.56 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 54009 0 0 0 357689 67 0 0 20 0 20 0 238243075 19521036288 904300 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19063512 memory=3615152 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238243080 19521036288 904300 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19063512 memory=-8528242546799583932 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 20 0 238243081 19521036288 904300 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163361] ppid=163339 vsize=19063512 memory=3617200 CPUtime=0 cores=1,3
/proc/163342/task/163361/stat : 163361 (Timer-0) S 163339 163342 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238243121 19521036288 904300 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3617200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.14 s]
# the end of solver process 163342 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.38 s, system=3.02071 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3596 s]*
/proc/loadavg: 4.29 4.31 4.33 8/327 163949
/proc/meminfo: memFree=117005672/131382120 swapFree=33010416/33010684
[pid=163342] ppid=163339 vsize=19263204 memory=3617840 CPUtime=3600.27 cores=1,3
/proc/163342/stat : 163342 (java) S 163339 163342 162635 0 -1 4194304 122155 0 0 0 359728 299 0 0 20 0 21 0 238243074 19725520896 904460 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
/proc/163342/statm: 4815801 904460 5496 1 0 1014826 0
[pid=163342/tid=163344] ppid=163339 vsize=19263204 memory=-9032920582972023484 CPUtime=3577.68 cores=1,3
/proc/163342/task/163344/stat : 163344 (java) R 163339 163342 162635 0 -1 4194368 54009 0 0 0 357701 67 0 0 20 0 21 0 238243075 19725520896 904460 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163353] ppid=163339 vsize=19263204 memory=4943436753758730819 CPUtime=0 cores=1,3
/proc/163342/task/163353/stat : 163353 (Finalizer) S 163339 163342 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238243080 19725520896 904460 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163360] ppid=163339 vsize=19263204 memory=7204 CPUtime=0 cores=1,3
/proc/163342/task/163360/stat : 163360 (Common-Cleaner) S 163339 163342 162635 0 -1 4194368 1759 0 0 0 0 0 0 0 20 0 21 0 238243081 19725520896 904460 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
[pid=163342/tid=163948] ppid=163339 vsize=19263204 memory=2212 CPUtime=0.03 cores=1,3
/proc/163342/task/163948/stat : 163948 (Thread-0) R 163339 163342 162635 0 -1 4194368 485 0 0 0 3 0 0 0 20 0 21 0 238602665 19725520896 904460 18446744073709551615 94404973633536 94404973637232 140733953904272 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94404973645048 94404973645840 94404981248000 140733953907068 140733953907172 140733953907172 140733953912776 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3617840 KiB
Child status: 143
Real time (s): 3596.14
CPU time (s): 3600.4
CPU user time (s): 3597.38
CPU system time (s): 3.02071
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3617840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 3.02071
maximum resident set size= 3618224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145433
involuntary context switches= 4128
# summary of solver processes directly reported to runsolver:
# pid: 163342
# total CPU time (s): 3600.4
# total CPU user time (s): 3597.38
# total CPU system time (s): 3.02071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4976 second user time and 36.2343 second system time
The end