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 (9524 MiB free)
memory of node 1: 16384 MiB (5199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304728-1534146574/watcher-4304728-1534146574 -o /tmp/evaluation-result-4304728-1534146574/solver-4304728-1534146574 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534139122-2605 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1706868912 -superng HOME/instance-4304728-1534146574.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
solver pid=3742, runsolver pid=3739
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.70 1.41 1.39 3/206 3799
/proc/meminfo: memFree=15069072/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=10005480 memory=17072 CPUtime=0.1 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 4402 12895 0 0 1 1 5 3 20 0 6 0 232220595 10245611520 4268 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2501370 4268 1934 1 0 2489808 0
[pid=3742/tid=3795] ppid=3739 vsize=10005480 memory=-8530506832973971397 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 2251 12895 0 0 1 0 5 3 20 0 6 0 232220604 10245611520 4268 33554432000 4194304 4196468 140732083613296 140440427442768 140440440728944 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 6 0 232220605 10245611520 4268 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=10005480 memory=139796593034880 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 6 0 232220605 10245611520 4268 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 6 0 232220605 10245611520 4268 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 6 0 232220605 10245611520 4268 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17072 KiB
[startup+0.209864 s]*
/proc/loadavg: 1.70 1.41 1.39 3/215 3808
/proc/meminfo: memFree=15044796/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=10982696 memory=44640 CPUtime=0.26 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 8547 12895 0 0 16 2 5 3 20 0 15 0 232220595 11246280704 11160 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2745674 11160 2939 1 0 2708109 0
[pid=3742/tid=3795] ppid=3739 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 5090 12895 0 0 10 1 5 3 20 0 15 0 232220604 11246280704 11160 33554432000 4194304 4196468 140732083613296 140440427403664 140440437170960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=10982696 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246280704 11160 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=10982696 memory=139796593045896 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=10982696 memory=139796593034880 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220606 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439323665696 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439122339440 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11246280704 11160 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 428 12895 0 0 1 0 5 3 20 0 15 0 232220609 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 188 12895 0 0 0 0 5 3 20 0 15 0 232220609 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=10982696 memory=139796593034880 CPUtime=0.11 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 622 12895 0 0 3 0 5 3 20 0 15 0 232220610 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246280704 11160 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=10982696 memory=139796593034880 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246280704 11160 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44640 KiB
[startup+0.310417 s]*
/proc/loadavg: 1.70 1.41 1.39 3/215 3808
/proc/meminfo: memFree=15036112/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=10983192 memory=55972 CPUtime=0.39 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 10571 12895 0 0 28 3 5 3 20 0 15 0 232220595 11246788608 13993 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2745798 13993 3071 1 0 2708109 0
[pid=3742/tid=3795] ppid=3739 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 7115 12895 0 0 19 2 5 3 20 0 15 0 232220604 11246788608 13993 33554432000 4194304 4196468 140732083613296 140440427417792 140440455627933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 13993 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220606 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439323665696 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439122339440 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11246788608 13993 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 428 12895 0 0 1 0 5 3 20 0 15 0 232220609 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 189 12895 0 0 1 0 5 3 20 0 15 0 232220609 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=10983192 memory=139796593034880 CPUtime=0.13 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) R 3739 3742 1786 0 -1 4202560 627 12895 0 0 5 0 5 3 20 0 15 0 232220610 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439489390960 140440434175167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246788608 13993 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=10983192 memory=139796593034880 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246788608 13993 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55972 KiB
[startup+0.700711 s]
/proc/loadavg: 1.70 1.41 1.39 3/215 3808
/proc/meminfo: memFree=15024576/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=10983192 memory=88884 CPUtime=0.99 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 16842 12895 0 0 86 5 5 3 20 0 15 0 232220595 11246788608 22221 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2745798 22221 3243 1 0 2708109 0
[pid=3742/tid=3795] ppid=3739 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 12415 12895 0 0 56 3 5 3 20 0 15 0 232220604 11246788608 22221 33554432000 4194304 4196468 140732083613296 140440427426832 140440439686494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 22221 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=10983192 memory=6154820267226784105 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=10983192 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220605 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=10983192 memory=-8820979915922421270 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 5 12895 0 0 0 0 5 3 20 0 15 0 232220606 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 13 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439323665696 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220607 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439122339440 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11246788608 22221 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 670 12895 0 0 6 0 5 3 20 0 15 0 232220609 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 847 12895 0 0 10 0 5 3 20 0 15 0 232220609 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 691 12895 0 0 13 0 5 3 20 0 15 0 232220610 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246788608 22221 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220610 11246788608 22221 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88884 KiB
[startup+1.50096 s]
/proc/loadavg: 1.70 1.41 1.39 5/215 3808
/proc/meminfo: memFree=14979176/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=10998092 memory=178380 CPUtime=2.35 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 24449 12895 0 0 217 10 5 3 20 0 15 0 232220595 11262046208 44595 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2749523 44595 3467 1 0 2711181 0
[pid=3742/tid=3795] ppid=3739 vsize=10998092 memory=8978309881829228949 CPUtime=1.44 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 17964 12895 0 0 130 6 5 3 20 0 15 0 232220604 11262046208 44595 33554432000 4194304 4196468 140732083613296 140440427405728 140440013802916 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=10998092 memory=-7240599211820661557 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 24 12895 0 0 1 0 5 3 20 0 15 0 232220605 11262046208 44595 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=10998092 memory=-4266093328297028758 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 17 12895 0 0 1 0 5 3 20 0 15 0 232220605 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=10998092 memory=6531514223131901027 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 65 12895 0 0 1 0 5 3 20 0 15 0 232220605 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=10998092 memory=120904 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 185 12895 0 0 0 0 5 3 20 0 15 0 232220605 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 48 12895 0 0 1 0 5 3 20 0 15 0 232220606 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 14 12895 0 0 0 0 5 3 20 0 15 0 232220607 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439323665760 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=10998092 memory=279592975794848 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220607 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439122339440 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=10998092 memory=279592976209600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11262046208 44595 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=10998092 memory=139796487907136 CPUtime=0.3 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 1295 12895 0 0 22 0 5 3 20 0 15 0 232220609 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=10998092 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 1328 12895 0 0 26 0 5 3 20 0 15 0 232220609 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=10998092 memory=1156 CPUtime=0.39 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 1310 12895 0 0 31 0 5 3 20 0 15 0 232220610 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=10998092 memory=15212 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11262046208 44595 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=10998092 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 1 12895 0 0 0 0 5 3 20 0 15 0 232220610 11262046208 44595 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 79178 12895 0 0 237160 27 5 3 20 0 15 0 232220604 11345952768 153900 33554432000 4194304 4196468 140732083613296 140440427441424 140440023742464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.15 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 4651 12895 0 0 384 23 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.17 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 9264 12895 0 0 388 21 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.14 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 8949 12895 0 0 382 24 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.15 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 6148 12895 0 0 383 24 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.25 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 7073 12895 0 0 397 20 5 3 20 0 15 0 232220606 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=11080032 memory=2260 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 15 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439323665824 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=11080032 memory=615600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439122339456 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=11080032 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=11080032 memory=4044 CPUtime=6.15 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 27079 12895 0 0 602 5 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=11080032 memory=63164 CPUtime=6.2 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 26936 12895 0 0 607 5 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 54 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=11080032 memory=2148 CPUtime=3.19 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 28854 12895 0 0 306 5 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=11080032 memory=615600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=11080032 memory=3684 CPUtime=1.16 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 750 12895 0 0 57 51 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 2408.89 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 615600 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.33 1.38 3/215 4041
/proc/meminfo: memFree=15720028/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=11080032 memory=615600 CPUtime=2469.17 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 201859 12895 0 0 246728 181 5 3 20 0 15 0 232220595 11345952768 153900 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2770008 153900 3525 1 0 2731661 0
[pid=3742/tid=3795] ppid=3739 vsize=11080032 memory=615600 CPUtime=2431.72 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 79481 12895 0 0 243137 27 5 3 20 0 15 0 232220604 11345952768 153900 33554432000 4194304 4196468 140732083613296 140440427441424 140440026042403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.24 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 5001 12895 0 0 393 23 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.26 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 9277 12895 0 0 397 21 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=11080032 memory=279592976080192 CPUtime=4.24 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 8992 12895 0 0 391 25 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.25 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 6157 12895 0 0 392 25 5 3 20 0 15 0 232220605 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=11080032 memory=615600 CPUtime=4.35 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 7107 12895 0 0 407 20 5 3 20 0 15 0 232220606 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=11080032 memory=615600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 15 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439323665824 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=11080032 memory=615600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439122339456 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=11080032 memory=615600 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=11080032 memory=615600 CPUtime=6.15 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 27081 12895 0 0 602 5 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=11080032 memory=615600 CPUtime=6.2 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 26938 12895 0 0 607 5 5 3 20 0 15 0 232220609 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=11080032 memory=615600 CPUtime=3.19 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 28856 12895 0 0 306 5 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=11080032 memory=2260 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=11080032 memory=812 CPUtime=1.18 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 756 12895 0 0 58 52 5 3 20 0 15 0 232220610 11345952768 153900 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 2469.17 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 615600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.9 s]
/proc/loadavg: 1.15 1.29 1.37 3/215 4042
/proc/meminfo: memFree=15720388/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=11080032 memory=615604 CPUtime=2520.05 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 203273 12895 0 0 251813 184 5 3 20 0 15 0 232220595 11345952768 153901 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2770008 153901 3525 1 0 2731661 0
[pid=3742/tid=3795] ppid=3739 vsize=11080032 memory=615604 CPUtime=2482.11 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 80067 12895 0 0 248176 27 5 3 20 0 15 0 232220604 11345952768 153901 33554432000 4194304 4196468 140732083613296 140440427441296 140440026040992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.33 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 5028 12895 0 0 401 24 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.35 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 9290 12895 0 0 405 22 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.32 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 9060 12895 0 0 399 25 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.33 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 6196 12895 0 0 400 25 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.44 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 7169 12895 0 0 415 21 5 3 20 0 15 0 232220606 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 15 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439323665824 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439122339456 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=11080032 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=11080032 memory=288230596050944315 CPUtime=6.17 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 27174 12895 0 0 604 5 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=11080032 memory=615604 CPUtime=6.2 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 26938 12895 0 0 607 5 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 54 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=11080032 memory=615604 CPUtime=3.2 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 29369 12895 0 0 307 5 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=11080032 memory=615604 CPUtime=1.21 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 769 12895 0 0 60 53 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 615604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.93 s]
# the end of solver process 3742 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.19 s, system=1.88777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.9 s]
/proc/loadavg: 1.15 1.29 1.37 3/215 4042
/proc/meminfo: memFree=15720388/32770624 swapFree=67108404/67108860
[pid=3742] ppid=3739 vsize=11080032 memory=615604 CPUtime=2520.05 cores=0,2,4,6
/proc/3742/stat : 3742 (java) S 3739 3742 1786 0 -1 1077944320 203273 12895 0 0 251813 184 5 3 20 0 15 0 232220595 11345952768 153901 33554432000 4194304 4196468 140732083613296 140732083595840 140440455606007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
/proc/3742/statm: 2770008 153901 3525 1 0 2731661 0
[pid=3742/tid=3795] ppid=3739 vsize=11080032 memory=615604 CPUtime=2482.11 cores=0,2,4,6
/proc/3742/task/3795/stat : 3795 (java) R 3739 3742 1786 0 -1 4202560 80067 12895 0 0 248176 27 5 3 20 0 15 0 232220604 11345952768 153901 33554432000 4194304 4196468 140732083613296 140440427441296 140440026040992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3796] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.33 cores=0,2,4,6
/proc/3742/task/3796/stat : 3796 (java) S 3739 3742 1786 0 -1 1077944384 5028 12895 0 0 401 24 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140440459848080 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3797] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.35 cores=0,2,4,6
/proc/3742/task/3797/stat : 3797 (java) S 3739 3742 1786 0 -1 1077944384 9290 12895 0 0 405 22 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439995603216 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3798] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.32 cores=0,2,4,6
/proc/3742/task/3798/stat : 3798 (java) S 3739 3742 1786 0 -1 1077944384 9060 12895 0 0 399 25 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439994550928 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3799] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.33 cores=0,2,4,6
/proc/3742/task/3799/stat : 3799 (java) S 3739 3742 1786 0 -1 1077944384 6196 12895 0 0 400 25 5 3 20 0 15 0 232220605 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439993498128 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3800] ppid=3739 vsize=11080032 memory=615604 CPUtime=4.44 cores=0,2,4,6
/proc/3742/task/3800/stat : 3800 (java) S 3739 3742 1786 0 -1 1077944384 7169 12895 0 0 415 21 5 3 20 0 15 0 232220606 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439492549232 140440455617154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3801] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3801/stat : 3801 (java) S 3739 3742 1786 0 -1 1077944384 15 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439323665824 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3802] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3802/stat : 3802 (java) S 3739 3742 1786 0 -1 1077944384 2 12895 0 0 0 0 5 3 20 0 15 0 232220607 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439122339456 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3803] ppid=3739 vsize=11080032 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3803/stat : 3803 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140438814939728 140440455624603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3804] ppid=3739 vsize=11080032 memory=288230596050944315 CPUtime=6.17 cores=0,2,4,6
/proc/3742/task/3804/stat : 3804 (java) S 3739 3742 1786 0 -1 1077944384 27174 12895 0 0 604 5 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439491496048 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3805] ppid=3739 vsize=11080032 memory=615604 CPUtime=6.2 cores=0,2,4,6
/proc/3742/task/3805/stat : 3805 (java) S 3739 3742 1786 0 -1 1077944384 26938 12895 0 0 607 5 5 3 20 0 15 0 232220609 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439490443248 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 54 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3806] ppid=3739 vsize=11080032 memory=615604 CPUtime=3.2 cores=0,2,4,6
/proc/3742/task/3806/stat : 3806 (java) S 3739 3742 1786 0 -1 1077944384 29369 12895 0 0 307 5 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439489390960 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3807] ppid=3739 vsize=11080032 memory=615604 CPUtime=0.08 cores=0,2,4,6
/proc/3742/task/3807/stat : 3807 (java) S 3739 3742 1786 0 -1 1077944384 3 12895 0 0 0 0 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140438384142816 140440455616213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
[pid=3742/tid=3808] ppid=3739 vsize=11080032 memory=615604 CPUtime=1.21 cores=0,2,4,6
/proc/3742/task/3808/stat : 3808 (java) S 3739 3742 1786 0 -1 1077944384 769 12895 0 0 60 53 5 3 20 0 15 0 232220610 11345952768 153901 33554432000 4194304 4196468 140732083613296 140439488338864 140440455617154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 32165888 140732083616355 140732083619164 140732083619164 140732083621839 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 615604 KiB
Child status: 143
Real time (s): 2492.93
CPU time (s): 2520.08
CPU user time (s): 2518.19
CPU system time (s): 1.88777
CPU usage (%): 101.089
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 677036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.19
system time used= 1.88777
maximum resident set size= 677036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148311
involuntary context switches= 5623
# summary of solver processes directly reported to runsolver:
# pid: 3742
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.19
# total CPU system time (s): 1.88777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5178 second user time and 23.6563 second system time
The end