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 (8153 MiB free)
memory of node 1: 16384 MiB (14447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295991-1532604526/watcher-4295991-1532604526 -o /tmp/evaluation-result-4295991-1532604526/solver-4295991-1532604526 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532594593-7268 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=365809293 -superng HOME/instance-4295991-1532604526.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=9020, runsolver pid=9017
[startup+0.10006 s]*
/proc/loadavg: 1.53 1.45 1.43 3/206 9077
/proc/meminfo: memFree=23136528/32770624 swapFree=67076968/67108860
[pid=9020] ppid=9017 vsize=9972712 memory=15172 CPUtime=0.08 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 4432 12875 0 0 1 0 4 3 20 0 6 0 78015828 10212057088 3793 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2493178 3793 1934 1 0 2481616 0
[pid=9020/tid=9073] ppid=9017 vsize=9972712 memory=-8530227557020516293 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 2274 12875 0 0 1 0 4 3 20 0 6 0 78015837 10212057088 3793 33554432000 4194304 4196468 140732926505312 139861420687952 139861433286736 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 6 0 78015838 10212057088 3793 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=9972712 memory=140648241174144 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 6 0 78015838 10212057088 3793 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 6 0 78015838 10212057088 3793 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 6 0 78015838 10212057088 3793 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15172 KiB
[startup+0.209764 s]*
/proc/loadavg: 1.53 1.45 1.43 6/215 9086
/proc/meminfo: memFree=23113508/32770624 swapFree=67076968/67108860
[pid=9020] ppid=9017 vsize=10821524 memory=42112 CPUtime=0.26 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 8776 12875 0 0 17 2 4 3 20 0 15 0 78015828 11081240576 10528 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2705381 10528 2971 1 0 2667804 0
[pid=9020/tid=9073] ppid=9017 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 5611 12875 0 0 10 1 4 3 20 0 15 0 78015837 11078557696 10183 33554432000 4194304 4196468 140732926505312 139861420676000 139861441530413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11078557696 10183 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10818904 memory=140648241183421 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11078557696 10183 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11078557696 10183 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015838 11078557696 10183 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10818936 memory=140648241174144 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015840 11078590464 10183 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 33 12875 0 0 0 0 4 3 20 0 15 0 78015840 11078590464 10183 33554432000 4194304 4196468 140732926505312 139860907103776 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11078590464 10183 33554432000 4194304 4196468 140732926505312 139860308387184 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11078590464 10248 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 499 12875 0 0 1 0 4 3 20 0 15 0 78015843 11078590464 10248 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 96 12875 0 0 1 0 4 3 20 0 15 0 78015843 11078590464 10248 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10818936 memory=140648241174144 CPUtime=0.1 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 619 12875 0 0 3 0 4 3 20 0 15 0 78015843 11078590464 10248 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11078590464 10314 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10818936 memory=140648241174144 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015843 11078590464 10314 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 42112 KiB
[startup+0.310332 s]*
/proc/loadavg: 1.53 1.45 1.43 3/215 9086
/proc/meminfo: memFree=23091592/32770624 swapFree=67076968/67108860
[pid=9020] ppid=9017 vsize=10819352 memory=51208 CPUtime=0.38 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 10924 12875 0 0 28 3 4 3 20 0 15 0 78015828 11079016448 12802 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2704838 12802 3090 1 0 2667149 0
[pid=9020/tid=9073] ppid=9017 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 7447 12875 0 0 19 2 4 3 20 0 15 0 78015837 11079016448 12802 33554432000 4194304 4196468 140732926505312 139861420663200 139861448873117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 12802 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 12802 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 12802 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 12802 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 33 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860907103776 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860308387184 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) R 9017 9020 5667 0 -1 4202560 505 12875 0 0 2 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860873546096 139861426827774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 100 12875 0 0 1 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10819352 memory=140648241174144 CPUtime=0.12 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 644 12875 0 0 5 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10819352 memory=140648241174144 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 12802 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51208 KiB
[startup+0.700726 s]
/proc/loadavg: 1.53 1.45 1.43 4/215 9086
/proc/meminfo: memFree=23080712/32770624 swapFree=67076968/67108860
[pid=9020] ppid=9017 vsize=10819352 memory=84144 CPUtime=0.99 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 17171 12875 0 0 87 5 4 3 20 0 15 0 78015828 11079016448 21036 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2704838 21036 3247 1 0 2667149 0
[pid=9020/tid=9073] ppid=9017 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 12510 12875 0 0 55 4 4 3 20 0 15 0 78015837 11079016448 21036 33554432000 4194304 4196468 140732926505312 139861420671480 139861448873117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 21036 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 21036 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10819352 memory=140648099492624 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 21036 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10819352 memory=140651589009993 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015838 11079016448 21036 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10819352 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 5 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10819352 memory=7014751519650764113 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 33 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860907103776 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10819352 memory=7597123233646858610 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860308387184 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10819352 memory=3604 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10819352 memory=10832 CPUtime=0.15 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 873 12875 0 0 8 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10819352 memory=15128 CPUtime=0.16 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 736 12875 0 0 9 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10819352 memory=640 CPUtime=0.2 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 812 12875 0 0 13 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10819352 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10819352 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015843 11079016448 21036 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84144 KiB
[startup+1.50493 s]
/proc/loadavg: 1.53 1.45 1.43 3/215 9086
/proc/meminfo: memFree=23036116/32770624 swapFree=67076968/67108860
[pid=9020] ppid=9017 vsize=10834252 memory=178904 CPUtime=2.36 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 25145 12875 0 0 219 10 4 3 20 0 15 0 78015828 11094274048 44726 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2708563 44726 3470 1 0 2670221 0
[pid=9020/tid=9073] ppid=9017 vsize=10834252 memory=60652 CPUtime=1.42 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 17973 12875 0 0 129 6 4 3 20 0 15 0 78015837 11094274048 44726 33554432000 4194304 4196468 140732926505312 139861420673064 139861448873117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10834252 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 181 12875 0 0 1 0 4 3 20 0 15 0 78015838 11094274048 44726 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10834252 memory=281296199016608 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 23 12875 0 0 1 0 4 3 20 0 15 0 78015838 11094274048 44726 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 61 12875 0 0 1 0 4 3 20 0 15 0 78015838 11094274048 44726 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 23 12875 0 0 0 0 4 3 20 0 15 0 78015838 11094274048 44726 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 462 12875 0 0 1 0 4 3 20 0 15 0 78015840 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 34 12875 0 0 0 0 4 3 20 0 15 0 78015840 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860907103840 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860308387200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10834252 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 1551 12875 0 0 26 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10834252 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 1090 12875 0 0 22 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10834252 memory=8112282956445269571 CPUtime=0.4 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 1550 12875 0 0 33 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10834252 memory=281296199261056 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 2 12875 0 0 0 0 4 3 20 0 15 0 78015843 11094274048 44726 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 81624 12875 0 0 237241 30 4 3 20 0 15 0 78015837 11178180608 117052 33554432000 4194304 4196468 140732926505312 139861420685728 139861067774016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10916192 memory=468208 CPUtime=4.83 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 10819 12875 0 0 444 32 4 3 20 0 15 0 78015838 11178180608 117052 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10916192 memory=468208 CPUtime=4.85 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 15289 12875 0 0 448 30 4 3 20 0 15 0 78015838 11178180608 117052 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10916192 memory=468208 CPUtime=4.83 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 13009 12875 0 0 447 29 4 3 20 0 15 0 78015838 11178180608 117052 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10916192 memory=468208 CPUtime=4.84 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 17181 12875 0 0 444 33 4 3 20 0 15 0 78015838 11178180608 117052 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10916192 memory=468208 CPUtime=3.34 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 11249 12875 0 0 306 21 4 3 20 0 15 0 78015840 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10916192 memory=468208 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 37 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860907103840 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10916192 memory=468208 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860308387200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10916192 memory=468208 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10916192 memory=0 CPUtime=7.06 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 73395 12875 0 0 691 8 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10916192 memory=0 CPUtime=6.39 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 65327 12875 0 0 625 7 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10916192 memory=468208 CPUtime=3.3 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 67039 12875 0 0 313 10 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10916192 memory=468208 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10916192 memory=20476 CPUtime=1.36 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1142 12875 0 0 66 63 4 3 20 0 15 0 78015843 11178180608 117052 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 2413.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 468208 KiB
[startup+2442.3 s]
/proc/loadavg: 1.77 1.59 1.60 3/215 9315
/proc/meminfo: memFree=22119376/32770624 swapFree=67076992/67108860
[pid=9020] ppid=9017 vsize=10916192 memory=468248 CPUtime=2473.62 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 363051 12875 0 0 247117 238 4 3 20 0 15 0 78015828 11178180608 117062 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2729048 117062 3529 1 0 2690701 0
[pid=9020/tid=9073] ppid=9017 vsize=10916192 memory=468228 CPUtime=2432.54 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 82541 12875 0 0 243214 33 4 3 20 0 15 0 78015837 11178180608 117062 33554432000 4194304 4196468 140732926505312 139861420686592 139861060957270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10916192 memory=468212 CPUtime=4.94 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 10835 12875 0 0 455 32 4 3 20 0 15 0 78015838 11178180608 117062 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10916192 memory=468228 CPUtime=4.97 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 15373 12875 0 0 459 31 4 3 20 0 15 0 78015838 11178180608 117062 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10916192 memory=468228 CPUtime=4.95 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 13015 12875 0 0 458 30 4 3 20 0 15 0 78015838 11178180608 117062 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10916192 memory=468228 CPUtime=4.96 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 18297 12875 0 0 456 33 4 3 20 0 15 0 78015838 11178180608 117062 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10916192 memory=468248 CPUtime=3.43 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 11299 12875 0 0 315 21 4 3 20 0 15 0 78015840 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10916192 memory=468248 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 37 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860907103840 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10916192 memory=4049220998576484962 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860308387200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10916192 memory=468248 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10916192 memory=468248 CPUtime=7.16 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 75058 12875 0 0 701 8 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10916192 memory=468228 CPUtime=6.46 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 65654 12875 0 0 632 7 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10916192 memory=468228 CPUtime=3.35 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 67586 12875 0 0 318 10 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10916192 memory=468248 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10916192 memory=3032 CPUtime=1.39 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1161 12875 0 0 68 64 4 3 20 0 15 0 78015843 11178180608 117062 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 2473.62 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 468248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.3 s]
/proc/loadavg: 1.68 1.60 1.60 3/216 9323
/proc/meminfo: memFree=21840384/32770624 swapFree=67076992/67108860
[pid=9020] ppid=9017 vsize=10916192 memory=468256 CPUtime=2520.02 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 369463 12875 0 0 251753 242 4 3 20 0 15 0 78015828 11178180608 117064 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2729048 117064 3529 1 0 2690701 0
[pid=9020/tid=9073] ppid=9017 vsize=10916192 memory=468256 CPUtime=2478.35 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 83207 12875 0 0 247795 33 4 3 20 0 15 0 78015837 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861420685808 139861068124672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10916192 memory=164 CPUtime=5.03 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 10843 12875 0 0 463 33 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.06 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 15996 12875 0 0 468 31 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.04 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 13041 12875 0 0 467 30 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.05 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 18382 12875 0 0 464 34 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10916192 memory=468256 CPUtime=3.5 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 11616 12875 0 0 321 22 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10916192 memory=468256 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 37 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860907103840 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10916192 memory=468256 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860308387200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10916192 memory=4049220998576484962 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10916192 memory=468256 CPUtime=7.21 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 75994 12875 0 0 706 8 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10916192 memory=3328 CPUtime=6.51 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 67557 12875 0 0 637 7 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10916192 memory=1508 CPUtime=3.38 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 69412 12875 0 0 321 10 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10916192 memory=3328 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10916192 memory=468256 CPUtime=1.41 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1183 12875 0 0 69 65 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 468256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.34 s]
# the end of solver process 9020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.6 s, system=2.47265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.3 s]
/proc/loadavg: 1.68 1.60 1.60 3/216 9323
/proc/meminfo: memFree=21840384/32770624 swapFree=67076992/67108860
[pid=9020] ppid=9017 vsize=10916192 memory=468256 CPUtime=2520.02 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9017 9020 5667 0 -1 1077944320 369463 12875 0 0 251753 242 4 3 20 0 15 0 78015828 11178180608 117064 33554432000 4194304 4196468 140732926505312 140732926487856 139861448851191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
/proc/9020/statm: 2729048 117064 3529 1 0 2690701 0
[pid=9020/tid=9073] ppid=9017 vsize=10916192 memory=468256 CPUtime=2478.35 cores=0,2,4,6
/proc/9020/task/9073/stat : 9073 (java) R 9017 9020 5667 0 -1 4202560 83207 12875 0 0 247795 33 4 3 20 0 15 0 78015837 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861420685808 139861068124672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9074] ppid=9017 vsize=10916192 memory=164 CPUtime=5.03 cores=0,2,4,6
/proc/9020/task/9074/stat : 9074 (java) S 9017 9020 5667 0 -1 1077944384 10843 12875 0 0 463 33 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861453093520 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9075] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.06 cores=0,2,4,6
/proc/9020/task/9075/stat : 9075 (java) S 9017 9020 5667 0 -1 1077944384 15996 12875 0 0 468 31 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861021878800 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9076] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.04 cores=0,2,4,6
/proc/9020/task/9076/stat : 9076 (java) S 9017 9020 5667 0 -1 1077944384 13041 12875 0 0 467 30 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861020826000 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9077] ppid=9017 vsize=10916192 memory=468256 CPUtime=5.05 cores=0,2,4,6
/proc/9020/task/9077/stat : 9077 (java) S 9017 9020 5667 0 -1 1077944384 18382 12875 0 0 464 34 4 3 20 0 15 0 78015838 11178180608 117064 33554432000 4194304 4196468 140732926505312 139861019773200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9078] ppid=9017 vsize=10916192 memory=468256 CPUtime=3.5 cores=0,2,4,6
/proc/9020/task/9078/stat : 9078 (java) S 9017 9020 5667 0 -1 1077944384 11616 12875 0 0 321 22 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860908157808 139861448862338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9079] ppid=9017 vsize=10916192 memory=468256 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9079/stat : 9079 (java) S 9017 9020 5667 0 -1 1077944384 37 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860907103840 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9080] ppid=9017 vsize=10916192 memory=468256 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9080/stat : 9080 (java) S 9017 9020 5667 0 -1 1077944384 1 12875 0 0 0 0 4 3 20 0 15 0 78015840 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860308387200 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9081] ppid=9017 vsize=10916192 memory=4049220998576484962 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9081/stat : 9081 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860000987472 139861448869787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9082] ppid=9017 vsize=10916192 memory=468256 CPUtime=7.21 cores=0,2,4,6
/proc/9020/task/9082/stat : 9082 (java) S 9017 9020 5667 0 -1 1077944384 75994 12875 0 0 706 8 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860873546096 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9083] ppid=9017 vsize=10916192 memory=3328 CPUtime=6.51 cores=0,2,4,6
/proc/9020/task/9083/stat : 9083 (java) S 9017 9020 5667 0 -1 1077944384 67557 12875 0 0 637 7 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860872493296 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9084] ppid=9017 vsize=10916192 memory=1508 CPUtime=3.38 cores=0,2,4,6
/proc/9020/task/9084/stat : 9084 (java) S 9017 9020 5667 0 -1 1077944384 69412 12875 0 0 321 10 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860871440496 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9085] ppid=9017 vsize=10916192 memory=3328 CPUtime=0.07 cores=0,2,4,6
/proc/9020/task/9085/stat : 9085 (java) S 9017 9020 5667 0 -1 1077944384 3 12875 0 0 0 0 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139859967428832 139861448861397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
[pid=9020/tid=9086] ppid=9017 vsize=10916192 memory=468256 CPUtime=1.41 cores=0,2,4,6
/proc/9020/task/9086/stat : 9086 (java) S 9017 9020 5667 0 -1 1077944384 1183 12875 0 0 69 65 4 3 20 0 15 0 78015843 11178180608 117064 33554432000 4194304 4196468 140732926505312 139860870388912 139861448862338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140732926507180 140732926510428 140732926510428 140732926513103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 468256 KiB
Child status: 143
Real time (s): 2488.34
CPU time (s): 2520.07
CPU user time (s): 2517.6
CPU system time (s): 2.47265
CPU usage (%): 101.275
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 919256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.6
system time used= 2.47264
maximum resident set size= 921812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134980
involuntary context switches= 6213
# summary of solver processes directly reported to runsolver:
# pid: 9020
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.6
# total CPU system time (s): 2.47265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0794 second user time and 25.581 second system time
The end