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 (4628 MiB free)
memory of node 1: 16384 MiB (9994 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294276-1532446984/watcher-4294276-1532446984 -o /tmp/evaluation-result-4294276-1532446984/solver-4294276-1532446984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532446978-19795 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=461205343 HOME/instance-4294276-1532446984.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=20020, runsolver pid=20017
[startup+0.109862 s]*
/proc/loadavg: 0.70 0.83 1.08 4/207 20077
/proc/meminfo: memFree=14966460/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10355560 memory=20632 CPUtime=0.1 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 4821 13108 0 0 2 1 5 2 20 0 9 0 62261537 10604093440 5158 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2588890 5158 2101 1 0 2551431 0
[pid=20020/tid=20073] ppid=20017 vsize=10355560 memory=4351193297984521095 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 2594 13108 0 0 1 0 5 2 20 0 9 0 62261546 10604093440 5158 33554432000 4194304 4196468 140728708007168 140499224551280 140499252737181 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 9 0 62261546 10604093440 5158 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10355560 memory=139741284656768 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 9 0 62261546 10604093440 5158 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10355560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 9 0 62261546 10604093440 5158 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10355560 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 9 0 62261546 10604093440 5158 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10355560 memory=139741284656768 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 9 0 62261548 10604093440 5158 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10355560 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 33 13108 0 0 0 0 5 2 20 0 9 0 62261548 10604093440 5158 33554432000 4194304 4196468 140728708007168 140498710799904 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10355560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 9 0 62261549 10604093440 5158 33554432000 4194304 4196468 140728708007168 140498580792752 140499252725461 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20632 KiB
[startup+0.210212 s]*
/proc/loadavg: 0.70 0.83 1.08 4/216 20086
/proc/meminfo: memFree=14946108/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10818904 memory=43752 CPUtime=0.25 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 8139 13108 0 0 16 2 5 2 20 0 15 0 62261537 11078557696 10938 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2704726 10938 2985 1 0 2667149 0
[pid=20020/tid=20073] ppid=20017 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 4596 13108 0 0 10 1 5 2 20 0 15 0 62261546 11078557696 10938 33554432000 4194304 4196468 140728708007168 140499224530240 140499252727190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10818904 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11078557696 10938 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10818904 memory=139741284988469 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11078557696 10938 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261546 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10818904 memory=139741284656768 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261548 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 33 13108 0 0 0 0 5 2 20 0 15 0 62261548 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498710799904 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498580792688 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11078557696 10938 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 488 13108 0 0 1 0 5 2 20 0 15 0 62261551 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 145 13108 0 0 0 0 5 2 20 0 15 0 62261551 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10818904 memory=139741284656768 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 680 13108 0 0 3 0 5 2 20 0 15 0 62261551 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11078557696 10938 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10818904 memory=139741284656768 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261552 11078557696 10938 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43752 KiB
[startup+0.310309 s]*
/proc/loadavg: 0.70 0.83 1.08 6/216 20086
/proc/meminfo: memFree=14934084/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10819352 memory=54408 CPUtime=0.38 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 10671 13108 0 0 28 3 5 2 20 0 15 0 62261537 11079016448 13602 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2704838 13602 3104 1 0 2667149 0
[pid=20020/tid=20073] ppid=20017 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 7083 13108 0 0 19 2 5 2 20 0 15 0 62261546 11079016448 13602 33554432000 4194304 4196468 140728708007168 140499224527264 140499238410237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 13602 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10819352 memory=139741284663761 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 13602 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261548 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 33 13108 0 0 0 0 5 2 20 0 15 0 62261548 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498710799904 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498580792688 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11079016448 13602 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 493 13108 0 0 1 0 5 2 20 0 15 0 62261551 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 151 13108 0 0 1 0 5 2 20 0 15 0 62261551 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10819352 memory=139741284656768 CPUtime=0.11 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 709 13108 0 0 4 0 5 2 20 0 15 0 62261551 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11079016448 13602 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10819352 memory=139741284656768 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261552 11079016448 13602 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54408 KiB
[startup+0.700786 s]
/proc/loadavg: 0.70 0.83 1.08 5/216 20086
/proc/meminfo: memFree=14910908/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10819352 memory=87632 CPUtime=0.98 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 17126 13108 0 0 86 5 5 2 20 0 15 0 62261537 11079016448 21908 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2704838 21908 3238 1 0 2667149 0
[pid=20020/tid=20073] ppid=20017 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 12256 13108 0 0 55 3 5 2 20 0 15 0 62261546 11079016448 21908 33554432000 4194304 4196468 140728708007168 140499224536976 140499252737181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 21908 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10819352 memory=2439608534529 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 21908 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10819352 memory=546657966 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10819352 memory=4639366808851880611 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261546 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10819352 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 5 13108 0 0 0 0 5 2 20 0 15 0 62261548 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10819352 memory=11528 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 33 13108 0 0 0 0 5 2 20 0 15 0 62261548 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498710799904 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10819352 memory=16432 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498580792688 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10819352 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11079016448 21908 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10819352 memory=644 CPUtime=0.14 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 903 13108 0 0 7 0 5 2 20 0 15 0 62261551 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10819352 memory=956 CPUtime=0.16 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 810 13108 0 0 9 0 5 2 20 0 15 0 62261551 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10819352 memory=1232 CPUtime=0.2 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 919 13108 0 0 13 0 5 2 20 0 15 0 62261551 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10819352 memory=2336 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11079016448 21908 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10819352 memory=6153431502485415780 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261552 11079016448 21908 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87632 KiB
[startup+1.50067 s]
/proc/loadavg: 0.70 0.83 1.08 5/216 20086
/proc/meminfo: memFree=14863648/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10834252 memory=177048 CPUtime=2.25 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 24296 13108 0 0 208 10 5 2 20 0 15 0 62261537 11094274048 44262 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2708563 44262 3476 1 0 2670221 0
[pid=20020/tid=20073] ppid=20017 vsize=10834252 memory=7518026630507424105 CPUtime=1.42 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 17776 13108 0 0 129 6 5 2 20 0 15 0 62261546 11094274048 44262 33554432000 4194304 4196468 140728708007168 140499224546656 140499234121572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10834252 memory=7307184289356141161 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 17 13108 0 0 1 0 5 2 20 0 15 0 62261546 11094274048 44262 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10834252 memory=6152884031628405603 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 19 13108 0 0 1 0 5 2 20 0 15 0 62261546 11094274048 44262 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10834252 memory=-3704326594973231466 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 195 13108 0 0 1 0 5 2 20 0 15 0 62261546 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10834252 memory=7100839861465685612 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 78 13108 0 0 0 0 5 2 20 0 15 0 62261546 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10834252 memory=3054156605268465310 CPUtime=0.08 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 63 13108 0 0 1 0 5 2 20 0 15 0 62261548 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10834252 memory=7822038051842261661 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 34 13108 0 0 0 0 5 2 20 0 15 0 62261548 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498710799968 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10834252 memory=8514726395714825349 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498580792704 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10834252 memory=-8412652177879177843 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11094274048 44262 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10834252 memory=-8707038579349950309 CPUtime=0.26 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 1368 13108 0 0 19 0 5 2 20 0 15 0 62261551 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10834252 memory=-6520471753822164382 CPUtime=0.27 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 1013 13108 0 0 20 0 5 2 20 0 15 0 62261551 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10834252 memory=9047017150487036575 CPUtime=0.39 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 1539 13108 0 0 32 0 5 2 20 0 15 0 62261551 11094274048 44262 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
################
# More data... #
################
[startup+5.47971 s]
# the end of solver process 20020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.3262 s, system=0.288728 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21086 s]
/proc/loadavg: 0.70 0.83 1.08 3/216 20086
/proc/meminfo: memFree=14594884/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10844512 memory=284216 CPUtime=6.35 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 54425 13108 0 0 611 17 5 2 20 0 15 0 62261537 11104780288 71054 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2711128 71054 3507 1 0 2672781 0
[pid=20020/tid=20073] ppid=20017 vsize=10844512 memory=1228 CPUtime=3.08 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 34884 13108 0 0 292 9 5 2 20 0 15 0 62261546 11104780288 71054 33554432000 4194304 4196468 140728708007168 140499224534576 140498865700070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10844512 memory=5372 CPUtime=0.09 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 58 13108 0 0 2 0 5 2 20 0 15 0 62261546 11104780288 71054 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10844512 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 72 13108 0 0 2 0 5 2 20 0 15 0 62261546 11104780288 71054 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 220 13108 0 0 2 0 5 2 20 0 15 0 62261546 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 107 13108 0 0 2 0 5 2 20 0 15 0 62261546 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2663 13108 0 0 3 0 5 2 20 0 15 0 62261548 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 37 13108 0 0 0 0 5 2 20 0 15 0 62261548 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498710799968 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10844512 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498580792704 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11104780288 71054 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10844512 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) R 20017 20020 13949 0 -1 4202560 3214 13108 0 0 85 1 5 2 20 0 15 0 62261551 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498677233440 140499236215638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10844512 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 5021 13108 0 0 113 0 5 2 20 0 15 0 62261551 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10844512 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) R 20017 20020 13949 0 -1 4202560 5949 13108 0 0 104 2 5 2 20 0 15 0 62261551 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498675136624 140499245812091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11104780288 71054 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 7 13108 0 0 0 0 5 2 20 0 15 0 62261552 11104780288 71054 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 284216 KiB
[startup+4.8009 s]
/proc/loadavg: 0.70 0.83 1.08 4/216 20086
/proc/meminfo: memFree=14550840/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10916192 memory=384556 CPUtime=11.08 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 72964 13108 0 0 1079 22 5 2 20 0 15 0 62261537 11178180608 96139 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2729048 96139 3510 1 0 2690701 0
[pid=20020/tid=20073] ppid=20017 vsize=10916192 memory=286056 CPUtime=4.66 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 46147 13108 0 0 447 12 5 2 20 0 15 0 62261546 11178180608 96139 33554432000 4194304 4196468 140728708007168 140499224545336 140498870414594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10916192 memory=343624 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 62 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 96139 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10916192 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 77 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 96139 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10916192 memory=340 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 221 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10916192 memory=2 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 109 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10916192 memory=2 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2665 13108 0 0 3 0 5 2 20 0 15 0 62261548 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10916192 memory=2 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 38 13108 0 0 0 0 5 2 20 0 15 0 62261548 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498710800032 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10916192 memory=2 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498580792704 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10916192 memory=3 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11178180608 96139 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10916192 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) R 20017 20020 13949 0 -1 4202560 8853 13108 0 0 228 2 5 2 20 0 15 0 62261551 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498677220752 140499234243069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10916192 memory=0 CPUtime=2.29 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) R 20017 20020 13949 0 -1 4202560 5436 13108 0 0 221 1 5 2 20 0 15 0 62261551 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498676171792 140499232107664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10916192 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 7152 13108 0 0 164 2 5 2 20 0 15 0 62261551 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10916192 memory=111 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 96139 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10916192 memory=139 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 96139 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 384556 KiB
[startup+5.20073 s]
/proc/loadavg: 0.89 0.86 1.09 4/216 20086
/proc/meminfo: memFree=14461540/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10916192 memory=398100 CPUtime=11.98 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 73300 13108 0 0 1167 24 5 2 20 0 15 0 62261537 11178180608 99525 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2729048 99525 3517 1 0 2690701 0
[pid=20020/tid=20073] ppid=20017 vsize=10916192 memory=0 CPUtime=5.05 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 46165 13108 0 0 486 12 5 2 20 0 15 0 62261546 11178180608 99525 33554432000 4194304 4196468 140728708007168 140499224545760 140498866104632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10916192 memory=4787573085579565092 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 66 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99525 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10916192 memory=7510432583741839257 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 83 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99525 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10916192 memory=-9181546050914066336 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 223 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10916192 memory=3047711566422646390 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 112 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10916192 memory=-8187100386482147110 CPUtime=0.11 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2688 13108 0 0 4 0 5 2 20 0 15 0 62261548 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10916192 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 38 13108 0 0 0 0 5 2 20 0 15 0 62261548 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498710800032 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10916192 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498580792704 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11178180608 99525 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10916192 memory=4208702261186161505 CPUtime=2.63 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 9035 13108 0 0 254 2 5 2 20 0 15 0 62261551 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10916192 memory=7588685688739488100 CPUtime=2.45 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 5471 13108 0 0 236 2 5 2 20 0 15 0 62261551 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10916192 memory=7085678918965486187 CPUtime=1.79 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 7215 13108 0 0 170 2 5 2 20 0 15 0 62261551 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10916192 memory=7229797370763040336 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 99525 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 99525 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 11.98 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 398100 KiB
[startup+5.40061 s]
/proc/loadavg: 0.89 0.86 1.09 4/216 20086
/proc/meminfo: memFree=14461540/32770624 swapFree=67108852/67108860
[pid=20020] ppid=20017 vsize=10916192 memory=398816 CPUtime=12.45 cores=0,2,4,6
/proc/20020/stat : 20020 (java) S 20017 20020 13949 0 -1 1077944320 73537 13108 0 0 1214 24 5 2 20 0 15 0 62261537 11178180608 99704 33554432000 4194304 4196468 140728708007168 140728707989712 140499252715255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
/proc/20020/statm: 2729048 99704 3517 1 0 2690701 0
[pid=20020/tid=20073] ppid=20017 vsize=10916192 memory=288230583166042426 CPUtime=5.25 cores=0,2,4,6
/proc/20020/task/20073/stat : 20073 (java) R 20017 20020 13949 0 -1 4202560 46279 13108 0 0 506 12 5 2 20 0 15 0 62261546 11178180608 99704 33554432000 4194304 4196468 140728708007168 140499224551624 140498855145360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20074] ppid=20017 vsize=10916192 memory=13847469322668609 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20074/stat : 20074 (java) S 20017 20020 13949 0 -1 1077944384 66 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99704 33554432000 4194304 4196468 140728708007168 140499256957584 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20075] ppid=20017 vsize=10916192 memory=-6421031960926448530 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20075/stat : 20075 (java) S 20017 20020 13949 0 -1 1077944384 83 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99704 33554432000 4194304 4196468 140728708007168 140499186715152 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20076] ppid=20017 vsize=10916192 memory=4715433313220523562 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20076/stat : 20076 (java) S 20017 20020 13949 0 -1 1077944384 223 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498824522128 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20077] ppid=20017 vsize=10916192 memory=4196912344889787449 CPUtime=0.1 cores=0,2,4,6
/proc/20020/task/20077/stat : 20077 (java) S 20017 20020 13949 0 -1 1077944384 112 13108 0 0 3 0 5 2 20 0 15 0 62261546 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498823469328 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20078] ppid=20017 vsize=10916192 memory=8257237230706253920 CPUtime=0.11 cores=0,2,4,6
/proc/20020/task/20078/stat : 20078 (java) S 20017 20020 13949 0 -1 1077944384 2688 13108 0 0 4 0 5 2 20 0 15 0 62261548 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498711853936 140499252726402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20079] ppid=20017 vsize=10916192 memory=6944665225511868275 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20079/stat : 20079 (java) S 20017 20020 13949 0 -1 1077944384 38 13108 0 0 0 0 5 2 20 0 15 0 62261548 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498710800032 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20080] ppid=20017 vsize=10916192 memory=-7595754389018307680 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20080/stat : 20080 (java) S 20017 20020 13949 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 62261549 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498580792704 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20081] ppid=20017 vsize=10916192 memory=-8990767739041718176 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20081/stat : 20081 (java) S 20017 20020 13949 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 62261551 11178180608 99704 33554432000 4194304 4196468 140728708007168 140497976813904 140499252733851 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20082] ppid=20017 vsize=10916192 memory=6944656592452807316 CPUtime=2.75 cores=0,2,4,6
/proc/20020/task/20082/stat : 20082 (java) S 20017 20020 13949 0 -1 1077944384 9069 13108 0 0 266 2 5 2 20 0 15 0 62261551 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498677242224 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20083] ppid=20017 vsize=10916192 memory=-6586668835053300882 CPUtime=2.57 cores=0,2,4,6
/proc/20020/task/20083/stat : 20083 (java) S 20017 20020 13949 0 -1 1077944384 5512 13108 0 0 248 2 5 2 20 0 15 0 62261551 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498676189424 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20084] ppid=20017 vsize=10916192 memory=7684433391216329530 CPUtime=1.83 cores=0,2,4,6
/proc/20020/task/20084/stat : 20084 (java) S 20017 20020 13949 0 -1 1077944384 7263 13108 0 0 174 2 5 2 20 0 15 0 62261551 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498675136624 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20085] ppid=20017 vsize=10916192 memory=-7384474665255210089 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20085/stat : 20085 (java) S 20017 20020 13949 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 99704 33554432000 4194304 4196468 140728708007168 140497507051744 140499252725461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
[pid=20020/tid=20086] ppid=20017 vsize=10916192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20020/task/20086/stat : 20086 (java) S 20017 20020 13949 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 62261552 11178180608 99704 33554432000 4194304 4196468 140728708007168 140498674085040 140499252726402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17854464 140728708008559 140728708011356 140728708011356 140728708014031 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 398816 KiB
Child status: 0
Real time (s): 5.47978
CPU time (s): 12.615
CPU user time (s): 12.3262
CPU system time (s): 0.288728
CPU usage (%): 230.209
Max. virtual memory (cumulated for all children) (KiB): 10919020
Max. memory (cumulated for all children) (KiB): 398816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3262
system time used= 0.288728
maximum resident set size= 401296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7863
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 20020
# total CPU time (s): 12.615
# total CPU user time (s): 12.3262
# total CPU system time (s): 0.288728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057511 second user time and 0.093156 second system time
The end