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 (13446 MiB free)
memory of node 1: 16384 MiB (14158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304849-1534040023/watcher-4304849-1534040023 -o /tmp/evaluation-result-4304849-1534040023/solver-4304849-1534040023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23574 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=783150176 HOME/instance-4304849-1534040023.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23800, runsolver pid=23797
[startup+0.100108 s]*
/proc/loadavg: 0.92 1.14 1.58 4/207 23853
/proc/meminfo: memFree=28263024/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=10005480 memory=18060 CPUtime=0.08 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 4188 13253 0 0 1 0 5 2 20 0 6 0 221565525 10245611520 4515 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2501370 4515 1895 1 0 2489808 0
[pid=23800/tid=23853] ppid=23797 vsize=10005480 memory=4279135703913233807 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 1997 13253 0 0 0 0 5 2 20 0 6 0 221565535 10245611520 4581 33554432000 4194304 4196468 140722013553312 140711099523664 140711127708829 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 221565536 10245611520 4581 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=10005480 memory=140448570209920 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 221565536 10245611520 4581 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 6 0 221565536 10245611520 4581 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 6 0 221565536 10245611520 4581 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18060 KiB
[startup+0.210596 s]*
/proc/loadavg: 0.92 1.14 1.58 4/220 23866
/proc/meminfo: memFree=28238024/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=10982744 memory=44168 CPUtime=0.25 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 7245 13253 0 0 16 2 5 2 20 0 15 0 221565525 11246329856 11042 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2745686 11042 2949 1 0 2708109 0
[pid=23800/tid=23853] ppid=23797 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 3858 13253 0 0 10 1 5 2 20 0 15 0 221565535 11246329856 11108 33554432000 4194304 4196468 140722013553312 140711099483824 140711107962663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246329856 11108 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=10982744 memory=140448570209920 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246329856 11108 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246329856 11108 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246329856 11108 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=10982744 memory=140448570209920 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565537 11246329856 11108 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 13 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246329856 11108 33554432000 4194304 4196468 140722013553312 140709973713952 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246329856 11108 33554432000 4194304 4196468 140722013553312 140709772387184 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11246329856 11174 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 356 13253 0 0 1 0 5 2 20 0 15 0 221565540 11246329856 11174 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 253 13253 0 0 0 0 5 2 20 0 15 0 221565540 11246329856 11174 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=10982744 memory=140448570209920 CPUtime=0.1 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 606 13253 0 0 3 0 5 2 20 0 15 0 221565540 11246329856 11174 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246329856 11174 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=10982744 memory=140448570209920 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246329856 11174 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44168 KiB
[startup+0.310581 s]*
/proc/loadavg: 0.92 1.14 1.58 3/220 23866
/proc/meminfo: memFree=28224548/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=10983192 memory=56988 CPUtime=0.38 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 10286 13253 0 0 28 3 5 2 20 0 15 0 221565525 11246788608 14247 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2745798 14247 3068 1 0 2708109 0
[pid=23800/tid=23853] ppid=23797 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 6842 13253 0 0 19 2 5 2 20 0 15 0 221565535 11246788608 14247 33554432000 4194304 4196468 140722013553312 140711099498912 140711111767390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 14247 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565537 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 13 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246788608 14247 33554432000 4194304 4196468 140722013553312 140709973713952 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246788608 14247 33554432000 4194304 4196468 140722013553312 140709772387184 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11246788608 14247 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 356 13253 0 0 2 0 5 2 20 0 15 0 221565540 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 256 13253 0 0 1 0 5 2 20 0 15 0 221565540 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 616 13253 0 0 5 0 5 2 20 0 15 0 221565540 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246788608 14247 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246788608 14247 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56988 KiB
[startup+0.700798 s]
/proc/loadavg: 0.92 1.14 1.58 3/220 23866
/proc/meminfo: memFree=28211284/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=10983192 memory=89336 CPUtime=0.99 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 16410 13253 0 0 87 5 5 2 20 0 15 0 221565525 11246788608 22334 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2745798 22334 3238 1 0 2708109 0
[pid=23800/tid=23853] ppid=23797 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 11855 13253 0 0 55 3 5 2 20 0 15 0 221565535 11246788608 22334 33554432000 4194304 4196468 140722013553312 140711099507728 140711109060682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 22334 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=10983192 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565536 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 5 13253 0 0 0 0 5 2 20 0 15 0 221565537 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 13 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246788608 22334 33554432000 4194304 4196468 140722013553312 140709973713952 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565538 11246788608 22334 33554432000 4194304 4196468 140722013553312 140709772387184 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11246788608 22334 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 756 13253 0 0 7 0 5 2 20 0 15 0 221565540 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 908 13253 0 0 10 0 5 2 20 0 15 0 221565540 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 672 13253 0 0 13 0 5 2 20 0 15 0 221565540 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246788608 22334 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565541 11246788608 22334 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89336 KiB
[startup+1.50071 s]
/proc/loadavg: 0.92 1.14 1.58 3/220 23866
/proc/meminfo: memFree=28166812/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=10998092 memory=178424 CPUtime=2.28 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 23581 13253 0 0 210 11 5 2 20 0 15 0 221565525 11262046208 44606 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2749523 44606 3475 1 0 2711181 0
[pid=23800/tid=23853] ppid=23797 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 17483 13253 0 0 129 6 5 2 20 0 15 0 221565535 11262046208 44606 33554432000 4194304 4196468 140722013553312 140711099504608 140711111767390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 232 13253 0 0 1 0 5 2 20 0 15 0 221565536 11262046208 44606 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 23 13253 0 0 1 0 5 2 20 0 15 0 221565536 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 70 13253 0 0 1 0 5 2 20 0 15 0 221565536 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 28 13253 0 0 0 0 5 2 20 0 15 0 221565536 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 51 13253 0 0 1 0 5 2 20 0 15 0 221565537 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=10998092 memory=280896901032192 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 14 13253 0 0 0 0 5 2 20 0 15 0 221565538 11262046208 44606 33554432000 4194304 4196468 140722013553312 140709973714016 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565538 11262046208 44606 33554432000 4194304 4196468 140722013553312 140709772387200 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=10998092 memory=1084 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11262046208 44606 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=10998092 memory=1600 CPUtime=0.25 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 1235 13253 0 0 18 0 5 2 20 0 15 0 221565540 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=10998092 memory=7952 CPUtime=0.3 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 1070 13253 0 0 23 0 5 2 20 0 15 0 221565540 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=10998092 memory=4088 CPUtime=0.39 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 1182 13253 0 0 32 0 5 2 20 0 15 0 221565540 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=10998092 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11262046208 44606 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=10998092 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 1 13253 0 0 0 0 5 2 20 0 15 0 221565541 11262046208 44606 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 62140 13253 0 0 237172 24 5 2 20 0 15 0 221565535 11341758464 117600 33554432000 4194304 4196468 140722013553312 140711099520336 140710673736984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=11075936 memory=470288 CPUtime=3.95 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 10348 13253 0 0 366 22 5 2 20 0 15 0 221565536 11341758464 117600 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=11075936 memory=470400 CPUtime=3.96 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 8780 13253 0 0 370 19 5 2 20 0 15 0 221565536 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=11075936 memory=470400 CPUtime=3.93 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 7992 13253 0 0 366 20 5 2 20 0 15 0 221565536 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=11075936 memory=3304 CPUtime=3.95 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 6989 13253 0 0 368 20 5 2 20 0 15 0 221565536 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=11075936 memory=470400 CPUtime=3.86 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 14697 13253 0 0 358 21 5 2 20 0 15 0 221565537 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=11075936 memory=470400 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 14 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117600 33554432000 4194304 4196468 140722013553312 140709973714080 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=11075936 memory=3708 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117600 33554432000 4194304 4196468 140722013553312 140709772387200 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=11075936 memory=60088 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11341758464 117600 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=11075936 memory=470288 CPUtime=2.49 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 11359 13253 0 0 239 3 5 2 20 0 15 0 221565540 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=11075936 memory=1736 CPUtime=3.62 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 17329 13253 0 0 352 3 5 2 20 0 15 0 221565540 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=11075936 memory=470400 CPUtime=1.55 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 13314 13253 0 0 146 2 5 2 20 0 15 0 221565540 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=11075936 memory=470400 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11341758464 117600 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=11075936 memory=470400 CPUtime=1.15 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 965 13253 0 0 54 54 5 2 20 0 15 0 221565541 11341758464 117600 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 2399.96 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 470400 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.25 1.31 3/216 23943
/proc/meminfo: memFree=27658392/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=11075936 memory=470452 CPUtime=2460.21 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 156621 13253 0 0 245852 162 5 2 20 0 15 0 221565525 11341758464 117613 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2768984 117613 3519 1 0 2730637 0
[pid=23800/tid=23853] ppid=23797 vsize=11075936 memory=470452 CPUtime=2431.79 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 62377 13253 0 0 243148 24 5 2 20 0 15 0 221565535 11341758464 117613 33554432000 4194304 4196468 140722013553312 140711099521712 140710674442132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=11075936 memory=470452 CPUtime=4.05 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 10374 13253 0 0 375 23 5 2 20 0 15 0 221565536 11341758464 117613 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=11075936 memory=470452 CPUtime=4.06 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 8788 13253 0 0 379 20 5 2 20 0 15 0 221565536 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=11075936 memory=470452 CPUtime=4.02 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 7999 13253 0 0 375 20 5 2 20 0 15 0 221565536 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=11075936 memory=470452 CPUtime=4.05 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 7023 13253 0 0 378 20 5 2 20 0 15 0 221565536 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=11075936 memory=470452 CPUtime=3.95 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 14868 13253 0 0 367 21 5 2 20 0 15 0 221565537 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=11075936 memory=470452 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 14 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117613 33554432000 4194304 4196468 140722013553312 140709973714080 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=11075936 memory=470452 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117613 33554432000 4194304 4196468 140722013553312 140709772387200 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=11075936 memory=470452 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11341758464 117613 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=11075936 memory=470452 CPUtime=2.49 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 11359 13253 0 0 239 3 5 2 20 0 15 0 221565540 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=11075936 memory=470452 CPUtime=3.62 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 17329 13253 0 0 352 3 5 2 20 0 15 0 221565540 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=11075936 memory=470452 CPUtime=1.55 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 13314 13253 0 0 146 2 5 2 20 0 15 0 221565540 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=11075936 memory=470452 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11341758464 117613 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=11075936 memory=3708 CPUtime=1.17 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 980 13253 0 0 55 55 5 2 20 0 15 0 221565541 11341758464 117613 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 2460.21 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 470452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.9 s]
/proc/loadavg: 1.15 1.22 1.29 5/215 24073
/proc/meminfo: memFree=27788568/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=11075936 memory=470568 CPUtime=2520.04 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 157602 13253 0 0 251831 166 5 2 20 0 15 0 221565525 11341758464 117642 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2768984 117642 3519 1 0 2730637 0
[pid=23800/tid=23853] ppid=23797 vsize=11075936 memory=470500 CPUtime=2491.15 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 62839 13253 0 0 249083 25 5 2 20 0 15 0 221565535 11341758464 117642 33554432000 4194304 4196468 140722013553312 140711099520464 140710673737136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=11075936 memory=470500 CPUtime=4.13 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 10435 13253 0 0 383 23 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.14 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 8899 13253 0 0 387 20 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=11075936 memory=470500 CPUtime=4.11 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 8058 13253 0 0 383 21 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.13 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 7272 13253 0 0 386 20 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.03 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 14896 13253 0 0 375 21 5 2 20 0 15 0 221565537 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 14 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709973714080 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709772387200 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=11075936 memory=470568 CPUtime=2.49 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 11361 13253 0 0 239 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=11075936 memory=470568 CPUtime=3.62 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 17331 13253 0 0 352 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=11075936 memory=470568 CPUtime=1.56 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 13316 13253 0 0 146 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=11075936 memory=752 CPUtime=1.2 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 985 13253 0 0 57 56 5 2 20 0 15 0 221565541 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 470568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.92 s]
# the end of solver process 23800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.39 s, system=1.69282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2501.9 s]
/proc/loadavg: 1.15 1.22 1.29 5/215 24073
/proc/meminfo: memFree=27788568/32770624 swapFree=67108804/67108860
[pid=23800] ppid=23797 vsize=11075936 memory=470568 CPUtime=2520.04 cores=0,2,4,6
/proc/23800/stat : 23800 (java) S 23797 23800 22159 0 -1 1077944320 157602 13253 0 0 251831 166 5 2 20 0 15 0 221565525 11341758464 117642 33554432000 4194304 4196468 140722013553312 140722013535856 140711127686903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
/proc/23800/statm: 2768984 117642 3519 1 0 2730637 0
[pid=23800/tid=23853] ppid=23797 vsize=11075936 memory=470500 CPUtime=2491.15 cores=0,2,4,6
/proc/23800/task/23853/stat : 23853 (java) R 23797 23800 22159 0 -1 4202560 62839 13253 0 0 249083 25 5 2 20 0 15 0 221565535 11341758464 117642 33554432000 4194304 4196468 140722013553312 140711099520464 140710673737136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23854] ppid=23797 vsize=11075936 memory=470500 CPUtime=4.13 cores=0,2,4,6
/proc/23800/task/23854/stat : 23854 (java) S 23797 23800 22159 0 -1 1077944384 10435 13253 0 0 383 23 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140711131929744 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23855] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.14 cores=0,2,4,6
/proc/23800/task/23855/stat : 23855 (java) S 23797 23800 22159 0 -1 1077944384 8899 13253 0 0 387 20 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710986648592 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23856] ppid=23797 vsize=11075936 memory=470500 CPUtime=4.11 cores=0,2,4,6
/proc/23800/task/23856/stat : 23856 (java) S 23797 23800 22159 0 -1 1077944384 8058 13253 0 0 383 21 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710985595792 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23857] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.13 cores=0,2,4,6
/proc/23800/task/23857/stat : 23857 (java) S 23797 23800 22159 0 -1 1077944384 7272 13253 0 0 386 20 5 2 20 0 15 0 221565536 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710984542992 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23858] ppid=23797 vsize=11075936 memory=470568 CPUtime=4.03 cores=0,2,4,6
/proc/23800/task/23858/stat : 23858 (java) S 23797 23800 22159 0 -1 1077944384 14896 13253 0 0 375 21 5 2 20 0 15 0 221565537 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710419298672 140711127698050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23859] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23859/stat : 23859 (java) S 23797 23800 22159 0 -1 1077944384 14 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709973714080 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23860] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23860/stat : 23860 (java) S 23797 23800 22159 0 -1 1077944384 2 13253 0 0 0 0 5 2 20 0 15 0 221565538 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709772387200 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23861] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23861/stat : 23861 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709464987472 140711127705499 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23862] ppid=23797 vsize=11075936 memory=470568 CPUtime=2.49 cores=0,2,4,6
/proc/23800/task/23862/stat : 23862 (java) S 23797 23800 22159 0 -1 1077944384 11361 13253 0 0 239 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710418246512 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23863] ppid=23797 vsize=11075936 memory=470568 CPUtime=3.62 cores=0,2,4,6
/proc/23800/task/23863/stat : 23863 (java) S 23797 23800 22159 0 -1 1077944384 17331 13253 0 0 352 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710417193712 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23864] ppid=23797 vsize=11075936 memory=470568 CPUtime=1.56 cores=0,2,4,6
/proc/23800/task/23864/stat : 23864 (java) S 23797 23800 22159 0 -1 1077944384 13316 13253 0 0 146 3 5 2 20 0 15 0 221565540 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710416140912 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23865] ppid=23797 vsize=11075936 memory=470568 CPUtime=0.07 cores=0,2,4,6
/proc/23800/task/23865/stat : 23865 (java) S 23797 23800 22159 0 -1 1077944384 3 13253 0 0 0 0 5 2 20 0 15 0 221565541 11341758464 117642 33554432000 4194304 4196468 140722013553312 140709034191584 140711127697109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
[pid=23800/tid=23866] ppid=23797 vsize=11075936 memory=752 CPUtime=1.2 cores=0,2,4,6
/proc/23800/task/23866/stat : 23866 (java) S 23797 23800 22159 0 -1 1077944384 985 13253 0 0 57 56 5 2 20 0 15 0 221565541 11341758464 117642 33554432000 4194304 4196468 140722013553312 140710415088304 140711127698050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33570816 140722013555309 140722013558108 140722013558108 140722013560783 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 470568 KiB
Child status: 143
Real time (s): 2501.92
CPU time (s): 2520.08
CPU user time (s): 2518.39
CPU system time (s): 1.69282
CPU usage (%): 100.726
Max. virtual memory (cumulated for all children) (KiB): 11078644
Max. memory (cumulated for all children) (KiB): 484792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.39
system time used= 1.69282
maximum resident set size= 486840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143306
involuntary context switches= 7075
# summary of solver processes directly reported to runsolver:
# pid: 23800
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.39
# total CPU system time (s): 1.69282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9821 second user time and 26.1843 second system time
The end