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 (15128 MiB free)
memory of node 1: 16384 MiB (15422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273333-1502905583/watcher-4273333-1502905583 -o /tmp/evaluation-result-4273333-1502905583/solver-4273333-1502905583 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502875181-32539 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1969344115 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273333-1502905583.xml
running on 4 cores: 1,3,5,7
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=4138, runsolver pid=4135
[startup+0.10014 s]*
/proc/loadavg: 1.13 1.30 1.49 3/204 4144
/proc/meminfo: memFree=31278832/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13440536 memory=15860 CPUtime=0.01 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 3794 0 0 0 1 0 0 0 20 0 7 0 138064928 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3360134 3965 2011 1 0 3349631 0
[pid=4138/tid=4140] ppid=4135 vsize=13440536 memory=4134931637327788091 CPUtime=0.01 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 2505 0 0 0 1 0 0 0 20 0 7 0 138064937 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186564545296 140186544383326 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 138064937 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13440536 memory=140474458318464 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 138064937 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 138064937 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 138064937 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13440536 memory=140474458318464 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 138064939 13763108864 3965 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15860 KiB
[startup+0.212912 s]*
/proc/loadavg: 1.13 1.30 1.49 3/213 4153
/proc/meminfo: memFree=31268212/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13975920 memory=30308 CPUtime=0.09 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 6885 0 0 0 8 1 0 0 20 0 15 0 138064928 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3493980 7577 3347 1 0 3482759 0
[pid=4138/tid=4140] ppid=4135 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 4973 0 0 0 7 0 0 0 20 0 15 0 138064937 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186564487888 140186560314774 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13975920 memory=4294967625 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13975920 memory=140474458323108 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13975920 memory=140474458318464 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186037969696 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186036917360 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13975920 memory=140474458318464 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) R 4135 4138 4674 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186539172438 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13975920 memory=140474458318464 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064947 14311342080 7577 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30308 KiB
[startup+0.310339 s]*
/proc/loadavg: 1.13 1.30 1.49 3/213 4153
/proc/meminfo: memFree=31257940/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13975920 memory=39892 CPUtime=0.24 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 10215 0 0 0 22 2 0 0 20 0 15 0 138064928 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3493980 9973 3553 1 0 3482759 0
[pid=4138/tid=4140] ppid=4135 vsize=13975920 memory=4278483708103473607 CPUtime=0.17 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 7939 0 0 0 15 2 0 0 20 0 15 0 138064937 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186564521088 140186560324765 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138064937 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186037969696 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138064939 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186036917360 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 138064942 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 138064942 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) R 4135 4138 4674 0 -1 4202560 387 0 0 0 4 0 0 0 20 0 15 0 138064942 14311342080 9973 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186552539966 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14312390656 9973 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064947 14312390656 9973 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39892 KiB
[startup+0.700694 s]
/proc/loadavg: 1.13 1.30 1.49 4/213 4153
/proc/meminfo: memFree=31243316/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13977988 memory=69108 CPUtime=1.05 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 14557 0 0 0 100 5 0 0 20 0 15 0 138064928 14313459712 17277 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3494497 17277 3727 1 0 3483271 0
[pid=4138/tid=4140] ppid=4135 vsize=13977988 memory=119 CPUtime=0.55 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 10369 0 0 0 51 4 0 0 20 0 15 0 138064937 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186564538608 140186204212671 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064937 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13977988 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 138064937 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13977988 memory=140474354544107 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 138064939 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13977988 memory=3047711428380565130 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 138064939 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186037969696 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13977988 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 138064939 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186036917360 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13977988 memory=-8412658762586492787 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13977988 memory=-8412658744800154483 CPUtime=0.11 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) R 4135 4138 4674 0 -1 4202560 1057 0 0 0 11 0 0 0 20 0 15 0 138064942 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186034794568 140186541712989 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13977988 memory=-8412658754298548083 CPUtime=0.13 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) R 4135 4138 4674 0 -1 4202560 713 0 0 0 13 0 0 0 20 0 15 0 138064942 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186033746776 140186539995943 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13977988 memory=3047711428313195656 CPUtime=0.23 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 1039 0 0 0 23 0 0 0 20 0 15 0 138064942 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13977988 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 138064947 14313459712 17343 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69108 KiB
[startup+1.50785 s]
/proc/loadavg: 1.13 1.30 1.49 5/213 4153
/proc/meminfo: memFree=31167804/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13982084 memory=228408 CPUtime=3.27 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 30839 0 0 0 316 11 0 0 20 0 15 0 138064928 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3495521 57102 3792 1 0 3484295 0
[pid=4138/tid=4140] ppid=4135 vsize=13982084 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 14928 0 0 0 126 7 0 0 20 0 15 0 138064937 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186564540088 140186208592734 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13982084 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 138064937 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13982084 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 138064937 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13982084 memory=280948709270800 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 138064937 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13982084 memory=280948709270864 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 138064937 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186037969696 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186036917376 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13982084 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) R 4135 4138 4674 0 -1 4202560 3337 0 0 0 62 1 0 0 20 0 15 0 138064942 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186034794568 140186543799555 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13982084 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) R 4135 4138 4674 0 -1 4202560 2145 0 0 0 60 0 0 0 20 0 15 0 138064942 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186033747184 140186541820544 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13982084 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 7971 0 0 0 62 1 0 0 20 0 15 0 138064942 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13982084 memory=67612 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 138064947 14317654016 57102 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
################
# More data... #
################
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 113434 0 0 0 235599 86 0 0 20 0 15 0 138064937 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186564541328 140186210804707 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13982084 memory=559288 CPUtime=16.47 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 13351 0 0 0 1599 48 0 0 20 0 15 0 138064937 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13982084 memory=546976 CPUtime=16.52 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 16146 0 0 0 1605 47 0 0 20 0 15 0 138064937 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13982084 memory=543900 CPUtime=16.46 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 15993 0 0 0 1599 47 0 0 20 0 15 0 138064937 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13982084 memory=520816 CPUtime=16.48 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 14540 0 0 0 1602 46 0 0 20 0 15 0 138064937 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13982084 memory=599944 CPUtime=5.3 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 36752 0 0 0 456 74 0 0 20 0 15 0 138064939 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13982084 memory=525944 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186037969760 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13982084 memory=587632 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186036917376 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13982084 memory=585580 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13982084 memory=12304 CPUtime=2.94 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 24825 0 0 0 290 4 0 0 20 0 15 0 138064942 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13982084 memory=585580 CPUtime=3.46 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 22672 0 0 0 344 2 0 0 20 0 15 0 138064942 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13982084 memory=585580 CPUtime=1.08 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 28486 0 0 0 106 2 0 0 20 0 15 0 138064942 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13982084 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13982084 memory=67736 CPUtime=1.5 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 994 0 0 0 67 83 0 0 20 0 15 0 138064947 14317654016 146139 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 2437.18 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 584556 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.36 1.43 3/212 4409
/proc/meminfo: memFree=30260140/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13982084 memory=602380 CPUtime=2498.35 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 293699 0 0 0 249429 406 0 0 20 0 15 0 138064928 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3495521 150595 3840 1 0 3484295 0
[pid=4138/tid=4140] ppid=4135 vsize=13982084 memory=587632 CPUtime=2416.2 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 116961 0 0 0 241532 88 0 0 20 0 15 0 138064937 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186564541328 140186210583800 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13982084 memory=652980 CPUtime=16.89 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 13594 0 0 0 1639 50 0 0 20 0 15 0 138064937 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13982084 memory=634816 CPUtime=16.93 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 16481 0 0 0 1645 48 0 0 20 0 15 0 138064937 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13982084 memory=626340 CPUtime=16.88 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 16379 0 0 0 1639 49 0 0 20 0 15 0 138064937 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13982084 memory=619824 CPUtime=16.89 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 14941 0 0 0 1642 47 0 0 20 0 15 0 138064937 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13982084 memory=631228 CPUtime=5.42 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 36827 0 0 0 467 75 0 0 20 0 15 0 138064939 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186037969760 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13982084 memory=605460 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186036917376 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13982084 memory=602380 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13982084 memory=602380 CPUtime=2.95 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 24880 0 0 0 291 4 0 0 20 0 15 0 138064942 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13982084 memory=280948709738752 CPUtime=3.47 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 22672 0 0 0 345 2 0 0 20 0 15 0 138064942 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13982084 memory=612640 CPUtime=1.08 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 28486 0 0 0 106 2 0 0 20 0 15 0 138064942 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13982084 memory=613668 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13982084 memory=4288 CPUtime=1.54 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 997 0 0 0 68 86 0 0 20 0 15 0 138064947 14317654016 150595 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 2498.35 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 602380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.5 s]
/proc/loadavg: 1.32 1.36 1.43 3/212 4410
/proc/meminfo: memFree=30282780/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13982084 memory=576212 CPUtime=2520.05 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 296115 0 0 0 251597 408 0 0 20 0 15 0 138064928 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3495521 144053 3840 1 0 3484295 0
[pid=4138/tid=4140] ppid=4135 vsize=13982084 memory=579292 CPUtime=2437.11 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 117037 0 0 0 243623 88 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186564541328 140186210582870 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13982084 memory=645216 CPUtime=17.06 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 13797 0 0 0 1656 50 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13982084 memory=4148 CPUtime=17.11 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 16744 0 0 0 1663 48 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13982084 memory=622900 CPUtime=17.06 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 16561 0 0 0 1657 49 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13982084 memory=619824 CPUtime=17.07 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 15117 0 0 0 1660 47 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13982084 memory=588012 CPUtime=5.48 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 38332 0 0 0 472 76 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186037969760 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13982084 memory=585960 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186036917376 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13982084 memory=581344 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13982084 memory=580316 CPUtime=2.95 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 24880 0 0 0 291 4 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13982084 memory=578264 CPUtime=3.47 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 22680 0 0 0 345 2 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13982084 memory=577240 CPUtime=1.08 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 28489 0 0 0 106 2 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13982084 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13982084 memory=581344 CPUtime=1.56 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 997 0 0 0 69 87 0 0 20 0 15 0 138064947 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 576212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.53 s]
# the end of solver process 4138 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516 s, system=4.08556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.5 s]
/proc/loadavg: 1.32 1.36 1.43 3/212 4410
/proc/meminfo: memFree=30282780/32770624 swapFree=67108764/67108860
[pid=4138] ppid=4135 vsize=13982084 memory=576212 CPUtime=2520.05 cores=1,3,5,7
/proc/4138/stat : 4138 (java) S 4135 4138 4674 0 -1 1077944320 296115 0 0 0 251597 408 0 0 20 0 15 0 138064928 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140733862361824 140186560302839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
/proc/4138/statm: 3495521 144053 3840 1 0 3484295 0
[pid=4138/tid=4140] ppid=4135 vsize=13982084 memory=579292 CPUtime=2437.11 cores=1,3,5,7
/proc/4138/task/4140/stat : 4140 (java) R 4135 4138 4674 0 -1 4202560 117037 0 0 0 243623 88 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186564541328 140186210582870 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4141] ppid=4135 vsize=13982084 memory=645216 CPUtime=17.06 cores=1,3,5,7
/proc/4138/task/4141/stat : 4141 (java) S 4135 4138 4674 0 -1 1077944384 13797 0 0 0 1656 50 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186159942544 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4142] ppid=4135 vsize=13982084 memory=4148 CPUtime=17.11 cores=1,3,5,7
/proc/4138/task/4142/stat : 4142 (java) S 4135 4138 4674 0 -1 1077944384 16744 0 0 0 1663 48 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186158889744 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4143] ppid=4135 vsize=13982084 memory=622900 CPUtime=17.06 cores=1,3,5,7
/proc/4138/task/4143/stat : 4143 (java) S 4135 4138 4674 0 -1 1077944384 16561 0 0 0 1657 49 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186157837456 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4144] ppid=4135 vsize=13982084 memory=619824 CPUtime=17.07 cores=1,3,5,7
/proc/4138/task/4144/stat : 4144 (java) S 4135 4138 4674 0 -1 1077944384 15117 0 0 0 1660 47 0 0 20 0 15 0 138064937 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186156784656 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4145] ppid=4135 vsize=13982084 memory=588012 CPUtime=5.48 cores=1,3,5,7
/proc/4138/task/4145/stat : 4145 (java) S 4135 4138 4674 0 -1 1077944384 38332 0 0 0 472 76 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186039023728 140186560313986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4146] ppid=4135 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4146/stat : 4146 (java) S 4135 4138 4674 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186037969760 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4147] ppid=4135 vsize=13982084 memory=585960 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4147/stat : 4147 (java) S 4135 4138 4674 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 138064939 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186036917376 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4148] ppid=4135 vsize=13982084 memory=581344 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4148/stat : 4148 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186035865680 140186560321435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4149] ppid=4135 vsize=13982084 memory=580316 CPUtime=2.95 cores=1,3,5,7
/proc/4138/task/4149/stat : 4149 (java) S 4135 4138 4674 0 -1 1077944384 24880 0 0 0 291 4 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186034813552 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4150] ppid=4135 vsize=13982084 memory=578264 CPUtime=3.47 cores=1,3,5,7
/proc/4138/task/4150/stat : 4150 (java) S 4135 4138 4674 0 -1 1077944384 22680 0 0 0 345 2 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186033760752 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4151] ppid=4135 vsize=13982084 memory=577240 CPUtime=1.08 cores=1,3,5,7
/proc/4138/task/4151/stat : 4151 (java) S 4135 4138 4674 0 -1 1077944384 28489 0 0 0 106 2 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186032708464 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4152] ppid=4135 vsize=13982084 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/4138/task/4152/stat : 4152 (java) S 4135 4138 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 138064942 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186031655904 140186560313045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
[pid=4138/tid=4153] ppid=4135 vsize=13982084 memory=581344 CPUtime=1.56 cores=1,3,5,7
/proc/4138/task/4153/stat : 4153 (java) S 4135 4138 4674 0 -1 1077944384 997 0 0 0 69 87 0 0 20 0 15 0 138064947 14317654016 144053 18446744073709551615 4194304 4196468 140733862379280 140186030602672 140186560313986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733862383988 140733862384169 140733862384169 140733862387663 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 576212 KiB
Child status: 143
Real time (s): 2463.53
CPU time (s): 2520.08
CPU user time (s): 2516
CPU system time (s): 4.08556
CPU usage (%): 102.296
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2191920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516
system time used= 4.08556
maximum resident set size= 2193524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186595
involuntary context switches= 8629
# summary of solver processes directly reported to runsolver:
# pid: 4138
# total CPU time (s): 2520.08
# total CPU user time (s): 2516
# total CPU system time (s): 4.08556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6312 second user time and 24.901 second system time
The end