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 (12500 MiB free)
memory of node 1: 16384 MiB (8923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311872-1534546040/watcher-4311872-1534546040 -o /tmp/evaluation-result-4311872-1534546040/solver-4311872-1534546040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534541041-5718 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1029970666 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311872-1534546040.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=6268, runsolver pid=6265
[startup+0.100165 s]*
/proc/loadavg: 1.46 1.51 1.56 3/215 6283
/proc/meminfo: memFree=21921612/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14082736 memory=30788 CPUtime=0.12 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 6658 0 0 0 11 1 0 0 20 0 15 0 272167154 14420721664 7697 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3520684 7697 3136 1 0 3482761 0
[pid=6268/tid=6270] ppid=6265 vsize=14082736 memory=-8391714059189056704 CPUtime=0.08 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 4710 0 0 0 8 0 0 0 20 0 15 0 272167154 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844923372288 139844919198877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167156 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844392007200 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844390954352 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 272167159 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167159 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0.01 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 272167159 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 7697 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30788 KiB
[startup+0.214854 s]*
/proc/loadavg: 1.46 1.51 1.56 5/215 6283
/proc/meminfo: memFree=21905540/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14082736 memory=47380 CPUtime=0.31 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 10398 0 0 0 29 2 0 0 20 0 15 0 272167154 14420721664 11845 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3520684 11845 3409 1 0 3482761 0
[pid=6268/tid=6270] ppid=6265 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 8100 0 0 0 19 1 0 0 20 0 15 0 272167154 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844923400704 139844554723612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14082736 memory=140151602295258 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272167156 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844392007200 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844390954352 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 15 0 272167159 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 272167159 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0.06 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) R 6265 6268 5687 0 -1 4202560 304 0 0 0 6 0 0 0 20 0 15 0 272167159 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844386744432 139844898146414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 11845 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47380 KiB
[startup+0.310546 s]*
/proc/loadavg: 1.46 1.51 1.56 3/215 6283
/proc/meminfo: memFree=21902252/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14082736 memory=50728 CPUtime=0.44 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 10780 0 0 0 42 2 0 0 20 0 15 0 272167154 14420721664 12682 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3520684 12682 3411 1 0 3482761 0
[pid=6268/tid=6270] ppid=6265 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 8451 0 0 0 28 1 0 0 20 0 15 0 272167154 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844923388464 139844899452353 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14082736 memory=290763883793350679 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14082736 memory=15402683867076248 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272167156 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844392007200 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272167157 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844390954352 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 272167159 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 272167159 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0.07 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 15 0 272167159 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14082736 memory=140151602288256 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167160 14420721664 12682 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50728 KiB
[startup+0.700816 s]
/proc/loadavg: 1.46 1.51 1.56 3/215 6283
/proc/meminfo: memFree=21878068/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14084804 memory=88852 CPUtime=0.99 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 17635 0 0 0 95 4 0 0 20 0 15 0 272167154 14422839296 22213 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3521201 22213 3497 1 0 3483273 0
[pid=6268/tid=6270] ppid=6265 vsize=14084804 memory=1740 CPUtime=0.67 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 14899 0 0 0 64 3 0 0 20 0 15 0 272167154 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844923401056 139844903257438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14084804 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167155 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14084804 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14084804 memory=6132 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272167156 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14084804 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272167157 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844392007200 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14084804 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272167157 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844390954352 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 564 0 0 0 7 0 0 0 20 0 15 0 272167159 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14084804 memory=5787213848606435153 CPUtime=0.07 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 375 0 0 0 7 0 0 0 20 0 15 0 272167159 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) R 6265 6268 5687 0 -1 4202560 414 0 0 0 15 0 0 0 20 0 15 0 272167159 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844386744432 139844919198298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167160 14422839296 22213 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88852 KiB
[startup+1.50157 s]
/proc/loadavg: 1.46 1.51 1.56 3/215 6283
/proc/meminfo: memFree=21845188/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14090948 memory=144308 CPUtime=3.02 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 27278 0 0 0 294 8 0 0 20 0 15 0 272167154 14429130752 36077 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3522737 36077 3538 1 0 3484809 0
[pid=6268/tid=6270] ppid=6265 vsize=14090948 memory=8112282956445269571 CPUtime=1.47 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 19611 0 0 0 142 5 0 0 20 0 15 0 272167154 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844923411736 139844559509092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272167155 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14090948 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14090948 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272167155 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 272167156 14429130752 36077 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
################
# More data... #
################
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 41595 0 0 0 243036 23 0 0 20 0 15 0 272167154 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844923414864 139844559508941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14090948 memory=310536 CPUtime=4.92 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 5369 0 0 0 454 38 0 0 20 0 15 0 272167155 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14090948 memory=308488 CPUtime=4.98 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 4246 0 0 0 460 38 0 0 20 0 15 0 272167155 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14090948 memory=308488 CPUtime=4.97 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 5779 0 0 0 464 33 0 0 20 0 15 0 272167155 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14090948 memory=310536 CPUtime=4.94 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 4196 0 0 0 459 35 0 0 20 0 15 0 272167155 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14090948 memory=310536 CPUtime=4.47 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 6227 0 0 0 417 30 0 0 20 0 15 0 272167156 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844392007264 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14090948 memory=310536 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844390954368 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14090948 memory=310536 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14090948 memory=310536 CPUtime=1.22 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 5263 0 0 0 119 3 0 0 20 0 15 0 272167159 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14090948 memory=310536 CPUtime=1.11 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 5681 0 0 0 110 1 0 0 20 0 15 0 272167159 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14090948 memory=3712 CPUtime=0.49 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 4330 0 0 0 48 1 0 0 20 0 15 0 272167159 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14090948 memory=308488 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14090948 memory=308488 CPUtime=0.93 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1466 0 0 0 46 47 0 0 20 0 15 0 272167160 14429130752 77634 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 2458.73 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 310536 KiB
[startup+2502.3 s]
/proc/loadavg: 1.23 1.35 1.39 3/215 6538
/proc/meminfo: memFree=23230644/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14090948 memory=312584 CPUtime=2519.22 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 86971 0 0 0 251721 201 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3522737 78146 3569 1 0 3484809 0
[pid=6268/tid=6270] ppid=6265 vsize=14090948 memory=310536 CPUtime=2490.26 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 42143 0 0 0 249002 24 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844923414880 139844560552214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.09 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 5454 0 0 0 470 39 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.15 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 4451 0 0 0 477 38 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.14 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 6012 0 0 0 480 34 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.11 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 4292 0 0 0 475 36 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14090948 memory=312584 CPUtime=4.6 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 6405 0 0 0 429 31 0 0 20 0 15 0 272167156 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844392007264 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844390954368 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14090948 memory=3852 CPUtime=1.22 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 5265 0 0 0 119 3 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14090948 memory=2608 CPUtime=1.11 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 5683 0 0 0 110 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14090948 memory=312584 CPUtime=0.5 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 4333 0 0 0 49 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14090948 memory=312584 CPUtime=0.96 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1479 0 0 0 48 48 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 2519.22 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 312584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.11 s]
/proc/loadavg: 1.23 1.35 1.39 3/215 6538
/proc/meminfo: memFree=23230644/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14090948 memory=312584 CPUtime=2520.04 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 86974 0 0 0 251803 201 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3522737 78146 3569 1 0 3484809 0
[pid=6268/tid=6270] ppid=6265 vsize=14090948 memory=310536 CPUtime=2491.06 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 42146 0 0 0 249082 24 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844923414864 139844559749798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.09 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 5454 0 0 0 470 39 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.15 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 4451 0 0 0 477 38 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.14 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 6012 0 0 0 480 34 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.12 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 4292 0 0 0 476 36 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14090948 memory=312584 CPUtime=4.6 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 6405 0 0 0 429 31 0 0 20 0 15 0 272167156 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844392007264 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844390954368 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14090948 memory=312584 CPUtime=1.22 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 5265 0 0 0 119 3 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14090948 memory=312584 CPUtime=1.11 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 5683 0 0 0 110 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14090948 memory=312584 CPUtime=0.5 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 4333 0 0 0 49 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14090948 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14090948 memory=2608 CPUtime=0.96 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1479 0 0 0 48 48 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 312584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.12 s]
# the end of solver process 6268 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.04 s, system=2.02366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2503.11 s]
/proc/loadavg: 1.23 1.35 1.39 3/215 6538
/proc/meminfo: memFree=23230644/32770624 swapFree=67108524/67108860
[pid=6268] ppid=6265 vsize=14090948 memory=312584 CPUtime=2520.04 cores=0,2,4,6
/proc/6268/stat : 6268 (java) S 6265 6268 5687 0 -1 1077944320 86974 0 0 0 251803 201 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 140735996002640 139844919176951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
/proc/6268/statm: 3522737 78146 3569 1 0 3484809 0
[pid=6268/tid=6270] ppid=6265 vsize=14090948 memory=310536 CPUtime=2491.06 cores=0,2,4,6
/proc/6268/task/6270/stat : 6270 (java) R 6265 6268 5687 0 -1 4202560 42146 0 0 0 249082 24 0 0 20 0 15 0 272167154 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844923414864 139844559749798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6271] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.09 cores=0,2,4,6
/proc/6268/task/6271/stat : 6271 (java) S 6265 6268 5687 0 -1 1077944384 5454 0 0 0 470 39 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844875729552 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6272] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.15 cores=0,2,4,6
/proc/6268/task/6272/stat : 6272 (java) S 6265 6268 5687 0 -1 1077944384 4451 0 0 0 477 38 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844874676752 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6273] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.14 cores=0,2,4,6
/proc/6268/task/6273/stat : 6273 (java) S 6265 6268 5687 0 -1 1077944384 6012 0 0 0 480 34 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844513098128 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6274] ppid=6265 vsize=14090948 memory=312584 CPUtime=5.12 cores=0,2,4,6
/proc/6268/task/6274/stat : 6274 (java) S 6265 6268 5687 0 -1 1077944384 4292 0 0 0 476 36 0 0 20 0 15 0 272167155 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844512045328 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6275] ppid=6265 vsize=14090948 memory=312584 CPUtime=4.6 cores=0,2,4,6
/proc/6268/task/6275/stat : 6275 (java) S 6265 6268 5687 0 -1 1077944384 6405 0 0 0 429 31 0 0 20 0 15 0 272167156 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844393061232 139844919188098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6276] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6276/stat : 6276 (java) S 6265 6268 5687 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844392007264 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6277] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6277/stat : 6277 (java) S 6265 6268 5687 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 272167157 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844390954368 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6278] ppid=6265 vsize=14090948 memory=312584 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6278/stat : 6278 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844389902672 139844919195547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6279] ppid=6265 vsize=14090948 memory=312584 CPUtime=1.22 cores=0,2,4,6
/proc/6268/task/6279/stat : 6279 (java) S 6265 6268 5687 0 -1 1077944384 5265 0 0 0 119 3 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844388850032 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6280] ppid=6265 vsize=14090948 memory=312584 CPUtime=1.11 cores=0,2,4,6
/proc/6268/task/6280/stat : 6280 (java) S 6265 6268 5687 0 -1 1077944384 5683 0 0 0 110 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844387797232 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6281] ppid=6265 vsize=14090948 memory=312584 CPUtime=0.5 cores=0,2,4,6
/proc/6268/task/6281/stat : 6281 (java) S 6265 6268 5687 0 -1 1077944384 4333 0 0 0 49 1 0 0 20 0 15 0 272167159 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844386744432 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6282] ppid=6265 vsize=14090948 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/6268/task/6282/stat : 6282 (java) S 6265 6268 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844385691872 139844919187157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
[pid=6268/tid=6283] ppid=6265 vsize=14090948 memory=2608 CPUtime=0.96 cores=0,2,4,6
/proc/6268/task/6283/stat : 6283 (java) S 6265 6268 5687 0 -1 1077944384 1479 0 0 0 48 48 0 0 20 0 15 0 272167160 14429130752 78146 33554432000 4194304 4196468 140735996020096 139844384640176 139844919188098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140735996023880 140735996024073 140735996024073 140735996026831 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 312584 KiB
Child status: 143
Real time (s): 2503.12
CPU time (s): 2520.06
CPU user time (s): 2518.04
CPU system time (s): 2.02366
CPU usage (%): 100.677
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 312584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.04
system time used= 2.02366
maximum resident set size= 313064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182268
involuntary context switches= 6712
# summary of solver processes directly reported to runsolver:
# pid: 6268
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.04
# total CPU system time (s): 2.02366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0715 second user time and 23.3522 second system time
The end