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 (5589 MiB free)
memory of node 1: 16384 MiB (10916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293572-1532321969/watcher-4293572-1532321969 -o /tmp/evaluation-result-4293572-1532321969/solver-4293572-1532321969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=840059296 HOME/instance-4293572-1532321969.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12906, runsolver pid=12903
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 1.67 1.64 1.52 3/206 12963
/proc/meminfo: memFree=16894544/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=9972712 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 4464 12936 0 0 1 0 5 3 20 0 6 0 49760074 10212057088 4335 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2493178 4335 1957 1 0 2481616 0
[pid=12906/tid=12959] ppid=12903 vsize=10055356 memory=4279135703913103502 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 2333 12936 0 0 1 0 5 3 20 0 7 0 49760083 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051794991888 140051808832022 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10055356 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 7 0 49760084 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10055356 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 7 0 49760084 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 7 0 49760084 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 7 0 49760084 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10055356 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 7 0 49760085 10296684544 4401 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.21 s]*
/proc/loadavg: 1.67 1.64 1.52 3/215 12972
/proc/meminfo: memFree=16876076/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10818936 memory=42532 CPUtime=0.26 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 9028 12936 0 0 16 2 5 3 20 0 15 0 49760074 11078590464 10633 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2704734 10633 2951 1 0 2667157 0
[pid=12906/tid=12959] ppid=12903 vsize=10818936 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 5882 12936 0 0 10 1 5 3 20 0 15 0 49760083 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051794973600 140051815828509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10818936 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 15 0 49760084 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10818936 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11078557696 10950 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11078557696 10950 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10818904 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 15 0 49760085 11078557696 10950 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 33 12936 0 0 0 0 5 3 20 0 15 0 49760086 11078557696 10950 33554432000 4194304 4196468 140720821304144 140051281433376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760086 11078557696 10950 33554432000 4194304 4196468 140720821304144 140050696234096 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11078590464 10950 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 367 12936 0 0 1 0 5 3 20 0 15 0 49760088 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 247 12936 0 0 0 0 5 3 20 0 15 0 49760088 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10818936 memory=140269564638848 CPUtime=0.11 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 604 12936 0 0 3 0 5 3 20 0 15 0 49760088 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11078590464 10950 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10818936 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760089 11078590464 10950 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 42532 KiB
[startup+0.310465 s]*
/proc/loadavg: 1.67 1.64 1.52 3/215 12972
/proc/meminfo: memFree=16862556/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10819352 memory=51676 CPUtime=0.39 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 10554 12936 0 0 29 2 5 3 20 0 15 0 49760074 11079016448 12919 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2704838 12919 3070 1 0 2667149 0
[pid=12906/tid=12959] ppid=12903 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 7082 12936 0 0 20 1 5 3 20 0 15 0 49760083 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051794960800 140051804713761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 15 0 49760085 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10819352 memory=140269564638847 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 33 12936 0 0 0 0 5 3 20 0 15 0 49760086 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051281433376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760086 11079016448 12919 33554432000 4194304 4196468 140720821304144 140050696234096 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11079016448 12919 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 367 12936 0 0 2 0 5 3 20 0 15 0 49760088 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 254 12936 0 0 1 0 5 3 20 0 15 0 49760088 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10819352 memory=140269564638848 CPUtime=0.13 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 612 12936 0 0 5 0 5 3 20 0 15 0 49760088 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11079016448 12919 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10819352 memory=140269564638848 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760089 11079016448 12919 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51676 KiB
[startup+0.700785 s]
/proc/loadavg: 1.67 1.64 1.52 3/215 12972
/proc/meminfo: memFree=16853376/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10819352 memory=84728 CPUtime=1 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 16768 12936 0 0 88 4 5 3 20 0 15 0 49760074 11079016448 21182 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2704838 21182 3246 1 0 2667149 0
[pid=12906/tid=12959] ppid=12903 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 12167 12936 0 0 57 2 5 3 20 0 15 0 49760083 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051794969616 140051804712343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10819352 memory=15683207215455272 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 2 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760084 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10819352 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 5 12936 0 0 0 0 5 3 20 0 15 0 49760085 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10819352 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 33 12936 0 0 0 0 5 3 20 0 15 0 49760086 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051281433376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760086 11079016448 21182 33554432000 4194304 4196468 140720821304144 140050696234096 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11079016448 21182 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10819352 memory=11044 CPUtime=0.15 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 732 12936 0 0 7 0 5 3 20 0 15 0 49760088 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 934 12936 0 0 9 0 5 3 20 0 15 0 49760088 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10819352 memory=27300 CPUtime=0.2 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 693 12936 0 0 12 0 5 3 20 0 15 0 49760088 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11079016448 21182 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10819352 memory=140269404063376 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760089 11079016448 21182 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84728 KiB
[startup+1.5008 s]
/proc/loadavg: 1.67 1.64 1.52 4/215 12972
/proc/meminfo: memFree=16806172/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10832204 memory=202116 CPUtime=2.79 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 24474 12936 0 0 262 9 5 3 20 0 15 0 49760074 11092176896 50529 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2708051 50529 3447 1 0 2669709 0
[pid=12906/tid=12959] ppid=12903 vsize=10832204 memory=11 CPUtime=1.43 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) S 12903 12906 7887 0 -1 1077944384 16889 12936 0 0 130 5 5 3 20 0 15 0 49760083 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051794963888 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10832204 memory=12 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 60 12936 0 0 1 0 5 3 20 0 15 0 49760084 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10832204 memory=19 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 185 12936 0 0 1 0 5 3 20 0 15 0 49760084 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10832204 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 19 12936 0 0 1 0 5 3 20 0 15 0 49760084 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10832204 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 18 12936 0 0 1 0 5 3 20 0 15 0 49760084 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10832204 memory=6298118432328865376 CPUtime=0.09 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) R 12903 12906 7887 0 -1 4202560 52 12936 0 0 1 0 5 3 20 0 15 0 49760085 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051282485920 140051815438240 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10832204 memory=8243951694789240168 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 33 12936 0 0 0 0 5 3 20 0 15 0 49760086 11092176896 50529 33554432000 4194304 4196468 140720821304144 140051281433376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10832204 memory=7162525891147949412 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760086 11092176896 50529 33554432000 4194304 4196468 140720821304144 140050696234096 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10832204 memory=4639074098508484691 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11092176896 50529 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10832204 memory=7665525033009635922 CPUtime=0.47 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 1369 12936 0 0 39 0 5 3 20 0 15 0 49760088 11092176896 50458 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10832204 memory=7307482171309517417 CPUtime=0.49 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 2111 12936 0 0 41 0 5 3 20 0 15 0 49760088 11092176896 50458 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10832204 memory=7523372408915454311 CPUtime=0.5 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 1539 12936 0 0 42 0 5 3 20 0 15 0 49760088 11092176896 50458 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10832204 memory=7521671533113664355 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11092176896 50458 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10832204 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 1 12936 0 0 0 0 5 3 20 0 15 0 49760089 11092176896 50458 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
################
# More data... #
################
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 263847 12936 0 0 236659 50 5 3 20 0 15 0 49760083 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051794984128 140051389562712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10850656 memory=3532788 CPUtime=13.51 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 27695 12936 0 0 1209 134 5 3 20 0 15 0 49760084 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10850656 memory=195687299966224 CPUtime=13.56 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 29407 12936 0 0 1214 134 5 3 20 0 15 0 49760084 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10850656 memory=3532788 CPUtime=13.56 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 28170 12936 0 0 1213 135 5 3 20 0 15 0 49760084 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.57 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 22612 12936 0 0 1214 135 5 3 20 0 15 0 49760084 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10850656 memory=1012 CPUtime=1.27 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 26756 12936 0 0 101 18 5 3 20 0 15 0 49760085 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10850656 memory=3532788 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 48 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051281433440 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10850656 memory=3534836 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 8 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883709 33554432000 4194304 4196468 140720821304144 140050696234112 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10850656 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11111071744 883709 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10850656 memory=879 CPUtime=8.88 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 72055 12936 0 0 874 6 5 3 20 0 15 0 49760088 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10850656 memory=911 CPUtime=9.19 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 75170 12936 0 0 904 7 5 3 20 0 15 0 49760088 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10850656 memory=6791534058613427641 CPUtime=3.39 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 72057 12936 0 0 323 8 5 3 20 0 15 0 49760088 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10850656 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11111071744 883709 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10850656 memory=952 CPUtime=1.47 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 2498 12936 0 0 61 78 5 3 20 0 15 0 49760089 11111071744 883709 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 2444.94 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3534836 KiB
[startup+2442.3 s]
/proc/loadavg: 1.44 1.43 1.43 4/216 13331
/proc/meminfo: memFree=14659784/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10850656 memory=3535072 CPUtime=2505.33 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 640396 12936 0 0 249837 688 5 3 20 0 15 0 49760074 11111071744 883768 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2712664 883768 3534 1 0 2674317 0
[pid=12906/tid=12959] ppid=12903 vsize=10850656 memory=3535072 CPUtime=2427.05 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 279159 12936 0 0 242646 51 5 3 20 0 15 0 49760083 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051794984192 140051385222520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10850656 memory=3532788 CPUtime=13.61 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 27894 12936 0 0 1219 134 5 3 20 0 15 0 49760084 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.66 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 29878 12936 0 0 1224 134 5 3 20 0 15 0 49760084 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.66 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 28376 12936 0 0 1223 135 5 3 20 0 15 0 49760084 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.67 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 22814 12936 0 0 1224 135 5 3 20 0 15 0 49760084 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10850656 memory=3535072 CPUtime=1.28 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 26948 12936 0 0 102 18 5 3 20 0 15 0 49760085 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10850656 memory=3535072 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 48 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051281433440 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10850656 memory=3535072 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 8 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883768 33554432000 4194304 4196468 140720821304144 140050696234112 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10850656 memory=3534836 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11111071744 883768 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10850656 memory=3534836 CPUtime=8.89 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 72560 12936 0 0 875 6 5 3 20 0 15 0 49760088 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10850656 memory=3535072 CPUtime=9.21 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 75432 12936 0 0 906 7 5 3 20 0 15 0 49760088 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10850656 memory=12976 CPUtime=3.39 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 72566 12936 0 0 323 8 5 3 20 0 15 0 49760088 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10850656 memory=3535072 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11111071744 883768 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10850656 memory=3534836 CPUtime=1.5 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 2516 12936 0 0 63 79 5 3 20 0 15 0 49760089 11111071744 883768 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 2505.33 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3535072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.9 s]
/proc/loadavg: 1.49 1.44 1.44 3/216 13331
/proc/meminfo: memFree=14667096/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10850656 memory=3535820 CPUtime=2520.01 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 643736 12936 0 0 251304 689 5 3 20 0 15 0 49760074 11111071744 883955 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2712664 883955 3534 1 0 2674317 0
[pid=12906/tid=12959] ppid=12903 vsize=10850656 memory=3535820 CPUtime=2441.62 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 280903 12936 0 0 244103 51 5 3 20 0 15 0 49760083 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051794984016 140051393034343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10850656 memory=3535484 CPUtime=13.63 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 28035 12936 0 0 1221 134 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10850656 memory=3535072 CPUtime=13.68 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 30009 12936 0 0 1226 134 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10850656 memory=3535072 CPUtime=13.68 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 28746 12936 0 0 1225 135 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.69 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 22910 12936 0 0 1226 135 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10850656 memory=3534836 CPUtime=1.28 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 27100 12936 0 0 102 18 5 3 20 0 15 0 49760085 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10850656 memory=3532788 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 48 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051281433440 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 8 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050696234112 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10850656 memory=3535484 CPUtime=8.9 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 73054 12936 0 0 876 6 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10850656 memory=6791534058613427641 CPUtime=9.22 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 75434 12936 0 0 907 7 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10850656 memory=319022200143479071 CPUtime=3.4 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 72760 12936 0 0 324 8 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10850656 memory=3535820 CPUtime=1.51 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 2532 12936 0 0 63 80 5 3 20 0 15 0 49760089 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3535820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.94 s]
# the end of solver process 12906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.12 s, system=6.94147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.9 s]
/proc/loadavg: 1.49 1.44 1.44 3/216 13331
/proc/meminfo: memFree=14667096/32770624 swapFree=67108860/67108860
[pid=12906] ppid=12903 vsize=10850656 memory=3535820 CPUtime=2520.01 cores=1,3,5,7
/proc/12906/stat : 12906 (java) S 12903 12906 7887 0 -1 1077944320 643736 12936 0 0 251304 689 5 3 20 0 15 0 49760074 11111071744 883955 33554432000 4194304 4196468 140720821304144 140720821286688 140051823148791 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
/proc/12906/statm: 2712664 883955 3534 1 0 2674317 0
[pid=12906/tid=12959] ppid=12903 vsize=10850656 memory=3535820 CPUtime=2441.62 cores=1,3,5,7
/proc/12906/task/12959/stat : 12959 (java) R 12903 12906 7887 0 -1 4202560 280903 12936 0 0 244103 51 5 3 20 0 15 0 49760083 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051794984016 140051393034343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12960] ppid=12903 vsize=10850656 memory=3535484 CPUtime=13.63 cores=1,3,5,7
/proc/12906/task/12960/stat : 12960 (java) S 12903 12906 7887 0 -1 1077944384 28035 12936 0 0 1221 134 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051827391376 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12961] ppid=12903 vsize=10850656 memory=3535072 CPUtime=13.68 cores=1,3,5,7
/proc/12906/task/12961/stat : 12961 (java) S 12903 12906 7887 0 -1 1077944384 30009 12936 0 0 1226 134 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051715664656 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12962] ppid=12903 vsize=10850656 memory=3535072 CPUtime=13.68 cores=1,3,5,7
/proc/12906/task/12962/stat : 12962 (java) S 12903 12906 7887 0 -1 1077944384 28746 12936 0 0 1225 135 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051714612368 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12963] ppid=12903 vsize=10850656 memory=3534836 CPUtime=13.69 cores=1,3,5,7
/proc/12906/task/12963/stat : 12963 (java) S 12903 12906 7887 0 -1 1077944384 22910 12936 0 0 1226 135 5 3 20 0 15 0 49760084 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051713559568 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12964] ppid=12903 vsize=10850656 memory=3534836 CPUtime=1.28 cores=1,3,5,7
/proc/12906/task/12964/stat : 12964 (java) S 12903 12906 7887 0 -1 1077944384 27100 12936 0 0 102 18 5 3 20 0 15 0 49760085 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051282487408 140051823159938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12965] ppid=12903 vsize=10850656 memory=3532788 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12965/stat : 12965 (java) S 12903 12906 7887 0 -1 1077944384 48 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051281433440 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12966] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12966/stat : 12966 (java) S 12903 12906 7887 0 -1 1077944384 8 12936 0 0 0 0 5 3 20 0 15 0 49760086 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050696234112 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12967] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12967/stat : 12967 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050388834384 140051823167387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12968] ppid=12903 vsize=10850656 memory=3535484 CPUtime=8.9 cores=1,3,5,7
/proc/12906/task/12968/stat : 12968 (java) S 12903 12906 7887 0 -1 1077944384 73054 12936 0 0 876 6 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051247876720 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12969] ppid=12903 vsize=10850656 memory=6791534058613427641 CPUtime=9.22 cores=1,3,5,7
/proc/12906/task/12969/stat : 12969 (java) S 12903 12906 7887 0 -1 1077944384 75434 12936 0 0 907 7 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051246823920 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12970] ppid=12903 vsize=10850656 memory=319022200143479071 CPUtime=3.4 cores=1,3,5,7
/proc/12906/task/12970/stat : 12970 (java) S 12903 12906 7887 0 -1 1077944384 72760 12936 0 0 324 8 5 3 20 0 15 0 49760088 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051245771632 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12971] ppid=12903 vsize=10850656 memory=3535820 CPUtime=0.08 cores=1,3,5,7
/proc/12906/task/12971/stat : 12971 (java) S 12903 12906 7887 0 -1 1077944384 3 12936 0 0 0 0 5 3 20 0 15 0 49760089 11111071744 883955 33554432000 4194304 4196468 140720821304144 140050355276768 140051823158997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
[pid=12906/tid=12972] ppid=12903 vsize=10850656 memory=3535820 CPUtime=1.51 cores=1,3,5,7
/proc/12906/task/12972/stat : 12972 (java) S 12903 12906 7887 0 -1 1077944384 2532 12936 0 0 63 80 5 3 20 0 15 0 49760089 11111071744 883955 33554432000 4194304 4196468 140720821304144 140051244718512 140051823159938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25321472 140720821308015 140720821310812 140720821310812 140720821313487 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3535820 KiB
Child status: 143
Real time (s): 2456.94
CPU time (s): 2520.06
CPU user time (s): 2513.12
CPU system time (s): 6.94147
CPU usage (%): 102.569
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 3535820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.12
system time used= 6.94147
maximum resident set size= 3540036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79151
involuntary context switches= 2786
# summary of solver processes directly reported to runsolver:
# pid: 12906
# total CPU time (s): 2520.06
# total CPU user time (s): 2513.12
# total CPU system time (s): 6.94147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2679 second user time and 23.8154 second system time
The end