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 (13306 MiB free)
memory of node 1: 16384 MiB (13451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305291-1534150294/watcher-4305291-1534150294 -o /tmp/evaluation-result-4305291-1534150294/solver-4305291-1534150294 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534137874-9213 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=250218843 HOME/instance-4305291-1534150294.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=11950, runsolver pid=11947
[startup+0.100713 s]*
/proc/loadavg: 1.77 1.69 1.62 3/205 12004
/proc/meminfo: memFree=27394992/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 4283 13300 0 0 1 1 4 3 20 0 6 0 232592583 10245611520 4137 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2501370 4137 1932 1 0 2489808 0
[pid=11950/tid=12003] ppid=11947 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 2114 13300 0 0 0 0 4 3 20 0 6 0 232592592 10245611520 4137 33554432000 4194304 4196468 140721125983024 140488330670672 140488344516437 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 6 0 232592593 10245611520 4137 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=10005480 memory=140117502011008 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 6 0 232592593 10245611520 4137 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 6 0 232592593 10245611520 4137 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 6 0 232592593 10245611520 4137 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210149 s]*
/proc/loadavg: 1.77 1.69 1.62 3/217 12016
/proc/meminfo: memFree=27371972/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=10982696 memory=44940 CPUtime=0.26 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 8551 13300 0 0 16 3 4 3 20 0 15 0 232592583 11246280704 11235 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2745674 11235 2962 1 0 2708109 0
[pid=11950/tid=12003] ppid=11947 vsize=10982696 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 5094 13300 0 0 10 1 4 3 20 0 15 0 232592592 11246280704 11235 33554432000 4194304 4196468 140721125983024 140488330621056 140488342020720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=10982696 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246280704 11235 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=10982696 memory=140117502011008 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246280704 11235 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246280704 11235 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=10982696 memory=140117502011008 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592594 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 13 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487118808352 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246280704 11235 33554432000 4194304 4196468 140721125983024 140486970959472 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 554 13300 0 0 1 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487850915952 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) S 11947 11950 8955 0 -1 1077944384 73 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487849863152 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=10982696 memory=140117502011008 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) R 11947 11950 8955 0 -1 4202560 614 13300 0 0 3 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487848810864 140488337773251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=10982696 memory=140117502011008 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246280704 11235 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44940 KiB
[startup+0.310527 s]*
/proc/loadavg: 1.77 1.69 1.62 3/217 12016
/proc/meminfo: memFree=27360312/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=10983192 memory=56096 CPUtime=0.37 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 10507 13300 0 0 27 3 4 3 20 0 15 0 232592583 11246788608 13958 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2745798 13958 3094 1 0 2708109 0
[pid=11950/tid=12003] ppid=11947 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 7086 13300 0 0 19 2 4 3 20 0 15 0 232592592 11246788608 14024 33554432000 4194304 4196468 140721125983024 140488330645920 140488358855837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=10983192 memory=6152571722694414417 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 14024 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=10983192 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 14024 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 14024 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 14024 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592594 11246788608 14024 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 13 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246788608 14024 33554432000 4194304 4196468 140721125983024 140487118808352 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246788608 14024 33554432000 4194304 4196468 140721125983024 140486970959472 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 14024 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 554 13300 0 0 1 0 4 3 20 0 15 0 232592598 11246788608 14071 33554432000 4194304 4196468 140721125983024 140487850915952 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) S 11947 11950 8955 0 -1 1077944384 74 13300 0 0 1 0 4 3 20 0 15 0 232592598 11246788608 14071 33554432000 4194304 4196468 140721125983024 140487849863152 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) S 11947 11950 8955 0 -1 1077944384 620 13300 0 0 5 0 4 3 20 0 15 0 232592598 11246788608 14071 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 14071 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 14071 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56096 KiB
[startup+0.700805 s]
/proc/loadavg: 1.77 1.69 1.62 3/217 12016
/proc/meminfo: memFree=27348776/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=10983192 memory=88560 CPUtime=0.98 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 16812 13300 0 0 85 6 4 3 20 0 15 0 232592583 11246788608 22140 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2745798 22140 3237 1 0 2708109 0
[pid=11950/tid=12003] ppid=11947 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 12376 13300 0 0 54 4 4 3 20 0 15 0 232592592 11246788608 22140 33554432000 4194304 4196468 140721125983024 140488330656080 140488342914398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 22140 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=10983192 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 22140 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 22140 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592593 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 5 13300 0 0 0 0 4 3 20 0 15 0 232592594 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 13 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487118808352 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592595 11246788608 22140 33554432000 4194304 4196468 140721125983024 140486970959472 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 825 13300 0 0 7 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487850915952 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) S 11947 11950 8955 0 -1 1077944384 712 13300 0 0 10 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487849863152 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=10983192 memory=17668 CPUtime=0.19 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) S 11947 11950 8955 0 -1 1077944384 677 13300 0 0 12 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592598 11246788608 22140 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88560 KiB
[startup+1.50076 s]
/proc/loadavg: 1.77 1.69 1.62 5/217 12016
/proc/meminfo: memFree=27302360/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=10998092 memory=182316 CPUtime=2.42 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 24315 13300 0 0 223 12 4 3 20 0 15 0 232592583 11262046208 45579 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2749523 45579 3470 1 0 2711181 0
[pid=11950/tid=12003] ppid=11947 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 17779 13300 0 0 128 7 4 3 20 0 15 0 232592592 11262046208 45579 33554432000 4194304 4196468 140721125983024 140488330663136 140488342914398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 19 13300 0 0 1 0 4 3 20 0 15 0 232592593 11262046208 45579 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 25 13300 0 0 1 0 4 3 20 0 15 0 232592593 11262046208 45579 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 192 13300 0 0 1 0 4 3 20 0 15 0 232592593 11262046208 45579 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 62 13300 0 0 1 0 4 3 20 0 15 0 232592593 11262046208 45579 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 48 13300 0 0 1 0 4 3 20 0 15 0 232592594 11262046208 45579 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=10998092 memory=280234804979968 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 14 13300 0 0 0 0 4 3 20 0 15 0 232592595 11262046208 45579 33554432000 4194304 4196468 140721125983024 140487118808416 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592595 11262046208 45579 33554432000 4194304 4196468 140721125983024 140486970959488 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=10998092 memory=1084 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11262046208 45579 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=10998092 memory=1600 CPUtime=0.36 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 1407 13300 0 0 29 0 4 3 20 0 15 0 232592598 11262046208 45583 33554432000 4194304 4196468 140721125983024 140487850915952 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=10998092 memory=7952 CPUtime=0.3 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) S 11947 11950 8955 0 -1 1077944384 1269 13300 0 0 23 0 4 3 20 0 15 0 232592598 11262046208 45583 33554432000 4194304 4196468 140721125983024 140487849863152 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=10998092 memory=4088 CPUtime=0.42 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) S 11947 11950 8955 0 -1 1077944384 1303 13300 0 0 35 0 4 3 20 0 15 0 232592598 11262046208 45583 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=10998092 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11262046208 45583 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=10998092 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592598 11262046208 45583 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+4.17005 s]
# the end of solver process 11950 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.9461 s, system=0.259838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20348 s]
/proc/loadavg: 1.77 1.69 1.62 5/217 12016
/proc/meminfo: memFree=27153784/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=11008352 memory=282872 CPUtime=6.66 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 44259 13300 0 0 642 17 4 3 20 0 15 0 232592583 11272552448 70718 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2752088 70718 3510 1 0 2713741 0
[pid=11950/tid=12003] ppid=11947 vsize=11008352 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) S 11947 11950 8955 0 -1 1077944384 29181 13300 0 0 292 10 4 3 20 0 15 0 232592592 11272552448 70718 33554432000 4194304 4196468 140721125983024 140488330668288 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=11008352 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 320 13300 0 0 2 0 4 3 20 0 15 0 232592593 11272552448 70718 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 514 13300 0 0 2 0 4 3 20 0 15 0 232592593 11272552448 70718 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) R 11947 11950 8955 0 -1 4202560 206 13300 0 0 1 0 4 3 20 0 15 0 232592593 11272552448 70718 33554432000 4194304 4196468 140721125983024 140488247220776 140488351462119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 72 13300 0 0 1 0 4 3 20 0 15 0 232592593 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487896783392 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 279 13300 0 0 1 0 4 3 20 0 15 0 232592594 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487851967424 140488358844117 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 14 13300 0 0 0 0 4 3 20 0 15 0 232592595 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487118808416 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 1 13300 0 0 0 0 4 3 20 0 15 0 232592595 11272552448 70718 33554432000 4194304 4196468 140721125983024 140486970959488 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=11008352 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 4109 13300 0 0 126 1 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487850906272 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=11008352 memory=1260 CPUtime=1.06 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) R 11947 11950 8955 0 -1 4202560 2501 13300 0 0 98 1 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487849863152 140488340355090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=11008352 memory=14872 CPUtime=1.22 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) S 11947 11950 8955 0 -1 1077944384 4860 13300 0 0 114 1 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487848806080 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=11008352 memory=6788 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 7 13300 0 0 0 0 4 3 20 0 15 0 232592598 11272552448 70718 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 6.66 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 282872 KiB
[startup+3.60078 s]
/proc/loadavg: 1.77 1.69 1.62 5/217 12016
/proc/meminfo: memFree=27153784/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=11012448 memory=293060 CPUtime=7.55 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 60794 13300 0 0 729 19 4 3 20 0 15 0 232592583 11276746752 73265 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2753112 73265 3513 1 0 2714765 0
[pid=11950/tid=12003] ppid=11947 vsize=11012448 memory=0 CPUtime=3.46 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 38194 13300 0 0 328 11 4 3 20 0 15 0 232592592 11276746752 73265 33554432000 4194304 4196468 140721125983024 140488330657744 140488336859794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=11012448 memory=280234805771936 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 322 13300 0 0 3 0 4 3 20 0 15 0 232592593 11276746752 73265 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=11012448 memory=140117402888240 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 514 13300 0 0 3 0 4 3 20 0 15 0 232592593 11276746752 73265 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=11012448 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 206 13300 0 0 2 0 4 3 20 0 15 0 232592593 11276746752 73265 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=11012448 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 73 13300 0 0 2 0 4 3 20 0 15 0 232592593 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=11012448 memory=-1088251628401078322 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 6413 13300 0 0 3 0 4 3 20 0 15 0 232592594 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=11012448 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 14 13300 0 0 0 0 4 3 20 0 15 0 232592595 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487118808416 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=11012448 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592595 11276746752 73265 33554432000 4194304 4196468 140721125983024 140486970959488 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=11012448 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=11012448 memory=-7022074515825631275 CPUtime=1.54 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) S 11947 11950 8955 0 -1 1077944384 4933 13300 0 0 146 1 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487850915952 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=11012448 memory=-6876588461455810464 CPUtime=1.22 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) S 11947 11950 8955 0 -1 1077944384 2775 13300 0 0 114 1 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487849863152 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=11012448 memory=-7522837415730323359 CPUtime=1.31 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) S 11947 11950 8955 0 -1 1077944384 5146 13300 0 0 123 1 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=11012448 memory=7355069530030913660 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=11012448 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 7 13300 0 0 0 0 4 3 20 0 15 0 232592598 11276746752 73265 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 293060 KiB
[startup+4.00066 s]*
/proc/loadavg: 1.77 1.69 1.62 5/217 12016
/proc/meminfo: memFree=27095580/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=11077984 memory=313460 CPUtime=8.69 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 66712 13300 0 0 842 20 4 3 20 0 15 0 232592583 11343855616 78365 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2769496 78365 3519 1 0 2731149 0
[pid=11950/tid=12003] ppid=11947 vsize=11077984 memory=-6517102902069810590 CPUtime=3.87 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 43553 13300 0 0 368 12 4 3 20 0 15 0 232592592 11343855616 78365 33554432000 4194304 4196468 140721125983024 140488330660864 140487940491145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=11077984 memory=3691042058319900680 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 322 13300 0 0 3 0 4 3 20 0 15 0 232592593 11343855616 78365 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=11077984 memory=2320957612739221172 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 514 13300 0 0 3 0 4 3 20 0 15 0 232592593 11343855616 78365 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=11077984 memory=8470556256330945681 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 206 13300 0 0 2 0 4 3 20 0 15 0 232592593 11343855616 78365 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=11077984 memory=51324859188200 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 73 13300 0 0 2 0 4 3 20 0 15 0 232592593 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=11077984 memory=3540059722701905121 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 6413 13300 0 0 3 0 4 3 20 0 15 0 232592594 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=11077984 memory=4051327829620896306 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 14 13300 0 0 0 0 4 3 20 0 15 0 232592595 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487118808416 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=11077984 memory=7518031067428250732 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592595 11343855616 78365 33554432000 4194304 4196468 140721125983024 140486970959488 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=11077984 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=11077984 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) R 11947 11950 8955 0 -1 4202560 5044 13300 0 0 174 1 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487850904624 140488342046141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=11077984 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) R 11947 11950 8955 0 -1 4202560 2873 13300 0 0 142 1 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487849849504 140488342330695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=11077984 memory=9 CPUtime=1.48 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) R 11947 11950 8955 0 -1 1077944384 5496 13300 0 0 140 1 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=11077984 memory=60 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=11077984 memory=63 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 7 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78365 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 313460 KiB
[startup+4.1105 s]
/proc/loadavg: 1.77 1.69 1.62 5/217 12016
/proc/meminfo: memFree=27095580/32770624 swapFree=67108804/67108860
[pid=11950] ppid=11947 vsize=11077984 memory=313700 CPUtime=9.02 cores=0,2,4,6
/proc/11950/stat : 11950 (java) S 11947 11950 8955 0 -1 1077944320 66803 13300 0 0 875 20 4 3 20 0 15 0 232592583 11343855616 78425 33554432000 4194304 4196468 140721125983024 140721125965568 140488358833911 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
/proc/11950/statm: 2769496 78425 3519 1 0 2731149 0
[pid=11950/tid=12003] ppid=11947 vsize=11077984 memory=280234804908544 CPUtime=3.96 cores=0,2,4,6
/proc/11950/task/12003/stat : 12003 (java) R 11947 11950 8955 0 -1 4202560 43568 13300 0 0 377 12 4 3 20 0 15 0 232592592 11343855616 78425 33554432000 4194304 4196468 140721125983024 140488330661040 140487927404480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12004] ppid=11947 vsize=11077984 memory=13869 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12004/stat : 12004 (java) S 11947 11950 8955 0 -1 1077944384 322 13300 0 0 3 0 4 3 20 0 15 0 232592593 11343855616 78425 33554432000 4194304 4196468 140721125983024 140488363075984 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12005] ppid=11947 vsize=11077984 memory=280234805245664 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12005/stat : 12005 (java) S 11947 11950 8955 0 -1 1077944384 514 13300 0 0 3 0 4 3 20 0 15 0 232592593 11343855616 78425 33554432000 4194304 4196468 140721125983024 140488248273168 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12006] ppid=11947 vsize=11077984 memory=7373064840051508073 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12006/stat : 12006 (java) S 11947 11950 8955 0 -1 1077944384 206 13300 0 0 2 0 4 3 20 0 15 0 232592593 11343855616 78425 33554432000 4194304 4196468 140721125983024 140488247220880 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12007] ppid=11947 vsize=11077984 memory=5936703535737026879 CPUtime=0.09 cores=0,2,4,6
/proc/11950/task/12007/stat : 12007 (java) S 11947 11950 8955 0 -1 1077944384 73 13300 0 0 2 0 4 3 20 0 15 0 232592593 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487896783376 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12008] ppid=11947 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11950/task/12008/stat : 12008 (java) S 11947 11950 8955 0 -1 1077944384 6413 13300 0 0 3 0 4 3 20 0 15 0 232592594 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487851969136 140488358845058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12009] ppid=11947 vsize=11077984 memory=7596255808780001856 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12009/stat : 12009 (java) S 11947 11950 8955 0 -1 1077944384 14 13300 0 0 0 0 4 3 20 0 15 0 232592595 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487118808416 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12010] ppid=11947 vsize=11077984 memory=5787214926557761634 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12010/stat : 12010 (java) S 11947 11950 8955 0 -1 1077944384 2 13300 0 0 0 0 4 3 20 0 15 0 232592595 11343855616 78425 33554432000 4194304 4196468 140721125983024 140486970959488 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12011] ppid=11947 vsize=11077984 memory=6152571722694414417 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12011/stat : 12011 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140486663559760 140488358852507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12012] ppid=11947 vsize=11077984 memory=6791534058613427641 CPUtime=1.92 cores=0,2,4,6
/proc/11950/task/12012/stat : 12012 (java) R 11947 11950 8955 0 -1 4202560 5060 13300 0 0 184 1 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487850899632 140488340378111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12013] ppid=11947 vsize=11077984 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/11950/task/12013/stat : 12013 (java) R 11947 11950 8955 0 -1 4202560 2892 13300 0 0 152 1 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487849852864 140488338046704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12014] ppid=11947 vsize=11077984 memory=7156609311636088658 CPUtime=1.51 cores=0,2,4,6
/proc/11950/task/12014/stat : 12014 (java) R 11947 11950 8955 0 -1 1077944384 5539 13300 0 0 143 1 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487848810864 140488358845058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12015] ppid=11947 vsize=11077984 memory=6153395282641506896 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12015/stat : 12015 (java) S 11947 11950 8955 0 -1 1077944384 3 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140486232762848 140488358844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
[pid=11950/tid=12016] ppid=11947 vsize=11077984 memory=7301862683141368144 CPUtime=0.07 cores=0,2,4,6
/proc/11950/task/12016/stat : 12016 (java) S 11947 11950 8955 0 -1 1077944384 7 13300 0 0 0 0 4 3 20 0 15 0 232592598 11343855616 78425 33554432000 4194304 4196468 140721125983024 140487847758768 140488358845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21573632 140721125988973 140721125991772 140721125991772 140721125994447 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 313700 KiB
Child status: 0
Real time (s): 4.17009
CPU time (s): 9.20593
CPU user time (s): 8.9461
CPU system time (s): 0.259838
CPU usage (%): 220.761
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 313700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.94609
system time used= 0.259838
maximum resident set size= 316576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6331
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 11950
# total CPU time (s): 9.20593
# total CPU user time (s): 8.9461
# total CPU system time (s): 0.259838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052214 second user time and 0.081727 second system time
The end