runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190339-1302598832/watcher-3190339-1302598832 -o /tmp/evaluation-result-3190339-1302598832/solver-3190339-1302598832 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190339-1302598832.cnf
running on 2 cores: 0,2
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): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.06 4.40 11/221 22940
/proc/meminfo: memFree=16696120/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=9020 CPUtime=0 cores=0,2
/proc/22940/stat : 22940 (java) R 22938 22940 22624 0 -1 4194304 142 0 0 0 0 0 0 0 25 0 1 0 371482881 9236480 91 33554432000 1073741824 1073778376 140734829794064 18446744073709551615 274469044327 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22940/statm: 2242 84 63 9 0 34 0
[startup+0.036462 s]
/proc/loadavg: 4.00 4.06 4.40 11/221 22940
/proc/meminfo: memFree=16696120/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7562296 CPUtime=0.02 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 8564 0 1 0 1 1 0 0 25 0 11 0 371482881 7743791104 8260 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1890574 8260 1630 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296
[startup+0.10045 s]
/proc/loadavg: 4.00 4.06 4.40 11/221 22940
/proc/meminfo: memFree=16696120/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7571596 CPUtime=0.09 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 10360 0 1 0 8 1 0 0 25 0 18 0 371482881 7753314304 10054 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1892899 10055 2091 9 0 1883637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7571596
[startup+0.300415 s]
/proc/loadavg: 4.00 4.06 4.40 11/221 22940
/proc/meminfo: memFree=16696120/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7571692 CPUtime=0.39 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 15395 0 1 0 36 3 0 0 25 0 18 0 371482881 7753412608 14887 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1892923 14887 2198 9 0 1883661 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 7571692
[startup+0.700346 s]
/proc/loadavg: 4.00 4.06 4.40 11/221 22940
/proc/meminfo: memFree=16696120/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7647304 CPUtime=1.07 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 21633 0 1 0 104 3 0 0 25 0 19 0 371482881 7830839296 19383 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911826 19383 2222 9 0 1902564 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7647304
[startup+1.50121 s]
/proc/loadavg: 4.00 4.06 4.40 5/262 22984
/proc/meminfo: memFree=16515752/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7647304 CPUtime=1.97 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 22105 0 1 0 193 4 0 0 25 0 19 0 371482881 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911826 19854 2225 9 0 1902564 0
[pid=22940/tid=22942] ppid=22938 vsize=7647304 CPUtime=1.39 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) R 22938 22940 22624 0 -1 4202560 15660 0 1 0 136 3 0 0 25 0 19 0 371482882 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 46912505624343 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19854 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371482885 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371482885 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482885 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7647304 CPUtime=0.29 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2924 0 0 0 29 0 0 0 16 0 19 0 371482887 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7647304 CPUtime=0.26 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2357 0 0 0 26 0 0 0 15 0 19 0 371482887 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482887 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7830839296 19855 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 7647304
[startup+3.10092 s]
/proc/loadavg: 4.00 4.06 4.40 5/262 22984
/proc/meminfo: memFree=16482396/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7647304 CPUtime=3.56 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 22563 0 1 0 352 4 0 0 25 0 19 0 371482881 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911826 20312 2225 9 0 1902564 0
[pid=22940/tid=22942] ppid=22938 vsize=7647304 CPUtime=2.99 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) R 22938 22940 22624 0 -1 4202560 16118 0 1 0 296 3 0 0 25 0 19 0 371482882 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 46912505691096 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371482885 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371482885 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482885 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7647304 CPUtime=0.29 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2924 0 0 0 29 0 0 0 16 0 19 0 371482887 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7647304 CPUtime=0.26 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2357 0 0 0 26 0 0 0 15 0 19 0 371482887 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482887 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7647304 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7830839296 20312 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 7647304
[startup+6.30139 s]
/proc/loadavg: 4.08 4.08 4.40 5/262 22984
/proc/meminfo: memFree=16468124/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7646200 CPUtime=6.78 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 23832 0 1 0 674 4 0 0 25 0 19 0 371482881 7829708800 21304 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911550 21305 2235 9 0 1902288 0
[pid=22940/tid=22942] ppid=22938 vsize=7646200 CPUtime=6.17 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) S 22938 22940 22624 0 -1 4202560 17021 0 1 0 614 3 0 0 25 0 19 0 371482882 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) R 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) R 22938 22940 22624 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 48010153401591 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) R 22938 22940 22624 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371482884 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 48010151966385 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 19 0 371482885 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 371482885 7829708800 21305 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482885 7829708800 21307 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7829708800 21314 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7646200 CPUtime=0.31 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2936 0 0 0 31 0 0 0 15 0 19 0 371482887 7829708800 21326 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7646200 CPUtime=0.28 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2697 0 0 0 28 0 0 0 15 0 19 0 371482887 7829708800 21326 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7829708800 21334 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482887 7829708800 21346 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7829708800 21357 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 7646200
[startup+12.7013 s]
################
# More data... #
################
[pid=22940/tid=22948] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7646200 CPUtime=0.23 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 9974 0 0 0 22 1 0 0 15 0 19 0 371482884 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7646200 CPUtime=0.16 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 3384 0 0 0 16 0 0 0 15 0 19 0 371482884 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7646200 CPUtime=4.29 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 10446 0 0 0 428 1 0 0 15 0 19 0 371482885 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7646200 CPUtime=0.31 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2937 0 0 0 31 0 0 0 15 0 19 0 371482887 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7646200 CPUtime=0.34 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2767 0 0 0 34 0 0 0 15 0 19 0 371482887 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371482887 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7829708800 73165 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.36
Current children cumulated vsize (KiB) 7646200
[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 4.10 5/262 23028
/proc/meminfo: memFree=15982020/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7646200 CPUtime=1183.38 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 76452 0 1 0 118324 14 0 0 25 0 19 0 371482881 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911550 73716 2253 9 0 1902288 0
[pid=22940/tid=22942] ppid=22938 vsize=7646200 CPUtime=1177.09 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) R 22938 22940 22624 0 -1 4202560 30462 0 1 0 117701 8 0 0 25 0 19 0 371482882 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 46912505624107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1783 0 0 0 13 0 0 0 16 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7646200 CPUtime=0.17 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 5015 0 0 0 17 0 0 0 16 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 3455 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7646200 CPUtime=0.1 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 888 0 0 0 10 0 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7646200 CPUtime=0.09 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 2657 0 0 0 9 0 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7646200 CPUtime=0.23 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 9974 0 0 0 22 1 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7646200 CPUtime=0.16 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 3384 0 0 0 16 0 0 0 15 0 19 0 371482884 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7646200 CPUtime=4.4 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 10619 0 0 0 439 1 0 0 15 0 19 0 371482885 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7646200 CPUtime=0.31 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2937 0 0 0 31 0 0 0 15 0 19 0 371482887 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7646200 CPUtime=0.34 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2767 0 0 0 34 0 0 0 15 0 19 0 371482887 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371482887 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7829708800 73716 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.38
Current children cumulated vsize (KiB) 7646200
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 4.09 5/262 23029
/proc/meminfo: memFree=15944604/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7646200 CPUtime=1243.41 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 83724 0 1 0 124325 16 0 0 25 0 19 0 371482881 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911550 80981 2253 9 0 1902288 0
[pid=22940/tid=22942] ppid=22938 vsize=7646200 CPUtime=1236.95 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) R 22938 22940 22624 0 -1 4202560 33755 0 1 0 123687 8 0 0 25 0 19 0 371482882 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 46912505703890 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1783 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7646200 CPUtime=0.17 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 5015 0 0 0 17 0 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7646200 CPUtime=0.16 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 5202 0 0 0 15 1 0 0 16 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7646200 CPUtime=0.12 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 2896 0 0 0 12 0 0 0 16 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7646200 CPUtime=0.09 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 2657 0 0 0 9 0 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7646200 CPUtime=0.23 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 9974 0 0 0 22 1 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7646200 CPUtime=0.16 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 3384 0 0 0 16 0 0 0 15 0 19 0 371482884 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7646200 CPUtime=4.5 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 10839 0 0 0 449 1 0 0 15 0 19 0 371482885 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7646200 CPUtime=0.31 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2937 0 0 0 31 0 0 0 15 0 19 0 371482887 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7646200 CPUtime=0.34 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2767 0 0 0 34 0 0 0 15 0 19 0 371482887 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371482887 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7829708800 80981 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.41
Current children cumulated vsize (KiB) 7646200
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.02 4.09 3/222 23036
/proc/meminfo: memFree=16123148/32950928 swapFree=67111528/67111528
[pid=22940] ppid=22938 vsize=7646200 CPUtime=1301.13 cores=0,2
/proc/22940/stat : 22940 (java) S 22938 22940 22624 0 -1 4202496 83735 0 1 0 130097 16 0 0 25 0 19 0 371482881 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 1911550 80985 2253 9 0 1902288 0
[pid=22940/tid=22942] ppid=22938 vsize=7646200 CPUtime=1294.5 cores=0,2
/proc/22940/task/22942/stat : 22942 (java) R 22938 22940 22624 0 -1 4202560 33756 0 1 0 129441 9 0 0 25 0 19 0 371482882 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 46912505764476 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=7646200 CPUtime=0.14 cores=0,2
/proc/22940/task/22943/stat : 22943 (java) S 22938 22940 22624 0 -1 4202560 1785 0 0 0 14 0 0 0 16 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=7646200 CPUtime=0.17 cores=0,2
/proc/22940/task/22944/stat : 22944 (java) S 22938 22940 22624 0 -1 4202560 5015 0 0 0 17 0 0 0 15 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=7646200 CPUtime=0.18 cores=0,2
/proc/22940/task/22945/stat : 22945 (java) S 22938 22940 22624 0 -1 4202560 5204 0 0 0 17 1 0 0 15 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=7646200 CPUtime=0.12 cores=0,2
/proc/22940/task/22946/stat : 22946 (java) S 22938 22940 22624 0 -1 4202560 2896 0 0 0 12 0 0 0 15 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=7646200 CPUtime=0.09 cores=0,2
/proc/22940/task/22947/stat : 22947 (java) S 22938 22940 22624 0 -1 4202560 2657 0 0 0 9 0 0 0 16 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=7646200 CPUtime=0.13 cores=0,2
/proc/22940/task/22948/stat : 22948 (java) S 22938 22940 22624 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22949] ppid=22938 vsize=7646200 CPUtime=0.24 cores=0,2
/proc/22940/task/22949/stat : 22949 (java) S 22938 22940 22624 0 -1 4202560 9974 0 0 0 23 1 0 0 16 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22950] ppid=22938 vsize=7646200 CPUtime=0.16 cores=0,2
/proc/22940/task/22950/stat : 22950 (java) S 22938 22940 22624 0 -1 4202560 3384 0 0 0 16 0 0 0 15 0 19 0 371482884 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22951] ppid=22938 vsize=7646200 CPUtime=4.65 cores=0,2
/proc/22940/task/22951/stat : 22951 (java) S 22938 22940 22624 0 -1 4202560 10841 0 0 0 464 1 0 0 15 0 19 0 371482885 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 0 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22952] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22952/stat : 22952 (java) S 22938 22940 22624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22953] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22953/stat : 22953 (java) S 22938 22940 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482885 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22961] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22961/stat : 22961 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371482887 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485791153 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22962] ppid=22938 vsize=7646200 CPUtime=0.31 cores=0,2
/proc/22940/task/22962/stat : 22962 (java) S 22938 22940 22624 0 -1 4202560 2937 0 0 0 31 0 0 0 15 0 19 0 371482887 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22963] ppid=22938 vsize=7646200 CPUtime=0.34 cores=0,2
/proc/22940/task/22963/stat : 22963 (java) S 22938 22940 22624 0 -1 4202560 2767 0 0 0 34 0 0 0 15 0 19 0 371482887 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 0 0 0 0
[pid=22940/tid=22964] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22964/stat : 22964 (java) S 22938 22940 22624 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371482887 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485783449 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22965] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22965/stat : 22965 (java) S 22938 22940 22624 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371482887 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
[pid=22940/tid=22983] ppid=22938 vsize=7646200 CPUtime=0 cores=0,2
/proc/22940/task/22983/stat : 22983 (java) S 22938 22940 22624 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 371482920 7829708800 80985 33554432000 1073741824 1073778376 140733936133344 18446744073709551615 274485784064 0 4 0 16800975 18446604453862226880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.13
Current children cumulated vsize (KiB) 7646200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.23
CPU user time (s): 1301.05
CPU system time (s): 0.182972
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 7647304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.05
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84089
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27900
involuntary context switches= 5337
runsolver used 1.9857 second user time and 5.12222 second system time
The end