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 (9028 MiB free)
memory of node 1: 16384 MiB (12905 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295999-1532604770/watcher-4295999-1532604770 -o /tmp/evaluation-result-4295999-1532604770/solver-4295999-1532604770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3955 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1803513598 -superng HOME/instance-4295999-1532604770.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5984, runsolver pid=5981
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 1.91 1.62 1.48 3/210 6041
/proc/meminfo: memFree=22454428/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=9972712 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 4376 13002 0 0 1 0 4 3 20 0 6 0 78040169 10212057088 4714 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2493178 4714 1934 1 0 2481616 0
[pid=5984/tid=6037] ppid=5981 vsize=9972712 memory=-8672369121724514241 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 2189 13002 0 0 0 0 4 3 20 0 6 0 78040178 10212057088 4714 33554432000 4194304 4196468 140735641558688 140306039517776 140306049074749 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 6 0 78040179 10212057088 4714 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=9972712 memory=140354558002816 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 6 0 78040179 10212057088 4714 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 6 0 78040179 10212057088 4714 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 6 0 78040179 10212057088 4714 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.210155 s]*
/proc/loadavg: 1.91 1.62 1.48 3/219 6050
/proc/meminfo: memFree=22432900/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10818904 memory=45636 CPUtime=0.25 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 9234 13002 0 0 16 2 4 3 20 0 15 0 78040169 11078557696 11409 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2704726 11409 2971 1 0 2667149 0
[pid=5984/tid=6037] ppid=5981 vsize=10818936 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 5905 13002 0 0 10 1 4 3 20 0 15 0 78040178 11078590464 11409 33554432000 4194304 4196468 140735641558688 140306039505824 140306060360733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10818936 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11078590464 11409 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10818936 memory=140354558002816 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10818936 memory=140354558002816 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040180 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 78040181 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305508590624 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040181 11078590464 11409 33554432000 4194304 4196468 140735641558688 140304904610672 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11078590464 11409 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 497 13002 0 0 1 0 4 3 20 0 15 0 78040184 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 88 13002 0 0 0 0 4 3 20 0 15 0 78040184 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10818936 memory=140354558002816 CPUtime=0.1 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 539 13002 0 0 3 0 4 3 20 0 15 0 78040184 11078590464 11409 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11078557696 11409 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10818904 memory=140354558002816 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040184 11078557696 11409 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45636 KiB
[startup+0.310699 s]*
/proc/loadavg: 1.91 1.62 1.48 3/219 6050
/proc/meminfo: memFree=22419016/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10819352 memory=53512 CPUtime=0.39 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 10450 13002 0 0 29 3 4 3 20 0 15 0 78040169 11079016448 13378 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2704838 13378 3090 1 0 2667149 0
[pid=5984/tid=6037] ppid=5981 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 7094 13002 0 0 20 1 4 3 20 0 15 0 78040178 11079016448 13378 33554432000 4194304 4196468 140735641558688 140306039493024 140306059918142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10819352 memory=7013336452529541200 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 13378 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040180 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 78040181 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305508590624 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040181 11079016448 13378 33554432000 4194304 4196468 140735641558688 140304904610672 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 498 13002 0 0 1 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 88 13002 0 0 1 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 551 13002 0 0 5 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 13378 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53512 KiB
[startup+0.700774 s]
/proc/loadavg: 1.91 1.62 1.48 4/219 6050
/proc/meminfo: memFree=22409216/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10819352 memory=86484 CPUtime=0.99 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 16745 13002 0 0 87 5 4 3 20 0 15 0 78040169 11079016448 21621 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2704838 21621 3238 1 0 2667149 0
[pid=5984/tid=6037] ppid=5981 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 12295 13002 0 0 56 3 4 3 20 0 15 0 78040178 11079016448 21621 33554432000 4194304 4196468 140735641558688 140306039501840 140306047956402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 21621 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10819352 memory=3828 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 5 13002 0 0 0 0 4 3 20 0 15 0 78040180 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 78040181 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305508590624 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040181 11079016448 21621 33554432000 4194304 4196468 140735641558688 140304904610672 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10819352 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 1096 13002 0 0 10 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10819352 memory=15460 CPUtime=0.13 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 482 13002 0 0 6 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 648 13002 0 0 13 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040184 11079016448 21621 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86484 KiB
[startup+1.50078 s]
/proc/loadavg: 1.91 1.62 1.48 4/219 6050
/proc/meminfo: memFree=22363240/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10832204 memory=200048 CPUtime=2.98 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 24467 13002 0 0 282 9 4 3 20 0 15 0 78040169 11092176896 50012 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2708051 50012 3452 1 0 2669709 0
[pid=5984/tid=6037] ppid=5981 vsize=10832204 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 16696 13002 0 0 132 6 4 3 20 0 15 0 78040178 11092176896 50012 33554432000 4194304 4196468 140735641558688 140306039496272 140306051761532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11092176896 50012 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10832204 memory=3683998604062831409 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040179 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 78040179 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10832204 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 12 13002 0 0 0 0 4 3 20 0 15 0 78040180 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10832204 memory=280708861995264 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 78040181 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305508590624 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040181 11092176896 50012 33554432000 4194304 4196468 140735641558688 140304904610672 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10832204 memory=1948 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10832204 memory=5524 CPUtime=0.6 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 2225 13002 0 0 53 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10832204 memory=1444 CPUtime=0.58 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 1802 13002 0 0 51 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10832204 memory=1200 CPUtime=0.51 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 1515 13002 0 0 44 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10832204 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10832204 memory=12040 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 78040184 11092176896 50012 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 162752 13002 0 0 237367 47 4 3 20 0 15 0 78040178 11113168896 893072 33554432000 4194304 4196468 140735641558688 140306039514256 140305680875709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10852704 memory=12040 CPUtime=7.64 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 14025 13002 0 0 683 74 4 3 20 0 15 0 78040179 11113168896 893072 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10852704 memory=1696 CPUtime=7.65 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 10057 13002 0 0 687 71 4 3 20 0 15 0 78040179 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10852704 memory=8532 CPUtime=7.65 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 6621 13002 0 0 685 73 4 3 20 0 15 0 78040179 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10852704 memory=4126316290023845779 CPUtime=7.64 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 10717 13002 0 0 684 73 4 3 20 0 15 0 78040179 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10852704 memory=8112282956445269571 CPUtime=0.51 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 24421 13002 0 0 40 4 4 3 20 0 15 0 78040180 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10852704 memory=15868 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 27 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305508590688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10852704 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 16 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 893072 33554432000 4194304 4196468 140735641558688 140304904610688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10852704 memory=14380 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10852704 memory=18292 CPUtime=13.61 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 39797 13002 0 0 1347 7 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10852704 memory=1792 CPUtime=14.18 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 48302 13002 0 0 1403 8 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10852704 memory=3572288 CPUtime=4.54 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 35743 13002 0 0 437 10 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10852704 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10852704 memory=3555900 CPUtime=0.89 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 1990 13002 0 0 33 49 4 3 20 0 15 0 78040184 11113168896 893072 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 2437.99 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3572288 KiB
[startup+2442.3 s]*
/proc/loadavg: 2.04 1.74 1.69 3/219 6282
/proc/meminfo: memFree=17739368/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10852704 memory=3605084 CPUtime=2498.52 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 373870 13002 0 0 249430 415 4 3 20 0 15 0 78040169 11113168896 901271 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2713176 901271 3535 1 0 2674829 0
[pid=5984/tid=6037] ppid=5981 vsize=10852704 memory=8112282956445269571 CPUtime=2434.11 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 166509 13002 0 0 243356 48 4 3 20 0 15 0 78040178 11113168896 901271 33554432000 4194304 4196468 140735641558688 140306039514640 140305680876266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10852704 memory=4126316290023845779 CPUtime=7.73 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 15868 13002 0 0 691 75 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10852704 memory=7739547467026294888 CPUtime=7.75 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 10283 13002 0 0 696 72 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10852704 memory=7596847372190114922 CPUtime=7.75 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 6944 13002 0 0 694 74 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10852704 memory=5450909908396308010 CPUtime=7.74 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 12728 13002 0 0 693 74 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10852704 memory=3047711553320166262 CPUtime=0.51 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 25000 13002 0 0 40 4 4 3 20 0 15 0 78040180 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10852704 memory=8514701219730523551 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 27 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305508590688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10852704 memory=7813578504282990700 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 16 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304904610688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10852704 memory=7596847372190114922 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10852704 memory=8026382537454998124 CPUtime=13.68 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 43075 13002 0 0 1353 8 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10852704 memory=7445108179146926692 CPUtime=14.29 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 52082 13002 0 0 1414 8 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10852704 memory=7667449165590849394 CPUtime=4.55 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 37110 13002 0 0 438 10 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10852704 memory=8514701219781441950 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10852704 memory=7741242914157979732 CPUtime=0.93 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 2030 13002 0 0 35 51 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 2498.52 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3605084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.7 s]
/proc/loadavg: 2.03 1.76 1.70 3/219 6283
/proc/meminfo: memFree=17738748/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=10852704 memory=3605084 CPUtime=2520.01 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 375034 13002 0 0 251578 416 4 3 20 0 15 0 78040169 11113168896 901271 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2713176 901271 3535 1 0 2674829 0
[pid=5984/tid=6037] ppid=5981 vsize=10852704 memory=792 CPUtime=2455.48 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 167606 13002 0 0 245492 49 4 3 20 0 15 0 78040178 11113168896 901271 33554432000 4194304 4196468 140735641558688 140306039514224 140305680876932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=10852704 memory=1228 CPUtime=7.76 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 15894 13002 0 0 694 75 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=10852704 memory=1948 CPUtime=7.78 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 10287 13002 0 0 699 72 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=10852704 memory=5524 CPUtime=7.78 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 6955 13002 0 0 697 74 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=10852704 memory=1444 CPUtime=7.77 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 12738 13002 0 0 696 74 4 3 20 0 15 0 78040179 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=10852704 memory=1200 CPUtime=0.51 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 25016 13002 0 0 40 4 4 3 20 0 15 0 78040180 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=10852704 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 27 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305508590688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=10852704 memory=12040 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 16 13002 0 0 0 0 4 3 20 0 15 0 78040181 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304904610688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=10852704 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=10852704 memory=8532 CPUtime=13.68 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 43075 13002 0 0 1353 8 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=10852704 memory=4616 CPUtime=14.29 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 52082 13002 0 0 1414 8 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=10852704 memory=15868 CPUtime=4.55 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 37110 13002 0 0 438 10 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=10852704 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=10852704 memory=14380 CPUtime=0.93 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 2030 13002 0 0 35 51 4 3 20 0 15 0 78040184 11113168896 901271 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3605084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.88 s]
# the end of solver process 5984 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.99 s, system=4.22767 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.81 s]
/proc/loadavg: 2.03 1.76 1.70 3/219 6283
/proc/meminfo: memFree=17738748/32770624 swapFree=67108860/67108860
[pid=5984] ppid=5981 vsize=11049320 memory=3609284 CPUtime=2520.12 cores=1,3,5,7
/proc/5984/stat : 5984 (java) S 5981 5984 2275 0 -1 1077944320 375687 13002 0 0 251589 416 4 3 20 0 17 0 78040169 11314503680 902321 33554432000 4194304 4196468 140735641558688 140735641541232 140306067681015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
/proc/5984/statm: 2762330 902321 3536 1 0 2723983 0
[pid=5984/tid=6037] ppid=5981 vsize=11049320 memory=3605084 CPUtime=2455.58 cores=1,3,5,7
/proc/5984/task/6037/stat : 6037 (java) R 5981 5984 2275 0 -1 4202560 167609 13002 0 0 245502 49 4 3 20 0 17 0 78040178 11314503680 902321 33554432000 4194304 4196468 140735641558688 140306039514224 140305680876266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6038] ppid=5981 vsize=11049320 memory=3605084 CPUtime=7.76 cores=1,3,5,7
/proc/5984/task/6038/stat : 6038 (java) S 5981 5984 2275 0 -1 1077944384 15894 13002 0 0 694 75 4 3 20 0 17 0 78040179 11314503680 902321 33554432000 4194304 4196468 140735641558688 140306071923856 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6039] ppid=5981 vsize=11049320 memory=3605084 CPUtime=7.78 cores=1,3,5,7
/proc/5984/task/6039/stat : 6039 (java) S 5981 5984 2275 0 -1 1077944384 10287 13002 0 0 699 72 4 3 20 0 17 0 78040179 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305986743312 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6040] ppid=5981 vsize=11049320 memory=3605084 CPUtime=7.78 cores=1,3,5,7
/proc/5984/task/6040/stat : 6040 (java) S 5981 5984 2275 0 -1 1077944384 6955 13002 0 0 697 74 4 3 20 0 17 0 78040179 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305985690512 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6041] ppid=5981 vsize=11049320 memory=3605084 CPUtime=7.77 cores=1,3,5,7
/proc/5984/task/6041/stat : 6041 (java) S 5981 5984 2275 0 -1 1077944384 12738 13002 0 0 696 74 4 3 20 0 17 0 78040179 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305984637712 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6042] ppid=5981 vsize=11049320 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/5984/task/6042/stat : 6042 (java) S 5981 5984 2275 0 -1 1077944384 25016 13002 0 0 40 4 4 3 20 0 17 0 78040180 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305594366320 140306067692162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6043] ppid=5981 vsize=11049320 memory=3605084 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6043/stat : 6043 (java) S 5981 5984 2275 0 -1 1077944384 27 13002 0 0 0 0 4 3 20 0 17 0 78040181 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305508590688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6044] ppid=5981 vsize=11049320 memory=3605084 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6044/stat : 6044 (java) S 5981 5984 2275 0 -1 1077944384 16 13002 0 0 0 0 4 3 20 0 17 0 78040181 11314503680 902321 33554432000 4194304 4196468 140735641558688 140304904610688 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6045] ppid=5981 vsize=11049320 memory=280708862522112 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6045/stat : 6045 (java) S 5981 5984 2275 0 -1 1077944384 231 13002 0 0 0 0 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140304597210960 140306067699611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6046] ppid=5981 vsize=11049320 memory=3605084 CPUtime=13.68 cores=1,3,5,7
/proc/5984/task/6046/stat : 6046 (java) S 5981 5984 2275 0 -1 1077944384 43075 13002 0 0 1353 8 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305593314160 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6047] ppid=5981 vsize=11049320 memory=3605084 CPUtime=14.29 cores=1,3,5,7
/proc/5984/task/6047/stat : 6047 (java) S 5981 5984 2275 0 -1 1077944384 52082 13002 0 0 1414 8 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305592261360 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6048] ppid=5981 vsize=11049320 memory=3605084 CPUtime=4.55 cores=1,3,5,7
/proc/5984/task/6048/stat : 6048 (java) S 5981 5984 2275 0 -1 1077944384 37110 13002 0 0 438 10 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305591208560 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6049] ppid=5981 vsize=11049320 memory=3605084 CPUtime=0.07 cores=1,3,5,7
/proc/5984/task/6049/stat : 6049 (java) S 5981 5984 2275 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140304563653344 140306067691221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
[pid=5984/tid=6050] ppid=5981 vsize=11049320 memory=8112282956445269571 CPUtime=0.93 cores=1,3,5,7
/proc/5984/task/6050/stat : 6050 (java) S 5981 5984 2275 0 -1 1077944384 2030 13002 0 0 35 51 4 3 20 0 17 0 78040184 11314503680 902321 33554432000 4194304 4196468 140735641558688 140305590155952 140306067692162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28315648 140735641561259 140735641564508 140735641564508 140735641567183 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 11049320 KiB
Current children cumulated memory: 3609284 KiB
Child status: 143
Real time (s): 2463.88
CPU time (s): 2520.22
CPU user time (s): 2515.99
CPU system time (s): 4.22767
CPU usage (%): 102.287
Max. virtual memory (cumulated for all children) (KiB): 11049320
Max. memory (cumulated for all children) (KiB): 3609284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.99
system time used= 4.22767
maximum resident set size= 3609300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70943
involuntary context switches= 1289
# summary of solver processes directly reported to runsolver:
# pid: 5984
# total CPU time (s): 2520.22
# total CPU user time (s): 2515.99
# total CPU system time (s): 4.22767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7641 second user time and 22.1483 second system time
The end