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 (7357 MiB free)
memory of node 1: 16384 MiB (15611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257888-1502650392/watcher-4257888-1502650392 -o /tmp/evaluation-result-4257888-1502650392/solver-4257888-1502650392 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257888-1502650392.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15848, runsolver pid=15845
[startup+0.100108 s]*
/proc/loadavg: 3.80 3.63 3.50 2/195 15849
/proc/meminfo: memFree=23520096/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/15848/stat : 15848 (runsolver) D 15845 15848 17093 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 67232482 34791424 113 18446744073709551615 4194304 4346622 140722291771488 140722291768120 139747494257367 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 19468288 140722291777643 140722291778089 140722291778089 140722291781578 0
/proc/15848/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.208941 s]*
/proc/loadavg: 3.80 3.63 3.50 3/209 15863
/proc/meminfo: memFree=23506528/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551156 memory=23732 CPUtime=0.07 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 4922 0 0 0 6 1 0 0 20 0 15 0 67232482 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637789 5933 2613 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) R 15845 15848 17093 0 -1 4202560 3055 0 0 0 5 0 0 0 20 0 15 0 67232494 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140214317864512 140214297711966 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551156 memory=3474446086631974560 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232496 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213810379120 140214313642626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67232496 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213809325088 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67232497 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213808272240 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213807220560 140214313650075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213806168944 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213805116144 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213804063344 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232503 10804383744 5933 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23732 KiB
[startup+0.309994 s]*
/proc/loadavg: 3.80 3.63 3.50 3/209 15863
/proc/meminfo: memFree=23494588/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551156 memory=35596 CPUtime=0.22 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 8211 0 0 0 20 2 0 0 20 0 15 0 67232482 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637789 8899 2866 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551156 memory=-7677926825137650786 CPUtime=0.15 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) R 15845 15848 17093 0 -1 4202560 5886 0 0 0 13 2 0 0 20 0 15 0 67232494 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140214317852400 140214297711966 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232496 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213810379120 140214313642626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67232496 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213809325088 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67232497 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213808272240 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213807220560 140214313650075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 67232499 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213806168944 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 15 0 67232499 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213805116144 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0.03 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 380 0 0 0 3 0 0 0 20 0 15 0 67232499 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213804063344 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551156 memory=139747497207424 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232503 10804383744 8899 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35596 KiB
[startup+0.701546 s]
/proc/loadavg: 3.80 3.63 3.50 3/209 15863
/proc/meminfo: memFree=23477680/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=111580 CPUtime=1.17 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 11941 0 0 0 112 5 0 0 20 0 15 0 67232482 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 27895 3054 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=228 CPUtime=0.53 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) R 15845 15848 17093 0 -1 4202560 7365 0 0 0 50 3 0 0 20 0 15 0 67232494 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140214317864128 140214313643414 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=4 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=344 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232495 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=1 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232495 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) S 15845 15848 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213810379120 140214313642626 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213809325088 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=1673 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213808272240 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=346 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213807220560 140214313650075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=110 CPUtime=0.22 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) R 15845 15848 17093 0 -1 4202560 1352 0 0 0 22 0 0 0 20 0 15 0 67232499 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213806154968 140214291797960 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=7379241883359864663 CPUtime=0.22 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) R 15845 15848 17093 0 -1 4202560 1104 0 0 0 22 0 0 0 20 0 15 0 67232499 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213805102688 140214298553261 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=7092415583339767400 CPUtime=0.17 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) R 15845 15848 17093 0 -1 4202560 755 0 0 0 17 0 0 0 20 0 15 0 67232499 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213804063344 140214295041629 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=7898351070516488779 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232503 10804461568 27895 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 111580 KiB
[startup+1.50152 s]
/proc/loadavg: 3.80 3.63 3.50 3/209 15863
/proc/meminfo: memFree=23372344/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=233880 CPUtime=2.97 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 15985 0 0 0 284 13 0 0 20 0 15 0 67232482 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 58470 3092 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=288230621803970871 CPUtime=1.28 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 7894 0 0 0 124 4 0 0 20 0 15 0 67232494 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140214317867584 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=13563795322702378 CPUtime=0.03 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) R 15845 15848 17093 0 -1 4202560 131 0 0 0 2 1 0 0 20 0 15 0 67232495 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214298659353 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=1444 CPUtime=0.03 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) R 15845 15848 17093 0 -1 4202560 79 0 0 0 2 1 0 0 20 0 15 0 67232495 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140214242999512 140214298659362 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=1228 CPUtime=0.02 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) R 15845 15848 17093 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 15 0 67232495 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140214241946712 140214298659353 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=12200 CPUtime=0.03 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) R 15845 15848 17093 0 -1 4202560 138 0 0 0 2 1 0 0 20 0 15 0 67232495 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214298659362 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) S 15845 15848 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213810377632 140214313641685 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213809325088 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213808272240 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213807220560 140214313650075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=8944 CPUtime=0.6 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 2415 0 0 0 60 0 0 0 20 0 15 0 67232499 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213806153936 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=15876 CPUtime=0.63 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) R 15845 15848 17093 0 -1 4202560 2904 0 0 0 62 1 0 0 20 0 15 0 67232499 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213805097160 140214297128267 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=4048 CPUtime=0.27 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 957 0 0 0 27 0 0 0 20 0 15 0 67232499 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213804063344 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=21292 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67232503 10804461568 58470 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 233880 KiB
[startup+3.11151 s]
/proc/loadavg: 3.80 3.63 3.50 9/209 15863
/proc/meminfo: memFree=22764928/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=753604 CPUtime=8.08 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 24834 0 0 0 763 45 0 0 20 0 15 0 67232482 10804461568 188401 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 188401 3106 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=0 CPUtime=1.96 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 7950 0 0 0 190 6 0 0 20 0 15 0 67232494 10804461568 188401 18446744073709551615 4194304 4196468 140731054715712 140214317867312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
################
# More data... #
################
[startup+93.5434 s]
# the end of solver process 15848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.206 s, system=5.08526 s
Solver just ended.
Dumping a history of the last processes samples
[startup+92.8007 s]
/proc/loadavg: 4.16 3.80 3.57 6/213 15954
/proc/meminfo: memFree=14880928/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=8359780 CPUtime=253.53 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 136778 0 0 0 24849 504 0 0 20 0 15 0 67232482 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 2089945 3112 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=8359780 CPUtime=15.21 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 15734 0 0 0 1510 11 0 0 20 0 15 0 67232494 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214317868320 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=8359780 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 13425 0 0 0 5181 130 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=8359780 CPUtime=52.89 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 27600 0 0 0 5189 100 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=-8774313645642428999 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 20368 0 0 0 5189 122 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=8944 CPUtime=52.94 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 21339 0 0 0 5163 131 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=15876 CPUtime=23.51 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) R 15845 15848 17093 0 -1 4202560 20850 0 0 0 2349 2 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213810377664 140214298628032 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213809325152 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=21300 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213808272256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213807220208 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=12200 CPUtime=0.82 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 3498 0 0 0 82 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213806168992 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=1992 CPUtime=1.54 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 10989 0 0 0 152 2 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213805115904 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=1204 CPUtime=0.28 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 1482 0 0 0 28 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213804063392 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=4028 CPUtime=0.04 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 130 0 0 0 1 3 0 0 20 0 15 0 67232503 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 253.53 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8359780 KiB
[startup+93.2007 s]
/proc/loadavg: 4.16 3.80 3.57 6/213 15954
/proc/meminfo: memFree=14880928/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=8359780 CPUtime=253.93 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 136778 0 0 0 24889 504 0 0 20 0 15 0 67232482 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 2089945 3112 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=1444 CPUtime=15.21 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 15734 0 0 0 1510 11 0 0 20 0 15 0 67232494 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214317868320 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=1228 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 13425 0 0 0 5181 130 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=12200 CPUtime=52.89 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 27600 0 0 0 5189 100 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=288230574492221466 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 20368 0 0 0 5189 122 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=288230621803970871 CPUtime=52.94 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 21339 0 0 0 5163 131 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=13563795322702378 CPUtime=23.91 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) R 15845 15848 17093 0 -1 4202560 20850 0 0 0 2389 2 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213810377664 140214298332110 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=21300 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213809325152 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213808272256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=640 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213807220208 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=960 CPUtime=0.82 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 3498 0 0 0 82 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213806168992 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=1232 CPUtime=1.54 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 10989 0 0 0 152 2 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213805115904 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=2248 CPUtime=0.28 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 1482 0 0 0 28 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213804063392 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=932 CPUtime=0.04 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 130 0 0 0 1 3 0 0 20 0 15 0 67232503 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 253.93 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8359780 KiB
[startup+93.4006 s]
/proc/loadavg: 4.16 3.80 3.57 6/213 15954
/proc/meminfo: memFree=14880928/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=8359780 CPUtime=254.13 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 136778 0 0 0 24909 504 0 0 20 0 15 0 67232482 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 2089945 3112 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=2160 CPUtime=15.21 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 15734 0 0 0 1510 11 0 0 20 0 15 0 67232494 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214317868320 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=844 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 13425 0 0 0 5181 130 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=1296 CPUtime=52.89 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 27600 0 0 0 5189 100 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=2420 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 20368 0 0 0 5189 122 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=1732 CPUtime=52.94 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 21339 0 0 0 5163 131 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=5788 CPUtime=24.11 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) R 15845 15848 17093 0 -1 4202560 20850 0 0 0 2409 2 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213810377664 140214298627889 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213809325152 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213808272256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213807220208 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=1228 CPUtime=0.82 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 3498 0 0 0 82 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213806168992 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=12200 CPUtime=1.54 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 10989 0 0 0 152 2 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213805115904 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=1992 CPUtime=0.28 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 1482 0 0 0 28 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213804063392 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=288230574492221466 CPUtime=0.04 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 130 0 0 0 1 3 0 0 20 0 15 0 67232503 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 254.13 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8359780 KiB
[startup+93.5007 s]
/proc/loadavg: 4.16 3.80 3.57 6/213 15954
/proc/meminfo: memFree=14880928/32770624 swapFree=67108860/67108860
[pid=15848] ppid=15845 vsize=10551232 memory=8359780 CPUtime=254.23 cores=1,3,5,7
/proc/15848/stat : 15848 (java) S 15845 15848 17093 0 -1 1077944320 136778 0 0 0 24919 504 0 0 20 0 15 0 67232482 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140731054698256 140214313631479 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 11 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
/proc/15848/statm: 2637808 2089945 3112 1 0 2627261 0
[pid=15848/tid=15850] ppid=15845 vsize=10551232 memory=8359780 CPUtime=15.21 cores=1,3,5,7
/proc/15848/task/15850/stat : 15850 (java) S 15845 15848 17093 0 -1 1077944384 15734 0 0 0 1510 11 0 0 20 0 15 0 67232494 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214317868320 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15851] ppid=15845 vsize=10551232 memory=8359780 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15851/stat : 15851 (java) S 15845 15848 17093 0 -1 1077944384 13425 0 0 0 5181 130 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214244052112 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15852] ppid=15845 vsize=10551232 memory=8359780 CPUtime=52.89 cores=1,3,5,7
/proc/15848/task/15852/stat : 15852 (java) S 15845 15848 17093 0 -1 1077944384 27600 0 0 0 5189 100 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214242999312 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15853] ppid=15845 vsize=10551232 memory=279494729515488 CPUtime=53.11 cores=1,3,5,7
/proc/15848/task/15853/stat : 15853 (java) S 15845 15848 17093 0 -1 1077944384 20368 0 0 0 5189 122 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140214241946512 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15854] ppid=15845 vsize=10551232 memory=8359780 CPUtime=52.94 cores=1,3,5,7
/proc/15848/task/15854/stat : 15854 (java) S 15845 15848 17093 0 -1 1077944384 21339 0 0 0 5163 131 0 0 20 0 15 0 67232495 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213921770256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15855] ppid=15845 vsize=10551232 memory=8359780 CPUtime=24.21 cores=1,3,5,7
/proc/15848/task/15855/stat : 15855 (java) R 15845 15848 17093 0 -1 4202560 20850 0 0 0 2419 2 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213810377664 140214298332094 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15856] ppid=15845 vsize=10551232 memory=8359780 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15856/stat : 15856 (java) S 15845 15848 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67232496 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213809325152 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15857] ppid=15845 vsize=10551232 memory=8359780 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15857/stat : 15857 (java) S 15845 15848 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67232497 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213808272256 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15858] ppid=15845 vsize=10551232 memory=8338320 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15858/stat : 15858 (java) S 15845 15848 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213807220208 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15859] ppid=15845 vsize=10551232 memory=18889266171726 CPUtime=0.82 cores=1,3,5,7
/proc/15848/task/15859/stat : 15859 (java) S 15845 15848 17093 0 -1 1077944384 3498 0 0 0 82 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213806168992 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15860] ppid=15845 vsize=10551232 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/15848/task/15860/stat : 15860 (java) S 15845 15848 17093 0 -1 1077944384 10989 0 0 0 152 2 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213805115904 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15861] ppid=15845 vsize=10551232 memory=139747364209288 CPUtime=0.28 cores=1,3,5,7
/proc/15848/task/15861/stat : 15861 (java) S 15845 15848 17093 0 -1 1077944384 1482 0 0 0 28 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213804063392 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15862] ppid=15845 vsize=10551232 memory=8359780 CPUtime=0 cores=1,3,5,7
/proc/15848/task/15862/stat : 15862 (java) S 15845 15848 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67232499 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213803010784 140214313641685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
[pid=15848/tid=15863] ppid=15845 vsize=10551232 memory=4028 CPUtime=0.04 cores=1,3,5,7
/proc/15848/task/15863/stat : 15863 (java) S 15845 15848 17093 0 -1 1077944384 130 0 0 0 1 3 0 0 20 0 15 0 67232503 10804461568 2089945 18446744073709551615 4194304 4196468 140731054715712 140213801958064 140214313642626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23265280 140731054723477 140731054723630 140731054723630 140731054727119 0
Current children cumulated CPU time: 254.23 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8359780 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 93.5434
CPU time (s): 254.291
CPU user time (s): 249.206
CPU system time (s): 5.08526
CPU usage (%): 271.842
Max. virtual memory (cumulated for all children) (KiB): 10553988
Max. memory (cumulated for all children) (KiB): 8359780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.206
system time used= 5.08526
maximum resident set size= 8360112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8467
involuntary context switches= 3928
# summary of solver processes directly reported to runsolver:
# pid: 15848
# total CPU time (s): 254.291
# total CPU user time (s): 249.206
# total CPU system time (s): 5.08526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.546511 second user time and 0.953392 second system time
The end