runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (11634 MiB free)
memory of node 1: 16384 MiB (14466 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299312-1532820443/watcher-4299312-1532820443 -o /tmp/evaluation-result-4299312-1532820443/solver-4299312-1532820443 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1644 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4299312-1532820443.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5101, runsolver pid=5098
[startup+0.100769 s]*
/proc/loadavg: 2.02 1.72 1.55 3/215 5116
/proc/meminfo: memFree=26711916/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661052 memory=27160 CPUtime=0.12 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 5192 0 0 0 11 1 0 0 20 0 15 0 99607477 10916917248 6790 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665263 6790 2858 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661052 memory=-8968744328467674304 CPUtime=0.08 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 3121 0 0 0 8 0 0 0 20 0 15 0 99607478 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457993631744 140457989408469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0.01 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) R 5098 5101 1613 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457220679664 140457967583279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 6790 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27160 KiB
[startup+0.210964 s]*
/proc/loadavg: 2.02 1.72 1.55 4/215 5116
/proc/meminfo: memFree=26700256/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661052 memory=39936 CPUtime=0.32 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 8065 0 0 0 31 1 0 0 20 0 15 0 99607477 10916917248 9984 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665263 9984 2955 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5151 0 0 0 18 1 0 0 20 0 15 0 99607478 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457993620048 140457973441893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661052 memory=331 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661052 memory=288370015811270272 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99607480 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0.07 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 807 0 0 0 7 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661052 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607483 10916917248 9984 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 39936 KiB
[startup+0.312024 s]*
/proc/loadavg: 2.02 1.72 1.55 5/215 5116
/proc/meminfo: memFree=26695976/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=44272 CPUtime=0.54 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 8702 0 0 0 52 2 0 0 20 0 15 0 99607477 10916995072 11068 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 11068 3039 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5562 0 0 0 28 1 0 0 20 0 15 0 99607478 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457993635520 140457973441893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=288370015811270272 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) R 5098 5101 1613 0 -1 1077944384 513 0 0 0 3 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457222785360 140457989408469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) R 5098 5101 1613 0 -1 4202560 345 0 0 0 6 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457221721392 140457972785255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=139639659558528 CPUtime=0.13 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 914 0 0 0 13 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=139639659558528 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 11068 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 44272 KiB
[startup+0.700707 s]
/proc/loadavg: 2.02 1.72 1.55 5/215 5116
/proc/meminfo: memFree=26668268/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=92716 CPUtime=1.7 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 16163 0 0 0 167 3 0 0 20 0 15 0 99607477 10916995072 23179 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 23179 3094 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=16028 CPUtime=0.67 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5612 0 0 0 66 1 0 0 20 0 15 0 99607478 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457993635256 140457596810261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=496 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=7157735280213317218 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=7668621184520841834 CPUtime=0.39 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) R 5098 5101 1613 0 -1 4202560 4211 0 0 0 39 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457222785392 140457975453569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=7235688541532613991 CPUtime=0.43 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) R 5098 5101 1613 0 -1 4202560 3874 0 0 0 43 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457221725744 140457973795119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=5866611791061346647 CPUtime=0.18 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 1094 0 0 0 18 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=756 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 23179 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 92716 KiB
[startup+1.5008 s]
/proc/loadavg: 2.02 1.72 1.55 3/215 5116
/proc/meminfo: memFree=26615528/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=187484 CPUtime=2.96 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 16575 0 0 0 292 4 0 0 20 0 15 0 99607477 10916995072 46871 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 46871 3106 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=162888 CPUtime=1.48 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5803 0 0 0 145 3 0 0 20 0 15 0 99607478 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457993635120 140457596939667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 4251 0 0 0 62 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 3912 0 0 0 65 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 1095 0 0 0 18 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=12468290062658 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 46871 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 187484 KiB
[startup+1.91915 s]
# the end of solver process 5101 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.35238 s, system=0.058742 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 2.02 1.72 1.55 3/215 5116
/proc/meminfo: memFree=26615528/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=198076 CPUtime=3.08 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 17586 0 0 0 303 5 0 0 20 0 15 0 99607477 10916995072 49519 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 49519 3129 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=40852 CPUtime=1.57 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5818 0 0 0 154 3 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457993638016 140457596810075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=279279040463088 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 4253 0 0 0 62 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 3914 0 0 0 65 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 1260 0 0 0 18 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 198076 KiB
[startup+1.80073 s]
/proc/loadavg: 2.02 1.72 1.55 3/215 5116
/proc/meminfo: memFree=26615528/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=198076 CPUtime=3.28 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 17599 0 0 0 323 5 0 0 20 0 15 0 99607477 10916995072 49519 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 49519 3129 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5831 0 0 0 174 3 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457993638016 140457596941670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=-6454338467431146081 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=-9178176116494409632 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=74689 CPUtime=0.62 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 4253 0 0 0 62 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 3914 0 0 0 65 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 1260 0 0 0 18 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=8551153264150943621 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49519 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 198076 KiB
[startup+1.90075 s]
/proc/loadavg: 2.02 1.72 1.55 3/215 5116
/proc/meminfo: memFree=26615528/32770624 swapFree=67108860/67108860
[pid=5101] ppid=5098 vsize=10661128 memory=198084 CPUtime=3.38 cores=0,2,4,6
/proc/5101/stat : 5101 (java) S 5098 5101 1613 0 -1 1077944320 17611 0 0 0 333 5 0 0 20 0 15 0 99607477 10916995072 49521 33554432000 4194304 4196468 140731154776736 140731154759280 140457989398263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
/proc/5101/statm: 2665282 49521 3131 1 0 2627263 0
[pid=5101/tid=5103] ppid=5098 vsize=10661128 memory=8112282956445269571 CPUtime=1.87 cores=0,2,4,6
/proc/5101/task/5103/stat : 5103 (java) R 5098 5101 1613 0 -1 4202560 5843 0 0 0 184 3 0 0 20 0 15 0 99607478 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457993638016 140457596937392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5104] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5104/stat : 5104 (java) S 5098 5101 1613 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457915472400 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5105] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5105/stat : 5105 (java) S 5098 5101 1613 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457914419856 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5106] ppid=5098 vsize=10661128 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5106/stat : 5106 (java) S 5098 5101 1613 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457594054928 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5107] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5107/stat : 5107 (java) S 5098 5101 1613 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 99607478 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457593002384 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5108] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5108/stat : 5108 (java) S 5098 5101 1613 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457226996464 140457989409410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5109] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5109/stat : 5109 (java) S 5098 5101 1613 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457225942688 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5110] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5110/stat : 5110 (java) S 5098 5101 1613 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 99607480 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457224889584 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5111] ppid=5098 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5111/stat : 5111 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457223838160 140457989416859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5112] ppid=5098 vsize=10661128 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/5101/task/5112/stat : 5112 (java) S 5098 5101 1613 0 -1 1077944384 4253 0 0 0 62 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457222785264 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5113] ppid=5098 vsize=10661128 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5101/task/5113/stat : 5113 (java) S 5098 5101 1613 0 -1 1077944384 3914 0 0 0 65 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457221732720 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5114] ppid=5098 vsize=10661128 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5101/task/5114/stat : 5114 (java) S 5098 5101 1613 0 -1 1077944384 1260 0 0 0 18 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457220679664 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5115] ppid=5098 vsize=10661128 memory=187484 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5115/stat : 5115 (java) S 5098 5101 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457219627360 140457989408469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
[pid=5101/tid=5116] ppid=5098 vsize=10661128 memory=175196 CPUtime=0 cores=0,2,4,6
/proc/5101/task/5116/stat : 5116 (java) S 5098 5101 1613 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99607483 10916995072 49521 33554432000 4194304 4196468 140731154776736 140457218575408 140457989409410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34152448 140731154781322 140731154781449 140731154781449 140731154784207 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 198084 KiB
Child status: 0
Real time (s): 1.91918
CPU time (s): 3.41112
CPU user time (s): 3.35238
CPU system time (s): 0.058742
CPU usage (%): 177.738
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 198084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.35238
system time used= 0.058742
maximum resident set size= 198476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1246
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 5101
# total CPU time (s): 3.41112
# total CPU user time (s): 3.35238
# total CPU system time (s): 0.058742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03811 second user time and 0.053561 second system time
The end