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 (15207 MiB free)
memory of node 1: 16384 MiB (15284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273764-1502815667/watcher-4273764-1502815667 -o /tmp/evaluation-result-4273764-1502815667/solver-4273764-1502815667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 31912461 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273764-1502815667.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=10176, runsolver pid=10173
[startup+0.107367 s]*
/proc/loadavg: 1.38 1.52 1.51 3/201 10182
/proc/meminfo: memFree=31216448/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13441564 memory=15988 CPUtime=0.02 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 3852 0 0 0 1 1 0 0 20 0 8 0 83762006 13764161536 3997 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3360391 3997 2034 1 0 3349888 0
[pid=10176/tid=10178] ppid=10173 vsize=13507100 memory=4206751525541407381 CPUtime=0.01 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 2562 0 0 0 1 0 0 0 20 0 8 0 83762014 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139682081584808 139682061432158 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13507100 memory=3461361991549258287 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 83762015 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13507100 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 83762015 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 83762015 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13507100 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 83762015 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13507100 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 83762017 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13507100 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 83762017 13831270400 4065 18446744073709551615 4194304 4196468 140737109563104 139681194827728 139682077361877 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13441564 KiB
Current children cumulated memory: 15988 KiB
[startup+0.209595 s]*
/proc/loadavg: 1.38 1.52 1.51 4/210 10191
/proc/meminfo: memFree=31206724/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13975920 memory=31052 CPUtime=0.1 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 7101 0 0 0 8 2 0 0 20 0 15 0 83762006 14311342080 7763 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3493980 7763 3384 1 0 3482759 0
[pid=10176/tid=10178] ppid=10173 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 5059 0 0 0 6 1 0 0 20 0 15 0 83762014 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139682081573688 139682077373597 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13975920 memory=4294967624 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13975920 memory=139707439816884 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13975920 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681194828832 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681193775984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13975920 memory=139707438999168 CPUtime=0.01 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 83762020 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13975920 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762024 14311342080 7829 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31052 KiB
[startup+0.311041 s]*
/proc/loadavg: 1.38 1.52 1.51 4/210 10191
/proc/meminfo: memFree=31195944/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13975920 memory=40256 CPUtime=0.27 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 10840 0 0 0 23 4 0 0 20 0 15 0 83762006 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3493980 10064 3521 1 0 3482759 0
[pid=10176/tid=10178] ppid=10173 vsize=13975920 memory=-7677926825137650786 CPUtime=0.18 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 8505 0 0 0 15 3 0 0 20 0 15 0 83762014 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139682081551456 139682061432158 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83762015 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681194828832 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83762017 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681193775984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 15 0 83762020 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 15 0 83762020 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13975920 memory=139707438999168 CPUtime=0.05 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) R 10173 10176 12560 0 -1 4202560 451 0 0 0 5 0 0 0 20 0 15 0 83762020 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682056023958 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13975920 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762024 14311342080 10064 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40256 KiB
[startup+0.700665 s]
/proc/loadavg: 1.38 1.52 1.51 4/210 10191
/proc/meminfo: memFree=31182108/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13977988 memory=72104 CPUtime=1.04 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 14690 0 0 0 98 6 0 0 20 0 15 0 83762006 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3494497 18026 3725 1 0 3483271 0
[pid=10176/tid=10178] ppid=10173 vsize=13977988 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 10465 0 0 0 51 4 0 0 20 0 15 0 83762014 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139682081587376 139682061395301 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13977988 memory=97 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13977988 memory=139707438999168 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13977988 memory=279414600597648 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83762015 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 83762017 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83762017 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681194828832 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83762017 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681193775984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13977988 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) R 10173 10176 12560 0 -1 4202560 1174 0 0 0 14 0 0 0 20 0 15 0 83762020 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077363606 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13977988 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 705 0 0 0 11 0 0 0 20 0 15 0 83762020 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13977988 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) R 10173 10176 12560 0 -1 1077944384 965 0 0 0 21 0 0 0 20 0 15 0 83762020 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762024 14313459712 18026 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72104 KiB
[startup+1.50141 s]
/proc/loadavg: 1.38 1.52 1.51 5/210 10191
/proc/meminfo: memFree=31106332/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13980036 memory=171860 CPUtime=3.3 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 26612 0 0 0 320 10 0 0 20 0 15 0 83762006 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3495009 42965 3758 1 0 3483783 0
[pid=10176/tid=10178] ppid=10173 vsize=13980036 memory=46504 CPUtime=1.35 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 14056 0 0 0 129 6 0 0 20 0 15 0 83762014 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139682081587968 139681686332503 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13980036 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13980036 memory=154836 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83762015 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83762015 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13980036 memory=33 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681194828832 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681193775984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13980036 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) R 10173 10176 12560 0 -1 4202560 5434 0 0 0 79 0 0 0 20 0 15 0 83762020 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681191665176 139682056608336 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13980036 memory=279414600582560 CPUtime=0.72 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) R 10173 10176 12560 0 -1 4202560 3989 0 0 0 71 1 0 0 20 0 15 0 83762020 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681190605768 139682058873109 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13980036 memory=3472468003527979945 CPUtime=0.4 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 1745 0 0 0 40 0 0 0 20 0 15 0 83762020 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13980036 memory=-7739291840220455296 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 42965 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
################
# More data... #
################
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 32005 0 0 0 243379 15 0 0 20 0 15 0 83762014 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139682081590304 139681686444658 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13980036 memory=216524 CPUtime=3.05 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 1991 0 0 0 280 25 0 0 20 0 15 0 83762015 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13980036 memory=214428 CPUtime=3.04 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 2248 0 0 0 280 24 0 0 20 0 15 0 83762015 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13980036 memory=214428 CPUtime=3.07 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 2546 0 0 0 281 26 0 0 20 0 15 0 83762015 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13980036 memory=214428 CPUtime=3.07 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 3011 0 0 0 282 25 0 0 20 0 15 0 83762015 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13980036 memory=214428 CPUtime=3.08 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5456 0 0 0 287 21 0 0 20 0 15 0 83762017 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13980036 memory=214428 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681194828896 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13980036 memory=216476 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681193776000 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13980036 memory=216524 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13980036 memory=216524 CPUtime=1.1 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 7791 0 0 0 109 1 0 0 20 0 15 0 83762020 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13980036 memory=216524 CPUtime=1 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 7267 0 0 0 98 2 0 0 20 0 15 0 83762020 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13980036 memory=216524 CPUtime=0.46 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 4627 0 0 0 45 1 0 0 20 0 15 0 83762020 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13980036 memory=216524 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13980036 memory=216524 CPUtime=0.74 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 560 0 0 0 33 41 0 0 20 0 15 0 83762024 14315556864 54131 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 2452.63 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 216524 KiB
[startup+2502.3 s]
/proc/loadavg: 1.39 1.44 1.43 3/209 10440
/proc/meminfo: memFree=30493596/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13980036 memory=216564 CPUtime=2512.86 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 69728 0 0 0 251144 142 0 0 20 0 15 0 83762006 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3495009 54141 3790 1 0 3483783 0
[pid=10176/tid=10178] ppid=10173 vsize=13980036 memory=216524 CPUtime=2493.73 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 32443 0 0 0 249358 15 0 0 20 0 15 0 83762014 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139682081590320 139681686331349 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13980036 memory=216524 CPUtime=3.13 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 2040 0 0 0 288 25 0 0 20 0 15 0 83762015 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13980036 memory=279414601808896 CPUtime=3.12 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 2300 0 0 0 287 25 0 0 20 0 15 0 83762015 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13980036 memory=0 CPUtime=3.15 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 2554 0 0 0 289 26 0 0 20 0 15 0 83762015 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13980036 memory=216564 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 3045 0 0 0 290 26 0 0 20 0 15 0 83762015 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13980036 memory=216564 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5639 0 0 0 294 22 0 0 20 0 15 0 83762017 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681194828896 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681193776000 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13980036 memory=2384 CPUtime=1.1 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 7793 0 0 0 109 1 0 0 20 0 15 0 83762020 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13980036 memory=216564 CPUtime=1 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 7269 0 0 0 98 2 0 0 20 0 15 0 83762020 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13980036 memory=216564 CPUtime=0.46 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 4629 0 0 0 45 1 0 0 20 0 15 0 83762020 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13980036 memory=216564 CPUtime=0.77 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 575 0 0 0 35 42 0 0 20 0 15 0 83762024 14315556864 54141 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 2512.86 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 216564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.56 1.48 1.44 3/209 10440
/proc/meminfo: memFree=30491548/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13980036 memory=218612 CPUtime=2520.09 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 69751 0 0 0 251866 143 0 0 20 0 15 0 83762006 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3495009 54653 3790 1 0 3483783 0
[pid=10176/tid=10178] ppid=10173 vsize=13980036 memory=4144 CPUtime=2500.9 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 32459 0 0 0 250075 15 0 0 20 0 15 0 83762014 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682081590416 139681686170542 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13980036 memory=216524 CPUtime=3.14 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 2041 0 0 0 289 25 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13980036 memory=0 CPUtime=3.13 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 2300 0 0 0 288 25 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13980036 memory=216564 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 2556 0 0 0 290 26 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13980036 memory=218612 CPUtime=3.17 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 3045 0 0 0 291 26 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13980036 memory=218612 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5641 0 0 0 294 22 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681194828896 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13980036 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681193776000 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13980036 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13980036 memory=1412 CPUtime=1.1 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 7793 0 0 0 109 1 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13980036 memory=218612 CPUtime=1 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 7269 0 0 0 98 2 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13980036 memory=4144 CPUtime=0.46 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 4629 0 0 0 45 1 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13980036 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13980036 memory=218612 CPUtime=0.77 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 577 0 0 0 35 42 0 0 20 0 15 0 83762024 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 218612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 10176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.43711 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 1.56 1.48 1.44 3/209 10440
/proc/meminfo: memFree=30491548/32770624 swapFree=67105588/67108860
[pid=10176] ppid=10173 vsize=13980036 memory=218612 CPUtime=2520.09 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 12560 0 -1 1077944320 69751 0 0 0 251866 143 0 0 20 0 15 0 83762006 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 140737109545648 139682077351671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
/proc/10176/statm: 3495009 54653 3790 1 0 3483783 0
[pid=10176/tid=10178] ppid=10173 vsize=13980036 memory=4144 CPUtime=2500.9 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 12560 0 -1 4202560 32459 0 0 0 250075 15 0 0 20 0 15 0 83762014 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682081590416 139681686170542 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10179] ppid=10173 vsize=13980036 memory=216524 CPUtime=3.14 cores=0,2,4,6
/proc/10176/task/10179/stat : 10179 (java) S 10173 10176 12560 0 -1 1077944384 2041 0 0 0 289 25 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682011786384 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10180] ppid=10173 vsize=13980036 memory=0 CPUtime=3.13 cores=0,2,4,6
/proc/10176/task/10180/stat : 10180 (java) S 10173 10176 12560 0 -1 1077944384 2300 0 0 0 288 25 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682010733584 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10181] ppid=10173 vsize=13980036 memory=216564 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10181/stat : 10181 (java) S 10173 10176 12560 0 -1 1077944384 2556 0 0 0 290 26 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682009680784 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10182] ppid=10173 vsize=13980036 memory=218612 CPUtime=3.17 cores=0,2,4,6
/proc/10176/task/10182/stat : 10182 (java) S 10173 10176 12560 0 -1 1077944384 3045 0 0 0 291 26 0 0 20 0 15 0 83762015 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139682008627984 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10183] ppid=10173 vsize=13980036 memory=218612 CPUtime=3.16 cores=0,2,4,6
/proc/10176/task/10183/stat : 10183 (java) S 10173 10176 12560 0 -1 1077944384 5641 0 0 0 294 22 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681263405424 139682077362818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10184] ppid=10173 vsize=13980036 memory=216564 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10184/stat : 10184 (java) S 10173 10176 12560 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681194828896 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10185] ppid=10173 vsize=13980036 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 83762017 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681193776000 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10186] ppid=10173 vsize=13980036 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681192724304 139682077370267 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10187] ppid=10173 vsize=13980036 memory=1412 CPUtime=1.1 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 12560 0 -1 1077944384 7793 0 0 0 109 1 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681191672688 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10188] ppid=10173 vsize=13980036 memory=218612 CPUtime=1 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 12560 0 -1 1077944384 7269 0 0 0 98 2 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681190619888 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10189] ppid=10173 vsize=13980036 memory=4144 CPUtime=0.46 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 12560 0 -1 1077944384 4629 0 0 0 45 1 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681189567088 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10190] ppid=10173 vsize=13980036 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83762020 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681188514528 139682077361877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
[pid=10176/tid=10191] ppid=10173 vsize=13980036 memory=218612 CPUtime=0.77 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 12560 0 -1 1077944384 577 0 0 0 35 42 0 0 20 0 15 0 83762024 14315556864 54653 18446744073709551615 4194304 4196468 140737109563104 139681187461808 139682077362818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140737109565808 140737109565993 140737109565993 140737109569487 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 218612 KiB
Child status: 143
Real time (s): 2509.51
CPU time (s): 2520.11
CPU user time (s): 2518.67
CPU system time (s): 1.43711
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 240344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.43711
maximum resident set size= 240344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142191
involuntary context switches= 5385
# summary of solver processes directly reported to runsolver:
# pid: 10176
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.43711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6981 second user time and 23.8815 second system time
The end