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 (6678 MiB free)
memory of node 1: 16384 MiB (2872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304323-1534058166/watcher-4304323-1534058166 -o /tmp/evaluation-result-4304323-1534058166/solver-4304323-1534058166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1973264879 HOME/instance-4304323-1534058166.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=20946, runsolver pid=20943
[startup+0.100059 s]*
/proc/loadavg: 1.80 1.73 1.58 3/206 21003
/proc/meminfo: memFree=9773796/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=10005480 memory=18860 CPUtime=0.08 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 4377 13135 0 0 1 0 4 3 20 0 6 0 223379789 10245611520 4715 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2501370 4715 1934 1 0 2489808 0
[pid=20946/tid=20999] ppid=20943 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 2181 13135 0 0 1 0 4 3 20 0 6 0 223379798 10245611520 4715 33554432000 4194304 4196468 140729730009312 139798122717776 139798150902941 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 6 0 223379799 10245611520 4715 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=10005480 memory=139922260702848 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 6 0 223379799 10245611520 4715 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 6 0 223379799 10245611520 4715 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 6 0 223379799 10245611520 4715 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.209898 s]*
/proc/loadavg: 1.80 1.73 1.58 3/215 21012
/proc/meminfo: memFree=9750824/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=10982744 memory=44724 CPUtime=0.25 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 7867 13135 0 0 17 1 4 3 20 0 15 0 223379789 11246329856 11115 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2745686 11115 2943 1 0 2708109 0
[pid=20946/tid=20999] ppid=20943 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 4466 13135 0 0 11 0 4 3 20 0 15 0 223379798 11246329856 11181 33554432000 4194304 4196468 140729730009312 139798122704488 139798134961502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246329856 11181 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=10982744 memory=3474444070962149024 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246329856 11181 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246329856 11181 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246329856 11181 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=10982744 memory=139922260702848 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379800 11246329856 11181 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246329856 11181 33554432000 4194304 4196468 140729730009312 139796904141600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246329856 11181 33554432000 4194304 4196468 140729730009312 139796756292720 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 435 13135 0 0 1 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 185 13135 0 0 1 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=10982744 memory=139922260702848 CPUtime=0.1 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 610 13135 0 0 3 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=10982744 memory=139922260702848 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246329856 11181 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44724 KiB
[startup+0.3102 s]*
/proc/loadavg: 1.80 1.73 1.58 6/215 21012
/proc/meminfo: memFree=9739784/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=10983192 memory=55396 CPUtime=0.37 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 10417 13135 0 0 28 2 4 3 20 0 15 0 223379789 11246788608 13849 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2745798 13849 3062 1 0 2708109 0
[pid=20946/tid=20999] ppid=20943 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 6951 13135 0 0 20 1 4 3 20 0 15 0 223379798 11246788608 13849 33554432000 4194304 4196468 140729730009312 139798122693024 139798128898884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 13849 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 13849 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 13849 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 13849 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379800 11246788608 13849 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246788608 13849 33554432000 4194304 4196468 140729730009312 139796904141600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246788608 13849 33554432000 4194304 4196468 140729730009312 139796756292720 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 439 13135 0 0 1 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 188 13135 0 0 1 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=10983192 memory=139922260702848 CPUtime=0.12 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 616 13135 0 0 5 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=10983192 memory=139922260702848 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 13849 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55396 KiB
[startup+0.701621 s]
/proc/loadavg: 1.80 1.73 1.58 4/215 21012
/proc/meminfo: memFree=9728124/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=10983192 memory=88448 CPUtime=0.98 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 16747 13135 0 0 86 5 4 3 20 0 15 0 223379789 11246788608 22112 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2745798 22112 3238 1 0 2708109 0
[pid=20946/tid=20999] ppid=20943 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 12186 13135 0 0 56 3 4 3 20 0 15 0 223379798 11246788608 22112 33554432000 4194304 4196468 140729730009312 139798122697632 139797714785070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 22112 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 22112 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=10983192 memory=139922115801904 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 22112 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=10983192 memory=139925739536972 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 223379799 11246788608 22112 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=10983192 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 5 13135 0 0 0 0 4 3 20 0 15 0 223379800 11246788608 22112 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246788608 22112 33554432000 4194304 4196468 140729730009312 139796904141600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379801 11246788608 22112 33554432000 4194304 4196468 140729730009312 139796756292720 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=10983192 memory=33520 CPUtime=0.14 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 827 13135 0 0 7 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=10983192 memory=14644 CPUtime=0.16 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 801 13135 0 0 9 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=10983192 memory=1720 CPUtime=0.2 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 707 13135 0 0 13 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=10983192 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379804 11246788608 22112 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88448 KiB
[startup+1.50762 s]
/proc/loadavg: 1.80 1.73 1.58 3/215 21012
/proc/meminfo: memFree=9684308/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=10998092 memory=190080 CPUtime=2.62 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 24231 13135 0 0 244 11 4 3 20 0 15 0 223379789 11262046208 47520 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2749523 47520 3474 1 0 2711181 0
[pid=20946/tid=20999] ppid=20943 vsize=10998092 memory=65204 CPUtime=1.43 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 17255 13135 0 0 130 6 4 3 20 0 15 0 223379798 11262046208 47520 33554432000 4194304 4196468 140729730009312 139798122698720 139798136252183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 30 13135 0 0 0 0 4 3 20 0 15 0 223379799 11262046208 47520 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=10998092 memory=279844231635104 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 180 13135 0 0 1 0 4 3 20 0 15 0 223379799 11262046208 47520 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 25 13135 0 0 1 0 4 3 20 0 15 0 223379799 11262046208 47520 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 58 13135 0 0 1 0 4 3 20 0 15 0 223379799 11262046208 47520 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 68 13135 0 0 1 0 4 3 20 0 15 0 223379800 11262046208 47520 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 14 13135 0 0 0 0 4 3 20 0 15 0 223379801 11262046208 47520 33554432000 4194304 4196468 140729730009312 139796904141664 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379801 11262046208 47520 33554432000 4194304 4196468 140729730009312 139796756292736 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=10998092 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 1640 13135 0 0 37 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=10998092 memory=10 CPUtime=0.35 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) R 20943 20946 15321 0 -1 4202560 1145 13135 0 0 28 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139797641902496 139798132400694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=10998092 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 1615 13135 0 0 42 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=10998092 memory=279844231879616 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 223379804 11262046208 47520 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 152477 13135 0 0 235570 80 4 3 20 0 15 0 223379798 11345952768 461352 33554432000 4194304 4196468 140729730009312 139798122714272 139797717418318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=11080032 memory=1846424 CPUtime=16.25 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 36277 13135 0 0 1570 48 4 3 20 0 15 0 223379799 11345952768 461352 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=11080032 memory=1845400 CPUtime=16.22 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 40670 13135 0 0 1569 46 4 3 20 0 15 0 223379799 11345952768 461352 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=11080032 memory=1845400 CPUtime=16.24 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 38997 13135 0 0 1570 47 4 3 20 0 15 0 223379799 11345952768 461352 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=11080032 memory=1845408 CPUtime=16.26 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 40471 13135 0 0 1572 47 4 3 20 0 15 0 223379799 11345952768 461352 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=11080032 memory=1845400 CPUtime=7.13 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 40109 13135 0 0 648 58 4 3 20 0 15 0 223379800 11345952768 461352 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=11080032 memory=1845400 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 20 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 461352 33554432000 4194304 4196468 140729730009312 139796904141664 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=11080032 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 461352 33554432000 4194304 4196468 140729730009312 139796756292736 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=11080032 memory=1846424 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=11080032 memory=1846424 CPUtime=6.89 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 84901 13135 0 0 675 7 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=11080032 memory=6791534058613427641 CPUtime=6.46 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 90114 13135 0 0 631 8 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=11080032 memory=4000 CPUtime=2.93 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 67901 13135 0 0 278 8 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=11080032 memory=1845400 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=11080032 memory=3684 CPUtime=1.42 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 2338 13135 0 0 65 70 4 3 20 0 15 0 223379804 11345952768 461352 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 2445.85 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1845408 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.46 1.47 3/215 21213
/proc/meminfo: memFree=7429836/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=11080032 memory=2557280 CPUtime=2506.15 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 617621 13135 0 0 250205 403 4 3 20 0 15 0 223379789 11345952768 639320 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2770008 639320 3529 1 0 2731661 0
[pid=20946/tid=20999] ppid=20943 vsize=11080032 memory=2557248 CPUtime=2416.44 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 166682 13135 0 0 241547 90 4 3 20 0 15 0 223379798 11345952768 639320 33554432000 4194304 4196468 140729730009312 139798122714944 139797720599622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=11080032 memory=2554924 CPUtime=16.33 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 36873 13135 0 0 1577 49 4 3 20 0 15 0 223379799 11345952768 639320 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=11080032 memory=2554924 CPUtime=16.31 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 41250 13135 0 0 1576 48 4 3 20 0 15 0 223379799 11345952768 639320 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=11080032 memory=2510304 CPUtime=16.32 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 39504 13135 0 0 1577 48 4 3 20 0 15 0 223379799 11345952768 639320 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=11080032 memory=2508168 CPUtime=16.33 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 42536 13135 0 0 1578 48 4 3 20 0 15 0 223379799 11345952768 639320 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=11080032 memory=2508112 CPUtime=7.16 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 40813 13135 0 0 651 58 4 3 20 0 15 0 223379800 11345952768 639320 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=11080032 memory=2141400 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 20 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 639320 33554432000 4194304 4196468 140729730009312 139796904141664 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=11080032 memory=2320724 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 639320 33554432000 4194304 4196468 140729730009312 139796756292736 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=11080032 memory=2368936 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=11080032 memory=2460764 CPUtime=6.91 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 86099 13135 0 0 677 7 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=11080032 memory=2508168 CPUtime=6.48 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 91317 13135 0 0 633 8 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=11080032 memory=2554924 CPUtime=2.93 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 67950 13135 0 0 278 8 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=11080032 memory=2510304 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=11080032 memory=2557280 CPUtime=1.45 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 2369 13135 0 0 67 71 4 3 20 0 15 0 223379804 11345952768 639320 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 2506.15 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2557280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.11 s]
/proc/loadavg: 1.57 1.47 1.48 3/215 21214
/proc/meminfo: memFree=7304044/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=11080032 memory=2694832 CPUtime=2520.02 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 619669 13135 0 0 251588 407 4 3 20 0 15 0 223379789 11345952768 673708 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2770008 673708 3529 1 0 2731661 0
[pid=20946/tid=20999] ppid=20943 vsize=11080032 memory=2692696 CPUtime=2430.23 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 168500 13135 0 0 242924 92 4 3 20 0 15 0 223379798 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798122714432 139797723388457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=11080032 memory=2649688 CPUtime=16.35 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 36916 13135 0 0 1578 50 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=11080032 memory=2647148 CPUtime=16.32 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 41292 13135 0 0 1577 48 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=11080032 memory=2647148 CPUtime=16.33 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 39549 13135 0 0 1578 48 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=11080032 memory=2602336 CPUtime=16.36 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 42565 13135 0 0 1580 49 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=11080032 memory=2320724 CPUtime=7.16 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 40882 13135 0 0 651 58 4 3 20 0 15 0 223379800 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=11080032 memory=2141400 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 20 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796904141664 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=11080032 memory=2508112 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796756292736 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=11080032 memory=2554924 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=11080032 memory=2694832 CPUtime=6.91 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 86099 13135 0 0 677 7 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=11080032 memory=2647148 CPUtime=6.48 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 91317 13135 0 0 633 8 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=11080032 memory=2554924 CPUtime=2.93 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 67950 13135 0 0 278 8 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=11080032 memory=2600288 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=11080032 memory=2557248 CPUtime=1.47 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 2371 13135 0 0 68 72 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2694832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.18 s]
# the end of solver process 20946 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.97 s, system=4.13685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.11 s]
/proc/loadavg: 1.57 1.47 1.48 3/215 21214
/proc/meminfo: memFree=7304044/32770624 swapFree=67108404/67108860
[pid=20946] ppid=20943 vsize=11080032 memory=2694832 CPUtime=2520.02 cores=0,2,4,6
/proc/20946/stat : 20946 (java) S 20943 20946 15321 0 -1 1077944320 619669 13135 0 0 251588 407 4 3 20 0 15 0 223379789 11345952768 673708 33554432000 4194304 4196468 140729730009312 140729729991856 139798150881015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
/proc/20946/statm: 2770008 673708 3529 1 0 2731661 0
[pid=20946/tid=20999] ppid=20943 vsize=11080032 memory=2692696 CPUtime=2430.23 cores=0,2,4,6
/proc/20946/task/20999/stat : 20999 (java) R 20943 20946 15321 0 -1 4202560 168500 13135 0 0 242924 92 4 3 20 0 15 0 223379798 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798122714432 139797723388457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21000] ppid=20943 vsize=11080032 memory=2649688 CPUtime=16.35 cores=0,2,4,6
/proc/20946/task/21000/stat : 21000 (java) S 20943 20946 15321 0 -1 1077944384 36916 13135 0 0 1578 50 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798155123600 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21001] ppid=20943 vsize=11080032 memory=2647148 CPUtime=16.32 cores=0,2,4,6
/proc/20946/task/21001/stat : 21001 (java) S 20943 20946 15321 0 -1 1077944384 41292 13135 0 0 1577 48 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798036388624 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21002] ppid=20943 vsize=11080032 memory=2647148 CPUtime=16.33 cores=0,2,4,6
/proc/20946/task/21002/stat : 21002 (java) S 20943 20946 15321 0 -1 1077944384 39549 13135 0 0 1578 48 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798035336336 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21003] ppid=20943 vsize=11080032 memory=2602336 CPUtime=16.36 cores=0,2,4,6
/proc/20946/task/21003/stat : 21003 (java) S 20943 20946 15321 0 -1 1077944384 42565 13135 0 0 1580 49 4 3 20 0 15 0 223379799 11345952768 673708 33554432000 4194304 4196468 140729730009312 139798034283536 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21004] ppid=20943 vsize=11080032 memory=2320724 CPUtime=7.16 cores=0,2,4,6
/proc/20946/task/21004/stat : 21004 (java) S 20943 20946 15321 0 -1 1077944384 40882 13135 0 0 651 58 4 3 20 0 15 0 223379800 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797644007536 139798150892162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21005] ppid=20943 vsize=11080032 memory=2141400 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21005/stat : 21005 (java) S 20943 20946 15321 0 -1 1077944384 20 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796904141664 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21006] ppid=20943 vsize=11080032 memory=2508112 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21006/stat : 21006 (java) S 20943 20946 15321 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 223379801 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796756292736 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21007] ppid=20943 vsize=11080032 memory=2554924 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21007/stat : 21007 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796448893008 139798150899611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21008] ppid=20943 vsize=11080032 memory=2694832 CPUtime=6.91 cores=0,2,4,6
/proc/20946/task/21008/stat : 21008 (java) S 20943 20946 15321 0 -1 1077944384 86099 13135 0 0 677 7 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797642955376 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21009] ppid=20943 vsize=11080032 memory=2647148 CPUtime=6.48 cores=0,2,4,6
/proc/20946/task/21009/stat : 21009 (java) S 20943 20946 15321 0 -1 1077944384 91317 13135 0 0 633 8 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797641902576 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21010] ppid=20943 vsize=11080032 memory=2554924 CPUtime=2.93 cores=0,2,4,6
/proc/20946/task/21010/stat : 21010 (java) S 20943 20946 15321 0 -1 1077944384 67950 13135 0 0 278 8 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797640850288 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21011] ppid=20943 vsize=11080032 memory=2600288 CPUtime=0.07 cores=0,2,4,6
/proc/20946/task/21011/stat : 21011 (java) S 20943 20946 15321 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139796018097120 139798150891221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
[pid=20946/tid=21012] ppid=20943 vsize=11080032 memory=2557248 CPUtime=1.47 cores=0,2,4,6
/proc/20946/task/21012/stat : 21012 (java) S 20943 20946 15321 0 -1 1077944384 2371 13135 0 0 68 72 4 3 20 0 15 0 223379804 11345952768 673708 33554432000 4194304 4196468 140729730009312 139797639797168 139798150892162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17764352 140729730017900 140729730020700 140729730020700 140729730023375 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2694832 KiB
Child status: 143
Real time (s): 2456.18
CPU time (s): 2520.1
CPU user time (s): 2515.97
CPU system time (s): 4.13685
CPU usage (%): 102.603
Max. virtual memory (cumulated for all children) (KiB): 11080840
Max. memory (cumulated for all children) (KiB): 2893372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.97
system time used= 4.13685
maximum resident set size= 2893372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199684
involuntary context switches= 8425
# summary of solver processes directly reported to runsolver:
# pid: 20946
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.97
# total CPU system time (s): 4.13685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6494 second user time and 22.7893 second system time
The end