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 (6801 MiB free)
memory of node 1: 16384 MiB (8506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295006-1532510972/watcher-4295006-1532510972 -o /tmp/evaluation-result-4295006-1532510972/solver-4295006-1532510972 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4223 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2053907417 -superng HOME/instance-4295006-1532510972.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=6313, runsolver pid=6310
[startup+0.100138 s]*
/proc/loadavg: 1.94 1.92 1.88 5/209 6370
/proc/meminfo: memFree=15671968/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=9972712 memory=14644 CPUtime=0.09 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 4336 13243 0 0 1 0 5 3 20 0 6 0 68660382 10212057088 3661 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2493178 3661 1932 1 0 2481616 0
[pid=6313/tid=6366] ppid=6310 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 2185 13243 0 0 1 0 5 3 20 0 6 0 68660391 10212057088 3727 33554432000 4194304 4196468 140720972055392 140441371304528 140441383548254 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=9972712 memory=5793855817550625209 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 6 0 68660392 10212057088 3727 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=9972712 memory=140566540732032 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 6 0 68660392 10212057088 3727 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 6 0 68660392 10212057088 3727 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 6 0 68660392 10212057088 3727 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14644 KiB
[startup+0.210305 s]*
/proc/loadavg: 1.94 1.92 1.88 3/218 6379
/proc/meminfo: memFree=15647624/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10818904 memory=42028 CPUtime=0.26 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 7715 13243 0 0 16 2 5 3 20 0 15 0 68660382 11078557696 10507 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2704726 10507 2974 1 0 2667149 0
[pid=6313/tid=6366] ppid=6310 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 4463 13243 0 0 10 1 5 3 20 0 15 0 68660391 11078557696 10705 33554432000 4194304 4196468 140720972055392 140441371263808 140441377490050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10818904 memory=4211974292745522570 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11078557696 10705 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10818904 memory=140566540732032 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10818904 memory=140566540732032 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660393 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 13 13243 0 0 0 0 5 3 20 0 15 0 68660394 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440580215968 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660394 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440196080368 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 488 13243 0 0 1 0 5 3 20 0 15 0 68660397 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 98 13243 0 0 1 0 5 3 20 0 15 0 68660397 11078557696 10705 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10818904 memory=140566540732032 CPUtime=0.11 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 627 13243 0 0 3 0 5 3 20 0 15 0 68660397 11078557696 10771 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11078557696 10771 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10818904 memory=140566540732032 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660397 11078557696 10771 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42028 KiB
[startup+0.310313 s]*
/proc/loadavg: 1.94 1.92 1.88 3/218 6379
/proc/meminfo: memFree=15634600/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10819352 memory=55172 CPUtime=0.39 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 10887 13243 0 0 28 3 5 3 20 0 15 0 68660382 11079016448 13793 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2704838 13793 3093 1 0 2667149 0
[pid=6313/tid=6366] ppid=6310 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 7429 13243 0 0 19 2 5 3 20 0 15 0 68660391 11079016448 13793 33554432000 4194304 4196468 140720972055392 140441371279776 140441383548254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 13793 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10819352 memory=140566540732031 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660393 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 13 13243 0 0 0 0 5 3 20 0 15 0 68660394 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440580215968 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10819352 memory=140566540732032 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660394 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440196080368 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 491 13243 0 0 1 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 104 13243 0 0 1 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 659 13243 0 0 5 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 13793 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55172 KiB
[startup+0.70074 s]
/proc/loadavg: 1.94 1.92 1.88 3/218 6379
/proc/meminfo: memFree=15623692/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10819352 memory=88156 CPUtime=1 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 17167 13243 0 0 88 4 5 3 20 0 15 0 68660382 11079016448 22039 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2704838 22039 3246 1 0 2667149 0
[pid=6313/tid=6366] ppid=6310 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 12502 13243 0 0 56 3 5 3 20 0 15 0 68660391 11079016448 22039 33554432000 4194304 4196468 140720972055392 140441371288056 140441381032219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 22039 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10819352 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 68660392 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10819352 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 15 0 68660393 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10819352 memory=140566427870448 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 13 13243 0 0 0 0 5 3 20 0 15 0 68660394 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440580215968 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660394 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440196080368 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10819352 memory=6944656575208382560 CPUtime=0.15 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 861 13243 0 0 7 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10819352 memory=6656426216303648864 CPUtime=0.18 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 752 13243 0 0 10 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 828 13243 0 0 13 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10819352 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660397 11079016448 22039 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88156 KiB
[startup+1.5059 s]
/proc/loadavg: 1.94 1.92 1.88 3/218 6379
/proc/meminfo: memFree=15577868/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10832204 memory=194304 CPUtime=2.83 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 25362 13243 0 0 266 9 5 3 20 0 15 0 68660382 11092176896 48576 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2708051 48576 3456 1 0 2669709 0
[pid=6313/tid=6366] ppid=6310 vsize=10832204 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) S 6310 6313 4192 0 -1 1077944384 17130 13243 0 0 130 6 5 3 20 0 15 0 68660391 11092176896 48576 33554432000 4194304 4196468 140720972055392 140441371282960 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10832204 memory=4132 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) R 6310 6313 4192 0 -1 4202560 16 13243 0 0 1 0 5 3 20 0 15 0 68660392 11092176896 48576 33554432000 4194304 4196468 140720972055392 140441403710480 140441384168451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10832204 memory=20856 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) R 6310 6313 4192 0 -1 4202560 164 13243 0 0 1 0 5 3 20 0 15 0 68660392 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440972397712 140441392095975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10832204 memory=1292 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) R 6310 6313 4192 0 -1 4202560 20 13243 0 0 1 0 5 3 20 0 15 0 68660392 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440971344656 140441392095975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10832204 memory=103072 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) R 6310 6313 4192 0 -1 4202560 61 13243 0 0 1 0 5 3 20 0 15 0 68660392 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440970292232 140441392095975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10832204 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 40 13243 0 0 1 0 5 3 20 0 15 0 68660393 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440858747680 140441399477973 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 13 13243 0 0 0 0 5 3 20 0 15 0 68660394 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440580215968 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660394 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440196080368 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10832204 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 2208 13243 0 0 43 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10832204 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 1832 13243 0 0 42 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10832204 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 1678 13243 0 0 42 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10832204 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10832204 memory=16100360058046859 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 68660397 11092176896 48576 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 286943 13243 0 0 205471 45 5 3 20 0 15 0 68660391 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140441371301312 140441017886028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10850656 memory=5586264 CPUtime=84.98 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 79183 13243 0 0 8307 183 5 3 20 0 15 0 68660392 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10850656 memory=5586276 CPUtime=85.18 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 85430 13243 0 0 8330 180 5 3 20 0 15 0 68660392 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10850656 memory=281132857008640 CPUtime=85.06 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 73404 13243 0 0 8318 180 5 3 20 0 15 0 68660392 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10850656 memory=5586276 CPUtime=85.07 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 81329 13243 0 0 8315 184 5 3 20 0 15 0 68660392 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10850656 memory=5586276 CPUtime=1.18 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 98830 13243 0 0 99 11 5 3 20 0 15 0 68660393 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10850656 memory=5586276 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 27 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440580216032 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10850656 memory=5586276 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440196080384 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10850656 memory=5586276 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10850656 memory=5586264 CPUtime=14.42 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 81041 13243 0 0 1425 9 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10850656 memory=5586248 CPUtime=13.86 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 63157 13243 0 0 1370 8 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10850656 memory=5586248 CPUtime=4.59 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 72707 13243 0 0 441 10 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10850656 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10850656 memory=5586264 CPUtime=1.31 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1895 13243 0 0 61 62 5 3 20 0 15 0 68660397 11111071744 1396562 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 2430.28 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5586248 KiB
[startup+2202.3 s]
/proc/loadavg: 1.69 1.99 1.94 3/220 6601
/proc/meminfo: memFree=10115828/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10850656 memory=5586112 CPUtime=2491.29 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 945613 13243 0 0 248261 860 5 3 20 0 15 0 68660382 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2712664 1396528 3534 1 0 2674317 0
[pid=6313/tid=6366] ppid=6310 vsize=10850656 memory=3848 CPUtime=2114.9 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 295043 13243 0 0 211435 47 5 3 20 0 15 0 68660391 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140441371300552 140441025768602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10850656 memory=5586112 CPUtime=85.3 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 81223 13243 0 0 8339 183 5 3 20 0 15 0 68660392 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10850656 memory=5586208 CPUtime=85.51 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 86663 13243 0 0 8363 180 5 3 20 0 15 0 68660392 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10850656 memory=5586112 CPUtime=85.38 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 75989 13243 0 0 8350 180 5 3 20 0 15 0 68660392 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10850656 memory=5586252 CPUtime=85.39 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 84088 13243 0 0 8347 184 5 3 20 0 15 0 68660392 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10850656 memory=5586184 CPUtime=1.19 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 99529 13243 0 0 100 11 5 3 20 0 15 0 68660393 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10850656 memory=5586216 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 27 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440580216032 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10850656 memory=5586216 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440196080384 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10850656 memory=5586204 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10850656 memory=5586112 CPUtime=14.42 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 81051 13243 0 0 1425 9 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10850656 memory=5586112 CPUtime=13.86 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 65147 13243 0 0 1370 8 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10850656 memory=5586112 CPUtime=4.59 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 72713 13243 0 0 441 10 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10850656 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10850656 memory=796 CPUtime=1.34 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1937 13243 0 0 62 64 5 3 20 0 15 0 68660397 11111071744 1396528 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 2491.29 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5586112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2230 s]*
/proc/loadavg: 1.68 1.96 1.94 3/219 6601
/proc/meminfo: memFree=10114668/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=10850656 memory=5586232 CPUtime=2520.01 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 950815 13243 0 0 251130 863 5 3 20 0 15 0 68660382 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2712664 1396558 3534 1 0 2674317 0
[pid=6313/tid=6366] ppid=6310 vsize=10850656 memory=8112282956445269571 CPUtime=2142.27 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) R 6310 6313 4192 0 -1 4202560 298053 13243 0 0 214172 47 5 3 20 0 15 0 68660391 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140441371298688 140441017560888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=10850656 memory=-7003737579269690708 CPUtime=85.63 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) S 6310 6313 4192 0 -1 1077944384 81491 13243 0 0 8372 183 5 3 20 0 15 0 68660392 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140441403710480 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=10850656 memory=5586232 CPUtime=85.85 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) S 6310 6313 4192 0 -1 1077944384 87191 13243 0 0 8396 181 5 3 20 0 15 0 68660392 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440972397712 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=10850656 memory=1408 CPUtime=85.72 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) S 6310 6313 4192 0 -1 1077944384 76451 13243 0 0 8383 181 5 3 20 0 15 0 68660392 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440971344656 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=10850656 memory=3096 CPUtime=85.72 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) S 6310 6313 4192 0 -1 1077944384 84829 13243 0 0 8379 185 5 3 20 0 15 0 68660392 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440970292112 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=10850656 memory=4901868 CPUtime=1.19 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 99652 13243 0 0 100 11 5 3 20 0 15 0 68660393 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440858749168 140441399478914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=10850656 memory=7300713684968761700 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 27 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440580216032 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=10850656 memory=7584172172082901604 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 15 0 68660394 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440196080384 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=10850656 memory=7955169376970692457 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=10850656 memory=4132 CPUtime=14.42 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 81051 13243 0 0 1425 9 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=10850656 memory=20908 CPUtime=13.86 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 65147 13243 0 0 1370 8 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=10850656 memory=1292 CPUtime=4.6 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 72775 13243 0 0 442 10 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=10850656 memory=2444 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=10850656 memory=3096 CPUtime=1.36 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1945 13243 0 0 63 65 5 3 20 0 15 0 68660397 11111071744 1396558 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5586232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2230.18 s]
# the end of solver process 6313 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.83 s, system=8.70726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2230.12 s]
/proc/loadavg: 1.68 1.96 1.94 3/219 6601
/proc/meminfo: memFree=10114668/32770624 swapFree=67108860/67108860
[pid=6313] ppid=6310 vsize=11047272 memory=5590440 CPUtime=2520.39 cores=0,2,4,6
/proc/6313/stat : 6313 (java) S 6310 6313 4192 0 -1 1077944320 951824 13243 0 0 251168 863 5 3 20 0 17 0 68660382 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140720972037936 140441399467767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
/proc/6313/statm: 2761818 1397610 3536 1 0 2723471 0
[pid=6313/tid=6366] ppid=6310 vsize=11047272 memory=5586232 CPUtime=2142.28 cores=0,2,4,6
/proc/6313/task/6366/stat : 6366 (java) S 6310 6313 4192 0 -1 1077944384 298422 13243 0 0 214173 47 5 3 20 0 17 0 68660391 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140441371310000 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6367] ppid=6310 vsize=11047272 memory=5586232 CPUtime=85.72 cores=0,2,4,6
/proc/6313/task/6367/stat : 6367 (java) R 6310 6313 4192 0 -1 4202560 81500 13243 0 0 8381 183 5 3 20 0 17 0 68660392 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140441403710680 140441384494838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6368] ppid=6310 vsize=11047272 memory=5586232 CPUtime=85.94 cores=0,2,4,6
/proc/6313/task/6368/stat : 6368 (java) R 6310 6313 4192 0 -1 4202560 87199 13243 0 0 8405 181 5 3 20 0 17 0 68660392 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440972397912 140441384495186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6369] ppid=6310 vsize=11047272 memory=5586232 CPUtime=85.81 cores=0,2,4,6
/proc/6313/task/6369/stat : 6369 (java) R 6310 6313 4192 0 -1 4202560 76461 13243 0 0 8392 181 5 3 20 0 17 0 68660392 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440971344656 140441392564468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6370] ppid=6310 vsize=11047272 memory=5586232 CPUtime=85.82 cores=0,2,4,6
/proc/6313/task/6370/stat : 6370 (java) R 6310 6313 4192 0 -1 4202560 84837 13243 0 0 8389 185 5 3 20 0 17 0 68660392 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440970292112 140441384495670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6371] ppid=6310 vsize=11047272 memory=5561176 CPUtime=1.2 cores=0,2,4,6
/proc/6313/task/6371/stat : 6371 (java) S 6310 6313 4192 0 -1 1077944384 99652 13243 0 0 101 11 5 3 20 0 17 0 68660393 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440858747680 140441399477973 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6372] ppid=6310 vsize=11047272 memory=5586216 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6372/stat : 6372 (java) S 6310 6313 4192 0 -1 1077944384 27 13243 0 0 0 0 5 3 20 0 17 0 68660394 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440580216032 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6373] ppid=6310 vsize=11047272 memory=5586216 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6373/stat : 6373 (java) S 6310 6313 4192 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 17 0 68660394 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440196080384 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6374] ppid=6310 vsize=11047272 memory=5586184 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6374/stat : 6374 (java) S 6310 6313 4192 0 -1 1077944384 208 13243 0 0 0 0 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440056448976 140441399486363 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6375] ppid=6310 vsize=11047272 memory=5586252 CPUtime=14.42 cores=0,2,4,6
/proc/6313/task/6375/stat : 6375 (java) S 6310 6313 4192 0 -1 1077944384 81051 13243 0 0 1425 9 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440857697008 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6376] ppid=6310 vsize=11047272 memory=5560920 CPUtime=13.87 cores=0,2,4,6
/proc/6313/task/6376/stat : 6376 (java) S 6310 6313 4192 0 -1 1077944384 65163 13243 0 0 1371 8 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440856644464 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6377] ppid=6310 vsize=11047272 memory=5586232 CPUtime=4.6 cores=0,2,4,6
/proc/6313/task/6377/stat : 6377 (java) S 6310 6313 4192 0 -1 1077944384 72806 13243 0 0 442 10 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440855591408 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6378] ppid=6310 vsize=11047272 memory=5586232 CPUtime=0.08 cores=0,2,4,6
/proc/6313/task/6378/stat : 6378 (java) S 6310 6313 4192 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140439659211616 140441399477973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
[pid=6313/tid=6379] ppid=6310 vsize=11047272 memory=5586232 CPUtime=1.36 cores=0,2,4,6
/proc/6313/task/6379/stat : 6379 (java) S 6310 6313 4192 0 -1 1077944384 1945 13243 0 0 63 65 5 3 20 0 17 0 68660397 11312406528 1397610 33554432000 4194304 4196468 140720972055392 140440854538800 140441399478914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140720972056747 140720972059996 140720972059996 140720972062671 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 11047272 KiB
Current children cumulated memory: 5590440 KiB
Child status: 143
Real time (s): 2230.18
CPU time (s): 2520.54
CPU user time (s): 2511.83
CPU system time (s): 8.70726
CPU usage (%): 113.02
Max. virtual memory (cumulated for all children) (KiB): 11047272
Max. memory (cumulated for all children) (KiB): 5620856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.83
system time used= 8.70726
maximum resident set size= 5620860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71495
involuntary context switches= 6516
# summary of solver processes directly reported to runsolver:
# pid: 6313
# total CPU time (s): 2520.54
# total CPU user time (s): 2511.83
# total CPU system time (s): 8.70726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3115 second user time and 21.077 second system time
The end