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 (62229 MiB free)
memory of node 1: 64465 MiB (63317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542703-1753222103/watcher-4542703-1753222103 -o /tmp/evaluation-result-4542703-1753222103/solver-4542703-1753222103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753222103-162645 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542703-1753222103.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162691, runsolver pid=162685
[startup+0.100081 s]*
/proc/loadavg: 3.83 4.04 4.08 9/316 162770
/proc/meminfo: memFree=128515952/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=18930344 memory=45600 CPUtime=0.09 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 5450 0 0 0 5 4 0 0 20 0 18 0 237889128 19384672256 11400 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4732586 11400 4940 1 0 546694 0
[pid=162691/tid=162706] ppid=162685 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 4574 0 0 0 4 2 0 0 20 0 18 0 237889131 19384713216 11432 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889136 19384713216 11432 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 11432 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45600 KiB
[startup+0.215413 s]*
/proc/loadavg: 3.83 4.04 4.08 8/319 162773
/proc/meminfo: memFree=128495144/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=18930384 memory=50080 CPUtime=0.27 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 6193 0 0 0 22 5 0 0 20 0 18 0 237889128 19384713216 12520 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4732596 12520 5356 1 0 547314 0
[pid=162691/tid=162706] ppid=162685 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 4974 0 0 0 14 3 0 0 20 0 18 0 237889131 19384713216 12552 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889136 19384713216 12552 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 12552 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50080 KiB
[startup+0.317922 s]*
/proc/loadavg: 3.83 4.04 4.08 8/319 162773
/proc/meminfo: memFree=128476556/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=18930384 memory=58104 CPUtime=0.43 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 6658 0 0 0 37 6 0 0 20 0 18 0 237889128 19384713216 14526 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4732596 14526 5356 1 0 547691 0
[pid=162691/tid=162706] ppid=162685 vsize=18930384 memory=-8598889471714042556 CPUtime=0.26 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 5145 0 0 0 22 4 0 0 20 0 18 0 237889131 19384713216 14526 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237889136 19384713216 14526 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237889137 19384713216 14526 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58104 KiB
[startup+0.700367 s]
/proc/loadavg: 3.83 4.04 4.08 13/319 162773
/proc/meminfo: memFree=128462344/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=18996948 memory=69500 CPUtime=1.11 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 7354 0 0 0 103 8 0 0 20 0 19 0 237889128 19452874752 17375 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4749237 17375 5452 1 0 548376 0
[pid=162691/tid=162706] ppid=162685 vsize=18996948 memory=27392 CPUtime=0.56 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 5455 0 0 0 51 5 0 0 20 0 19 0 237889131 19452874752 17375 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237889136 19452874752 17375 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237889137 19452874752 17375 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69500 KiB
[startup+1.50032 s]
/proc/loadavg: 3.83 4.04 4.08 10/323 162777
/proc/meminfo: memFree=128288740/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=182820 CPUtime=2.67 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 21775 0 0 0 252 15 0 0 20 0 20 0 237889128 19521036288 45705 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 45705 5484 1 0 555794 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=3200 CPUtime=1.25 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 5850 0 0 0 117 8 0 0 20 0 20 0 237889131 19521036288 45705 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 45705 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 45705 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889185 19521036288 45705 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182820 KiB
[startup+3.10561 s]
/proc/loadavg: 3.83 4.04 4.08 9/327 162781
/proc/meminfo: memFree=126234176/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=538620 CPUtime=5.79 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 25136 0 0 0 553 26 0 0 20 0 20 0 237889128 19521036288 134655 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 134655 5484 1 0 555844 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=14464 CPUtime=2.75 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 7322 0 0 0 258 17 0 0 20 0 20 0 237889131 19521036288 134655 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 134655 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 134655 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889185 19521036288 134655 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 538620 KiB
[startup+6.30032 s]
/proc/loadavg: 3.85 4.04 4.08 5/327 162781
/proc/meminfo: memFree=122430012/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=1712080 CPUtime=9.81 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 26395 0 0 0 932 49 0 0 20 0 20 0 237889128 19521036288 428020 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 428020 5484 1 0 942288 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=0 CPUtime=5.75 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 7938 0 0 0 537 38 0 0 20 0 20 0 237889131 19521036288 428020 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 428020 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 428020 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=185132 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889185 19521036288 428020 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1712080 KiB
[startup+12.7004 s]
/proc/loadavg: 3.86 4.04 4.08 6/327 162781
/proc/meminfo: memFree=117343396/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=2984960 CPUtime=16.97 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 27769 0 0 0 1618 79 0 0 20 0 20 0 237889128 19521036288 746240 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 746240 5484 1 0 1230560 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=185132 CPUtime=11.78 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 8511 0 0 0 1113 65 0 0 20 0 20 0 237889131 19521036288 746240 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=2923480 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 746240 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 746240 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889185 19521036288 746240 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2984960 KiB
[startup+25.5005 s]
/proc/loadavg: 3.96 4.05 4.08 5/327 162781
/proc/meminfo: memFree=114679940/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=3183752 CPUtime=30.11 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 28911 0 0 0 2926 85 0 0 20 0 20 0 237889128 19521036288 795938 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 795938 5484 1 0 1230579 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=2923480 CPUtime=24.25 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 9492 0 0 0 2355 70 0 0 20 0 20 0 237889131 19521036288 795938 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 795938 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 795938 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=3183624 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237889185 19521036288 795938 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 30.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3183752 KiB
[startup+51.1138 s]
/proc/loadavg: 4.13 4.08 4.09 5/327 162782
/proc/meminfo: memFree=113655368/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19063512 memory=3368212 CPUtime=56.39 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 36116 0 0 0 5546 93 0 0 20 0 20 0 237889128 19521036288 842053 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4765878 842053 5484 1 0 1230584 0
[pid=162691/tid=162706] ppid=162685 vsize=19063512 memory=3368212 CPUtime=49.19 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 13544 0 0 0 4845 74 0 0 20 0 20 0 237889131 19521036288 842053 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19063512 memory=2984960 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237889136 19521036288 842053 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 237889137 19521036288 842053 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19063512 memory=3364100 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2660 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3173.3 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.34 4.34 5/329 162949
/proc/meminfo: memFree=97990004/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3235.91 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 161085 0 0 0 323278 313 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3107.53 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 87074 0 0 0 310653 100 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2660 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3235.91 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.32 4.33 5/329 162951
/proc/meminfo: memFree=97990960/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3298.38 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 163561 0 0 0 329522 316 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3166.59 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 88722 0 0 0 316559 100 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=-8815062253827826364 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2707 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3298.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.35 4.34 6/329 162953
/proc/meminfo: memFree=97535868/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3360.01 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 164713 0 0 0 335681 320 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3225.8 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 89462 0 0 0 322480 100 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2798 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=-8815062253827826364 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3360.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.32 4.33 5/329 162955
/proc/meminfo: memFree=97535820/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3421.31 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 166498 0 0 0 341807 324 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3284.93 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 91114 0 0 0 328392 101 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=17952 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2798 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3421.31 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.29 4.32 5/329 162958
/proc/meminfo: memFree=97535176/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3482.74 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 168483 0 0 0 347946 328 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3344.04 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 92889 0 0 0 334302 102 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=14464 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2865 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3482.74 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.28 4.31 5/329 162960
/proc/meminfo: memFree=97534328/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3544.02 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 168879 0 0 0 354072 330 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3403.38 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 93159 0 0 0 340236 102 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2938 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=4789520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3544.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3515.8 s]
/proc/loadavg: 4.29 4.30 4.32 5/329 162962
/proc/meminfo: memFree=97533600/131382120 swapFree=33010416/33010684
[pid=162691] ppid=162685 vsize=19130076 memory=4789520 CPUtime=3600.06 cores=0,2
/proc/162691/stat : 162691 (java) S 162685 162691 162635 0 -1 4194304 171489 0 0 0 359672 334 0 0 20 0 21 0 237889128 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
/proc/162691/statm: 4782519 1197380 5484 1 0 1232398 0
[pid=162691/tid=162706] ppid=162685 vsize=19130076 memory=2736 CPUtime=3455.49 cores=0,2
/proc/162691/task/162706/stat : 162706 (java) R 162685 162691 162635 0 -1 4194368 95423 0 0 0 345446 103 0 0 20 0 21 0 237889131 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162737] ppid=162685 vsize=19130076 memory=17952 CPUtime=0 cores=0,2
/proc/162691/task/162737/stat : 162737 (Finalizer) S 162685 162691 162635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237889136 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162753] ppid=162685 vsize=19130076 memory=-8815062253827826364 CPUtime=0 cores=0,2
/proc/162691/task/162753/stat : 162753 (Common-Cleaner) S 162685 162691 162635 0 -1 4194368 2938 0 0 0 0 0 0 0 20 0 21 0 237889137 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
[pid=162691/tid=162774] ppid=162685 vsize=19130076 memory=26520 CPUtime=0 cores=0,2
/proc/162691/task/162774/stat : 162774 (Timer-0) S 162685 162691 162635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 237889185 19589197824 1197380 18446744073709551615 94316042805248 94316042808944 140723618820432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94316042816760 94316042817552 94316055961600 140723618826620 140723618826724 140723618826724 140723618832328 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4789520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3516.05 s]
# the end of solver process 162691 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.1 s, system=3.36736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3516.01 s]*
/proc/loadavg: 4.27 4.29 4.32 6/310 162965
/proc/meminfo: memFree=99630760/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3516.05
CPU time (s): 3600.47
CPU user time (s): 3597.1
CPU system time (s): 3.36736
CPU usage (%): 102.401
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 4790288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.1
system time used= 3.36736
maximum resident set size= 4790544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122877
involuntary context switches= 16390
# summary of solver processes directly reported to runsolver:
# pid: 162691
# total CPU time (s): 3600.47
# total CPU user time (s): 3597.1
# total CPU system time (s): 3.36736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2053 second user time and 37.1978 second system time
The end