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 (12274 MiB free)
memory of node 1: 16384 MiB (13847 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289777-1532212347/watcher-4289777-1532212347 -o /tmp/evaluation-result-4289777-1532212347/solver-4289777-1532212347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532209961-31983 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289777-1532212347.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=32228, runsolver pid=32225
[startup+0.101181 s]*
/proc/loadavg: 2.00 2.01 1.94 2/220 32243
/proc/meminfo: memFree=26728788/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659012 memory=31180 CPUtime=0.13 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 6360 0 0 0 11 2 0 0 20 0 15 0 38797905 10914828288 7795 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664753 7795 2822 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659012 memory=-8701690554792185218 CPUtime=0.09 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) R 32225 32228 29334 0 -1 4202560 4193 0 0 0 8 1 0 0 20 0 15 0 38797905 10914828288 7795 33554432000 4194304 4196468 140730671908864 140384119123312 140384114922653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 7795 33554432000 4194304 4196468 140730671908864 140384040974992 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 7795 33554432000 4194304 4196468 140730671908864 140384039922192 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 7795 33554432000 4194304 4196468 140730671908864 140384038869392 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 7795 33554432000 4194304 4196468 140730671908864 140384037816592 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797907 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383606635376 140384114911874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383605581344 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383603476816 140384114919323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0.02 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 38797910 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 7795 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31180 KiB
[startup+0.211689 s]*
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=26718576/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659012 memory=41920 CPUtime=0.33 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 7603 0 0 0 31 2 0 0 20 0 15 0 38797905 10914828288 10480 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664753 10480 3008 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) R 32225 32228 29334 0 -1 4202560 4542 0 0 0 19 1 0 0 20 0 15 0 38797905 10914828288 10480 33554432000 4194304 4196468 140730671908864 140384119137008 140384114922653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659012 memory=345 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 10480 33554432000 4194304 4196468 140730671908864 140384040974992 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659012 memory=288370525006612096 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 10480 33554432000 4194304 4196468 140730671908864 140384039922192 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 10480 33554432000 4194304 4196468 140730671908864 140384038869392 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 10480 33554432000 4194304 4196468 140730671908864 140384037816592 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797907 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383606635376 140384114911874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383605581344 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383603476816 140384114919323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 757 0 0 0 2 0 0 0 20 0 15 0 38797910 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) R 32225 32228 29334 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 38797910 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0.07 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 658 0 0 0 7 0 0 0 20 0 15 0 38797910 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 10480 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41920 KiB
[startup+0.319271 s]*
/proc/loadavg: 2.00 2.01 1.94 5/220 32243
/proc/meminfo: memFree=26705612/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659012 memory=57628 CPUtime=0.62 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 9460 0 0 0 59 3 0 0 20 0 15 0 38797905 10914828288 13895 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664753 13895 3045 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659012 memory=7022364594140610616 CPUtime=0.31 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) R 32225 32228 29334 0 -1 4202560 4870 0 0 0 29 2 0 0 20 0 15 0 38797905 10914828288 14407 33554432000 4194304 4196468 140730671908864 140384119136672 140384114922653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659012 memory=4294980951 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 14407 33554432000 4194304 4196468 140730671908864 140384040974992 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659012 memory=288370525006612096 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 14407 33554432000 4194304 4196468 140730671908864 140384039922192 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 14407 33554432000 4194304 4196468 140730671908864 140384038869392 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797906 10914828288 14407 33554432000 4194304 4196468 140730671908864 140384037816592 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38797907 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383606635376 140384114911874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383605581344 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383603476816 140384114919323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) R 32225 32228 29334 0 -1 4202560 1360 0 0 0 8 0 0 0 20 0 15 0 38797910 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383602410104 140384096076620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659012 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) R 32225 32228 29334 0 -1 4202560 895 0 0 0 8 0 0 0 20 0 15 0 38797910 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383601357400 140384100025417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0.13 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) R 32225 32228 29334 0 -1 1077944384 968 0 0 0 13 0 0 0 20 0 15 0 38797910 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659012 memory=140148854900352 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 14407 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 57628 KiB
[startup+0.701274 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=26637720/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659012 memory=280500 CPUtime=1.48 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 10113 0 0 0 127 21 0 0 20 0 15 0 38797905 10914828288 70125 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664753 70125 3068 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659012 memory=278597013115210 CPUtime=0.59 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) S 32225 32228 29334 0 -1 1077944384 4926 0 0 0 55 4 0 0 20 0 15 0 38797905 10914828288 70125 33554432000 4194304 4196468 140730671908864 140384119139536 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659012 memory=134041 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) R 32225 32228 29334 0 -1 4202560 59 0 0 0 5 3 0 0 20 0 15 0 38797906 10914828288 70125 33554432000 4194304 4196468 140730671908864 140384040975192 140384099922848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) R 32225 32228 29334 0 -1 4202560 59 0 0 0 5 3 0 0 20 0 15 0 38797906 10914828288 70125 33554432000 4194304 4196468 140730671908864 140384039922392 140384099928583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) R 32225 32228 29334 0 -1 4202560 56 0 0 0 5 3 0 0 20 0 15 0 38797906 10914828288 70125 33554432000 4194304 4196468 140730671908864 140384038869280 140384099928601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659012 memory=7809523229951467572 CPUtime=0.08 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) R 32225 32228 29334 0 -1 4202560 65 0 0 0 5 3 0 0 20 0 15 0 38797906 10914828288 70125 33554432000 4194304 4196468 140730671908864 140384037816792 140384099928601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 38797907 10914828288 70125 33554432000 4194304 4196468 140730671908864 140383606633888 140384114910933 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659012 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 70125 33554432000 4194304 4196468 140730671908864 140383605581344 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659012 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38797908 10914828288 70125 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797910 10914828288 70125 33554432000 4194304 4196468 140730671908864 140383603476816 140384114919323 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659012 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 1659 0 0 0 18 0 0 0 20 0 15 0 38797910 10914828288 70637 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659012 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 929 0 0 0 17 0 0 0 20 0 15 0 38797910 10914828288 70637 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659012 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 987 0 0 0 14 0 0 0 20 0 15 0 38797910 10914828288 70637 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 70637 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659012 memory=18476 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38797911 10914828288 70637 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 280500 KiB
[startup+1.50073 s]
/proc/loadavg: 2.00 2.01 1.94 6/220 32243
/proc/meminfo: memFree=26400296/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659012 memory=482828 CPUtime=3.86 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 11720 0 0 0 345 41 0 0 20 0 15 0 38797905 10914828288 120707 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664753 120707 3099 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659012 memory=13880 CPUtime=0.84 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) R 32225 32228 29334 0 -1 4202560 4928 0 0 0 80 4 0 0 20 0 15 0 38797905 10914828288 120707 33554432000 4194304 4196468 140730671908864 140384119139872 140384114922653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659012 memory=6791534058613427641 CPUtime=0.6 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) S 32225 32228 29334 0 -1 1077944384 564 0 0 0 52 8 0 0 20 0 15 0 38797906 10914828288 120707 33554432000 4194304 4196468 140730671908864 140384040974992 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659012 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) S 32225 32228 29334 0 -1 1077944384 338 0 0 0 53 9 0 0 20 0 15 0 38797906 10914828288 120707 33554432000 4194304 4196468 140730671908864 140384039922192 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659012 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) S 32225 32228 29334 0 -1 1077944384 359 0 0 0 53 9 0 0 20 0 15 0 38797906 10914828288 120707 33554432000 4194304 4196468 140730671908864 140384038869392 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659012 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) S 32225 32228 29334 0 -1 1077944384 249 0 0 0 53 9 0 0 20 0 15 0 38797906 10914828288 120707 33554432000 4194304 4196468 140730671908864 140384037816592 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 38797907 10914828288 120707 33554432000 4194304 4196468 140730671908864 140383606635376 140384114911874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
################
# More data... #
################
[startup+688.94 s]
# the end of solver process 32228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.13 s, system=10.1637 s
Solver just ended.
Dumping a history of the last processes samples
[startup+688.001 s]*
/proc/loadavg: 5.04 5.20 3.96 6/221 32580
/proc/meminfo: memFree=18873528/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659088 memory=8306788 CPUtime=2404.72 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 370902 0 0 0 239460 1012 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664772 2076697 3163 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659088 memory=8306788 CPUtime=88.44 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) S 32225 32228 29334 0 -1 1077944384 30022 0 0 0 8827 17 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384119138048 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659088 memory=4126316290023845779 CPUtime=574.69 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) R 32225 32228 29334 0 -1 4202560 59391 0 0 0 57216 253 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384040975192 140384099851332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659088 memory=2580 CPUtime=575.85 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) R 32225 32228 29334 0 -1 4202560 53970 0 0 0 57341 244 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384039922192 140384099886023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659088 memory=1408 CPUtime=576.39 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) R 32225 32228 29334 0 -1 4202560 60517 0 0 0 57411 228 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384038869392 140384099598366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659088 memory=3212 CPUtime=573.56 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) R 32225 32228 29334 0 -1 4202560 65486 0 0 0 57106 250 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384037816488 140384107528935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659088 memory=8306788 CPUtime=12.52 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 89940 0 0 0 1245 7 0 0 20 0 15 0 38797907 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383606633696 140384114910933 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659088 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383605581408 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659088 memory=3132 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659088 memory=482672 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383603476464 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659088 memory=6791534058613427641 CPUtime=1.25 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 4021 0 0 0 124 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659088 memory=4126316290023845779 CPUtime=1.19 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 3092 0 0 0 118 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659088 memory=482672 CPUtime=0.39 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 2246 0 0 0 39 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659088 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659088 memory=8306788 CPUtime=0.35 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 826 0 0 0 21 14 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 2404.72 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8306788 KiB
[startup+688.401 s]
/proc/loadavg: 5.04 5.20 3.96 6/221 32580
/proc/meminfo: memFree=18873528/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659088 memory=8306788 CPUtime=2406.27 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 370902 0 0 0 239615 1012 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664772 2076697 3163 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659088 memory=8306788 CPUtime=88.44 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) S 32225 32228 29334 0 -1 1077944384 30022 0 0 0 8827 17 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384119138048 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659088 memory=2340 CPUtime=575.08 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) R 32225 32228 29334 0 -1 4202560 59391 0 0 0 57255 253 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384040975192 140384096496609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659088 memory=928 CPUtime=576.24 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) R 32225 32228 29334 0 -1 4202560 53970 0 0 0 57380 244 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384039922192 140384099885985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659088 memory=1568 CPUtime=576.78 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) R 32225 32228 29334 0 -1 4202560 60517 0 0 0 57450 228 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384038869392 140384099886023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659088 memory=6791534058613427641 CPUtime=573.93 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) R 32225 32228 29334 0 -1 4202560 65486 0 0 0 57143 250 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384037816488 140384107528935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659088 memory=13884 CPUtime=12.52 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 89940 0 0 0 1245 7 0 0 20 0 15 0 38797907 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383606633696 140384114910933 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659088 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383605581408 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659088 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659088 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383603476464 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659088 memory=1008 CPUtime=1.25 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 4021 0 0 0 124 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659088 memory=5404 CPUtime=1.19 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 3092 0 0 0 118 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659088 memory=796 CPUtime=0.39 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 2246 0 0 0 39 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659088 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659088 memory=1424 CPUtime=0.35 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 826 0 0 0 21 14 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 2406.27 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8306788 KiB
[startup+688.801 s]
/proc/loadavg: 5.04 5.20 3.96 6/221 32580
/proc/meminfo: memFree=18873528/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659088 memory=8306788 CPUtime=2407.84 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 370902 0 0 0 239772 1012 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664772 2076697 3163 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659088 memory=7800344859672537426 CPUtime=88.44 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) S 32225 32228 29334 0 -1 1077944384 30022 0 0 0 8827 17 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384119138048 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659088 memory=6791534058613427641 CPUtime=575.48 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) R 32225 32228 29334 0 -1 4202560 59391 0 0 0 57295 253 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384040975192 140384099598366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659088 memory=1424 CPUtime=576.64 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) R 32225 32228 29334 0 -1 4202560 53970 0 0 0 57420 244 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384039921776 140384107528935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659088 memory=10940 CPUtime=577.18 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) R 32225 32228 29334 0 -1 4202560 60517 0 0 0 57490 228 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384038868976 140384107528935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659088 memory=1200 CPUtime=574.32 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) R 32225 32228 29334 0 -1 4202560 65486 0 0 0 57182 250 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384037816488 140384107528935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659088 memory=1228 CPUtime=12.52 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 89940 0 0 0 1245 7 0 0 20 0 15 0 38797907 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383606633696 140384114910933 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659088 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383605581408 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659088 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659088 memory=10412 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383603476464 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659088 memory=15872 CPUtime=1.25 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 4021 0 0 0 124 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659088 memory=18476 CPUtime=1.19 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 3092 0 0 0 118 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659088 memory=1236 CPUtime=0.39 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 2246 0 0 0 39 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659088 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659088 memory=4052 CPUtime=0.35 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 826 0 0 0 21 14 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 2407.84 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8306788 KiB
[startup+688.901 s]
/proc/loadavg: 5.04 5.20 3.96 6/221 32580
/proc/meminfo: memFree=18873528/32770624 swapFree=67108860/67108860
[pid=32228] ppid=32225 vsize=10659088 memory=8306788 CPUtime=2408.23 cores=1,3,5,7
/proc/32228/stat : 32228 (java) S 32225 32228 29334 0 -1 1077944320 370902 0 0 0 239811 1012 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140730671891408 140384114900727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
/proc/32228/statm: 2664772 2076697 3163 1 0 2627263 0
[pid=32228/tid=32230] ppid=32225 vsize=10659088 memory=8306788 CPUtime=88.44 cores=1,3,5,7
/proc/32228/task/32230/stat : 32230 (java) S 32225 32228 29334 0 -1 1077944384 30022 0 0 0 8827 17 0 0 20 0 15 0 38797905 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384119138048 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32231] ppid=32225 vsize=10659088 memory=8306788 CPUtime=575.58 cores=1,3,5,7
/proc/32228/task/32231/stat : 32231 (java) R 32225 32228 29334 0 -1 4202560 59391 0 0 0 57305 253 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384040975192 140384099851332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32232] ppid=32225 vsize=10659088 memory=8306788 CPUtime=576.73 cores=1,3,5,7
/proc/32228/task/32232/stat : 32232 (java) R 32225 32228 29334 0 -1 4202560 53970 0 0 0 57429 244 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384039921776 140384107528935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32233] ppid=32225 vsize=10659088 memory=8306788 CPUtime=577.28 cores=1,3,5,7
/proc/32228/task/32233/stat : 32233 (java) S 32225 32228 29334 0 -1 1077944384 60517 0 0 0 57500 228 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384038868976 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32234] ppid=32225 vsize=10659088 memory=8306788 CPUtime=574.41 cores=1,3,5,7
/proc/32228/task/32234/stat : 32234 (java) R 32225 32228 29334 0 -1 4202560 65486 0 0 0 57191 250 0 0 20 0 15 0 38797906 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140384037816488 140384107528935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32235] ppid=32225 vsize=10659088 memory=8306788 CPUtime=12.52 cores=1,3,5,7
/proc/32228/task/32235/stat : 32235 (java) S 32225 32228 29334 0 -1 1077944384 89940 0 0 0 1245 7 0 0 20 0 15 0 38797907 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383606633696 140384114910933 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32236] ppid=32225 vsize=10659088 memory=8306756 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32236/stat : 32236 (java) S 32225 32228 29334 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383605581408 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32237] ppid=32225 vsize=10659088 memory=8306756 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32237/stat : 32237 (java) S 32225 32228 29334 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 38797908 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383604528496 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32238] ppid=32225 vsize=10659088 memory=8306756 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32238/stat : 32238 (java) S 32225 32228 29334 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383603476464 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32239] ppid=32225 vsize=10659088 memory=8306756 CPUtime=1.25 cores=1,3,5,7
/proc/32228/task/32239/stat : 32239 (java) S 32225 32228 29334 0 -1 1077944384 4021 0 0 0 124 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383602424176 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32240] ppid=32225 vsize=10659088 memory=8306756 CPUtime=1.19 cores=1,3,5,7
/proc/32228/task/32240/stat : 32240 (java) S 32225 32228 29334 0 -1 1077944384 3092 0 0 0 118 1 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383601371376 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32241] ppid=32225 vsize=10659088 memory=8306788 CPUtime=0.39 cores=1,3,5,7
/proc/32228/task/32241/stat : 32241 (java) S 32225 32228 29334 0 -1 1077944384 2246 0 0 0 39 0 0 0 20 0 15 0 38797910 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383600318576 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32242] ppid=32225 vsize=10659088 memory=8306788 CPUtime=0 cores=1,3,5,7
/proc/32228/task/32242/stat : 32242 (java) S 32225 32228 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383599266016 140384114910933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
[pid=32228/tid=32243] ppid=32225 vsize=10659088 memory=33 CPUtime=0.35 cores=1,3,5,7
/proc/32228/task/32243/stat : 32243 (java) S 32225 32228 29334 0 -1 1077944384 826 0 0 0 21 14 0 0 20 0 15 0 38797911 10914906112 2076697 33554432000 4194304 4196468 140730671908864 140383598214320 140384114911874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 35151872 140730671912049 140730671912201 140730671912201 140730671914959 0
Current children cumulated CPU time: 2408.23 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8306788 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 688.94
CPU time (s): 2408.3
CPU user time (s): 2398.13
CPU system time (s): 10.1637
CPU usage (%): 349.566
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8306788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.13
system time used= 10.1637
maximum resident set size= 8307040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53933
involuntary context switches= 52474
# summary of solver processes directly reported to runsolver:
# pid: 32228
# total CPU time (s): 2408.3
# total CPU user time (s): 2398.13
# total CPU system time (s): 10.1637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45553 second user time and 6.74935 second system time
The end