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 (13757 MiB free)
memory of node 1: 16384 MiB (15215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401428-1568683548/watcher-4401428-1568683548 -o /tmp/evaluation-result-4401428-1568683548/solver-4401428-1568683548 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568669653-20874 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=44979452 HOME/instance-4401428-1568683548.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23589, runsolver pid=23586
[startup+0.100078 s]*
/proc/loadavg: 1.72 1.63 1.53 3/218 23646
/proc/meminfo: memFree=29660604/32770624 swapFree=66999976/67108860
[pid=23589] ppid=23586 vsize=9972712 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 4515 13042 0 0 1 0 4 3 20 0 6 0 444609228 10212057088 4781 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2493178 4781 1937 1 0 2481616 0
[pid=23589/tid=23642] ppid=23586 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 2305 13042 0 0 1 0 4 3 20 0 6 0 444609237 10212057088 4781 33554432000 4194304 4196468 140730991049184 140091024732752 140091038207993 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 6 0 444609238 10212057088 4781 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=9977852 memory=3545942129163589280 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 6 0 444609238 10217320448 4781 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=9983652 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 6 0 444609238 10223259648 4781 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 6 0 444609238 10228523008 4781 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210061 s]*
/proc/loadavg: 1.72 1.63 1.53 4/227 23655
/proc/meminfo: memFree=29638816/32770624 swapFree=66999976/67108860
[pid=23589] ppid=23586 vsize=10820196 memory=45924 CPUtime=0.26 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 7242 13042 0 0 17 2 4 3 20 0 15 0 444609228 11079880704 11481 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2705049 11481 3310 1 0 2667149 0
[pid=23589/tid=23642] ppid=23586 vsize=10820196 memory=729618466009055537 CPUtime=0.18 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 3756 13042 0 0 10 1 4 3 20 0 15 0 444609237 11079880704 11481 33554432000 4194304 4196468 140730991049184 140091024692576 140091036976478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 11481 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10820196 memory=3545942129163589280 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609239 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 13 13042 0 0 0 0 4 3 20 0 15 0 444609240 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090491791008 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090022028528 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 595 13042 0 0 1 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 58 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10820196 memory=140063595779712 CPUtime=0.1 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) S 23586 23589 20842 0 -1 1077944384 605 13042 0 0 3 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10820196 memory=140063595779712 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 11481 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45924 KiB
[startup+0.310433 s]*
/proc/loadavg: 1.72 1.63 1.53 4/227 23655
/proc/meminfo: memFree=29626368/32770624 swapFree=66999976/67108860
[pid=23589] ppid=23586 vsize=10820196 memory=54352 CPUtime=0.4 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 10745 13042 0 0 29 4 4 3 20 0 15 0 444609228 11079880704 13588 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2705049 13588 3323 1 0 2667149 0
[pid=23589/tid=23642] ppid=23586 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 7238 13042 0 0 19 3 4 3 20 0 15 0 444609237 11079880704 13588 33554432000 4194304 4196468 140730991049184 140091024713616 140091036975964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 13588 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609238 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10820196 memory=140063595779711 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609239 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 13 13042 0 0 0 0 4 3 20 0 15 0 444609240 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090491791008 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090022028528 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) R 23586 23589 20842 0 -1 1077944384 595 13042 0 0 2 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 59 13042 0 0 1 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10820196 memory=140063595779712 CPUtime=0.12 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) R 23586 23589 20842 0 -1 1077944384 624 13042 0 0 5 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10820196 memory=140063595779712 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609243 11079880704 13588 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54352 KiB
[startup+0.703809 s]
/proc/loadavg: 1.72 1.63 1.53 3/227 23655
/proc/meminfo: memFree=29611120/32770624 swapFree=66999976/67108860
[pid=23589] ppid=23586 vsize=10824364 memory=88192 CPUtime=1.15 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 15205 13042 0 0 103 5 4 3 20 0 15 0 444609228 11084148736 22048 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2706091 22048 3512 1 0 2668173 0
[pid=23589/tid=23642] ppid=23586 vsize=10824364 memory=7810487918915055718 CPUtime=0.66 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 10600 13042 0 0 55 4 4 3 20 0 15 0 444609237 11084148736 22048 33554432000 4194304 4196468 140730991049184 140091024722944 140091052917338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10824364 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11084148736 22048 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10824364 memory=1128 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609238 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10824364 memory=140063595778545 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609238 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 5 13042 0 0 0 0 4 3 20 0 15 0 444609239 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 13 13042 0 0 0 0 4 3 20 0 15 0 444609240 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090491791008 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090022028528 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) R 23586 23589 20842 0 -1 4202560 1059 13042 0 0 16 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090578242072 140091034418909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) R 23586 23589 20842 0 -1 4202560 411 13042 0 0 12 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090577189232 140091037817940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) R 23586 23589 20842 0 -1 4202560 901 13042 0 0 17 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090576136016 140091052907926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10824364 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609243 11084148736 22048 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88192 KiB
[startup+1.50104 s]
/proc/loadavg: 1.72 1.63 1.53 3/227 23655
/proc/meminfo: memFree=29564040/32770624 swapFree=66999976/67108860
[pid=23589] ppid=23586 vsize=10834680 memory=173588 CPUtime=2.47 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 20522 13042 0 0 231 9 4 3 20 0 15 0 444609228 11094712320 43397 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2708670 43397 3574 1 0 2670733 0
[pid=23589/tid=23642] ppid=23586 vsize=10834680 memory=56 CPUtime=1.43 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 15058 13042 0 0 130 6 4 3 20 0 15 0 444609237 11094712320 43397 33554432000 4194304 4196468 140730991049184 140091024713896 140091052907926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 34 13042 0 0 1 0 4 3 20 0 15 0 444609238 11094712320 43397 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10834680 memory=140063595789793 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 26 13042 0 0 1 0 4 3 20 0 15 0 444609238 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10834680 memory=140063595787585 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 23 13042 0 0 1 0 4 3 20 0 15 0 444609238 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10834680 memory=140063595789473 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 24 13042 0 0 1 0 4 3 20 0 15 0 444609238 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10834680 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 44 13042 0 0 1 0 4 3 20 0 15 0 444609239 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 14 13042 0 0 0 0 4 3 20 0 15 0 444609240 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090491791072 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10834680 memory=7090170363597842776 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090022028528 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10834680 memory=7307202929598358101 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10834680 memory=8097863996005640552 CPUtime=0.34 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 1119 13042 0 0 27 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10834680 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) R 23586 23589 20842 0 -1 1077944384 479 13042 0 0 25 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10834680 memory=4949696295840688515 CPUtime=0.47 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) R 23586 23589 20842 0 -1 4202560 1490 13042 0 0 40 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090576136176 140091046000724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10834680 memory=-7390251449858225344 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10834680 memory=-7035114785800479027 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609243 11094712320 43397 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 59234 13042 0 0 223537 50 4 3 20 0 15 0 444609237 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091024732032 140090654442276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10844940 memory=2608 CPUtime=11.53 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 9807 13042 0 0 1084 62 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10844940 memory=4104 CPUtime=11.59 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 16966 13042 0 0 1086 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10844940 memory=1408 CPUtime=11.54 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 16772 13042 0 0 1083 64 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10844940 memory=3296 CPUtime=11.57 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 9663 13042 0 0 1086 64 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10844940 memory=833256 CPUtime=11.31 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 12834 13042 0 0 1063 61 4 3 20 0 15 0 444609239 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10844940 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 14 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090491791072 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10844940 memory=303430223234596890 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090022028544 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10844940 memory=288230617509003574 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10844940 memory=14972261127948741 CPUtime=2.51 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 15483 13042 0 0 241 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10844940 memory=12024 CPUtime=2.73 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 13173 13042 0 0 265 1 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10844940 memory=1556 CPUtime=1.31 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) S 23586 23589 20842 0 -1 1077944384 9786 13042 0 0 121 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10844940 memory=500 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10844940 memory=928 CPUtime=1.43 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1272 13042 0 0 64 72 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 2300.92 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 833256 KiB
[startup+2322.3 s]
/proc/loadavg: 1.41 1.49 1.49 3/229 24150
/proc/meminfo: memFree=28638180/32770624 swapFree=66999992/67108860
[pid=23589] ppid=23586 vsize=10844940 memory=833256 CPUtime=2361.83 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 168577 13042 0 0 235800 376 4 3 20 0 15 0 444609228 11105218560 208314 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2711235 208314 3622 1 0 2673293 0
[pid=23589/tid=23642] ppid=23586 vsize=10844940 memory=303430266251378998 CPUtime=2295.21 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 60093 13042 0 0 229464 50 4 3 20 0 15 0 444609237 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091024732032 140090653578452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10844940 memory=14972261127948741 CPUtime=11.85 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 9980 13042 0 0 1115 63 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10844940 memory=2608 CPUtime=11.9 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 17026 13042 0 0 1117 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10844940 memory=4104 CPUtime=11.87 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 16796 13042 0 0 1114 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10844940 memory=1408 CPUtime=11.9 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 9691 13042 0 0 1117 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10844940 memory=2960 CPUtime=11.62 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 13030 13042 0 0 1092 63 4 3 20 0 15 0 444609239 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 14 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090491791072 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090022028544 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10844940 memory=6056 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10844940 memory=14012 CPUtime=2.51 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 15485 13042 0 0 241 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10844940 memory=2116 CPUtime=2.73 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 13175 13042 0 0 265 1 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10844940 memory=14356 CPUtime=1.31 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) S 23586 23589 20842 0 -1 1077944384 9788 13042 0 0 121 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10844940 memory=12024 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10844940 memory=833256 CPUtime=1.46 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1288 13042 0 0 65 74 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 2361.83 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 833256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2360 s]
/proc/loadavg: 1.15 1.41 1.46 3/228 24151
/proc/meminfo: memFree=28638800/32770624 swapFree=66999992/67108860
[pid=23589] ppid=23586 vsize=10844940 memory=833256 CPUtime=2400.09 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 169713 13042 0 0 239619 383 4 3 20 0 15 0 444609228 11105218560 208314 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2711235 208314 3622 1 0 2673293 0
[pid=23589/tid=23642] ppid=23586 vsize=10844940 memory=833256 CPUtime=2332.45 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 60730 13042 0 0 233186 52 4 3 20 0 15 0 444609237 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091024732480 140090648411911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.04 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 10033 13042 0 0 1133 64 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.12 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 17188 13042 0 0 1137 68 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.08 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 16825 13042 0 0 1134 67 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10844940 memory=56 CPUtime=12.1 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 9731 13042 0 0 1137 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10844940 memory=833256 CPUtime=11.81 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 13223 13042 0 0 1110 64 4 3 20 0 15 0 444609239 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 14 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090491791072 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090022028544 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10844940 memory=2552 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10844940 memory=833256 CPUtime=2.51 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 15487 13042 0 0 241 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10844940 memory=833256 CPUtime=2.73 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 13177 13042 0 0 265 1 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10844940 memory=833256 CPUtime=1.31 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) S 23586 23589 20842 0 -1 1077944384 9790 13042 0 0 121 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10844940 memory=1408 CPUtime=1.49 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1304 13042 0 0 67 75 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 833256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2360.03 s]
# the end of solver process 23589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.26 s, system=3.876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2360 s]
/proc/loadavg: 1.15 1.41 1.46 3/228 24151
/proc/meminfo: memFree=28638800/32770624 swapFree=66999992/67108860
[pid=23589] ppid=23586 vsize=10844940 memory=833256 CPUtime=2400.09 cores=1,3,5,7
/proc/23589/stat : 23589 (java) S 23586 23589 20842 0 -1 1077944320 169713 13042 0 0 239619 383 4 3 20 0 15 0 444609228 11105218560 208314 33554432000 4194304 4196468 140730991049184 140730991031728 140091052895991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
/proc/23589/statm: 2711235 208314 3622 1 0 2673293 0
[pid=23589/tid=23642] ppid=23586 vsize=10844940 memory=833256 CPUtime=2332.45 cores=1,3,5,7
/proc/23589/task/23642/stat : 23642 (java) R 23586 23589 20842 0 -1 4202560 60730 13042 0 0 233186 52 4 3 20 0 15 0 444609237 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091024732480 140090648411911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23643] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.04 cores=1,3,5,7
/proc/23589/task/23643/stat : 23643 (java) S 23586 23589 20842 0 -1 1077944384 10033 13042 0 0 1133 64 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140091057138192 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23644] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.12 cores=1,3,5,7
/proc/23589/task/23644/stat : 23644 (java) S 23586 23589 20842 0 -1 1077944384 17188 13042 0 0 1137 68 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090971957904 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23645] ppid=23586 vsize=10844940 memory=833256 CPUtime=12.08 cores=1,3,5,7
/proc/23589/task/23645/stat : 23645 (java) S 23586 23589 20842 0 -1 1077944384 16825 13042 0 0 1134 67 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090970904848 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23646] ppid=23586 vsize=10844940 memory=56 CPUtime=12.1 cores=1,3,5,7
/proc/23589/task/23646/stat : 23646 (java) S 23586 23589 20842 0 -1 1077944384 9731 13042 0 0 1137 66 4 3 20 0 15 0 444609238 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090969852304 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23647] ppid=23586 vsize=10844940 memory=833256 CPUtime=11.81 cores=1,3,5,7
/proc/23589/task/23647/stat : 23647 (java) S 23586 23589 20842 0 -1 1077944384 13223 13042 0 0 1110 64 4 3 20 0 15 0 444609239 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090579294960 140091052907138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23648] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23648/stat : 23648 (java) S 23586 23589 20842 0 -1 1077944384 14 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090491791072 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23649] ppid=23586 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23649/stat : 23649 (java) S 23586 23589 20842 0 -1 1077944384 1 13042 0 0 0 0 4 3 20 0 15 0 444609240 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090022028544 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23650] ppid=23586 vsize=10844940 memory=2552 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23650/stat : 23650 (java) S 23586 23589 20842 0 -1 1077944384 2 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089753594320 140091052914587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23651] ppid=23586 vsize=10844940 memory=833256 CPUtime=2.51 cores=1,3,5,7
/proc/23589/task/23651/stat : 23651 (java) S 23586 23589 20842 0 -1 1077944384 15487 13042 0 0 241 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090578241776 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23652] ppid=23586 vsize=10844940 memory=833256 CPUtime=2.73 cores=1,3,5,7
/proc/23589/task/23652/stat : 23652 (java) S 23586 23589 20842 0 -1 1077944384 13177 13042 0 0 265 1 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090577189232 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23653] ppid=23586 vsize=10844940 memory=833256 CPUtime=1.31 cores=1,3,5,7
/proc/23589/task/23653/stat : 23653 (java) S 23586 23589 20842 0 -1 1077944384 9790 13042 0 0 121 3 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090576136176 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23654] ppid=23586 vsize=10844940 memory=833256 CPUtime=0.07 cores=1,3,5,7
/proc/23589/task/23654/stat : 23654 (java) S 23586 23589 20842 0 -1 1077944384 3 13042 0 0 0 0 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140089283832160 140091052906197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
[pid=23589/tid=23655] ppid=23586 vsize=10844940 memory=1408 CPUtime=1.49 cores=1,3,5,7
/proc/23589/task/23655/stat : 23655 (java) S 23586 23589 20842 0 -1 1077944384 1304 13042 0 0 67 75 4 3 20 0 15 0 444609243 11105218560 208314 33554432000 4194304 4196468 140730991049184 140090575084592 140091052907138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32681984 140730991057649 140730991060165 140730991060165 140730991062991 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 833256 KiB
Child status: 143
Real time (s): 2360.03
CPU time (s): 2400.14
CPU user time (s): 2396.26
CPU system time (s): 3.876
CPU usage (%): 101.7
Max. virtual memory (cumulated for all children) (KiB): 10850288
Max. memory (cumulated for all children) (KiB): 833256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.26
system time used= 3.87601
maximum resident set size= 837376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 315311
involuntary context switches= 7384
# summary of solver processes directly reported to runsolver:
# pid: 23589
# total CPU time (s): 2400.14
# total CPU user time (s): 2396.26
# total CPU system time (s): 3.876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1591 second user time and 21.4214 second system time
The end