runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458944-1307149063/watcher-3458944-1307149063 -o /tmp/evaluation-result-3458944-1307149063/solver-3458944-1307149063 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458944-1307149063.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.06 1.94 2/514 13140
/proc/meminfo: memFree=23148788/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 1245 0 0 0 0 0 0 0 17 0 2 0 905137031 31268864 963 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 7634 963 736 9 0 385 0
[pid=13140/tid=13141] ppid=13137 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 4611 0 1 0 0 0 0 0 18 0 2 0 905137032 13850947584 5427 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.063112 s]
/proc/loadavg: 2.04 2.06 1.94 2/514 13140
/proc/meminfo: memFree=23148788/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 13995 0 1 0 4 1 0 0 17 0 13 0 905137031 13874806784 13691 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3387404 13691 1685 9 0 3378152 0
[pid=13140/tid=13141] ppid=13137 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 12848 0 1 0 3 1 0 0 17 0 13 0 905137032 13874806784 13692 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 47408724114531 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616
[startup+0.101035 s]
/proc/loadavg: 2.04 2.06 1.94 2/514 13140
/proc/meminfo: memFree=23148788/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13622172 CPUtime=0.09 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 15376 0 1 0 8 1 0 0 17 0 18 0 905137031 13949104128 15072 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3405543 15072 2083 9 0 3396277 0
[pid=13140/tid=13141] ppid=13137 vsize=13622172 CPUtime=0.08 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) D 13137 13140 10738 0 -1 4202560 13522 0 1 0 7 1 0 0 22 0 18 0 905137032 13949104128 15072 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256415434935 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622172
[startup+0.301068 s]
/proc/loadavg: 2.04 2.06 1.94 2/514 13140
/proc/meminfo: memFree=23148788/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13624560 CPUtime=0.4 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 19575 0 1 0 38 2 0 0 17 0 18 0 905137031 13951549440 18996 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406140 18999 2198 9 0 3396874 0
[pid=13140/tid=13141] ppid=13137 vsize=13624560 CPUtime=0.21 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 16542 0 1 0 19 2 0 0 22 0 18 0 905137032 13951549440 19000 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 13624560
[startup+0.700994 s]
/proc/loadavg: 2.04 2.06 1.94 2/514 13140
/proc/meminfo: memFree=23148788/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13624560 CPUtime=0.89 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 44997 0 1 0 84 5 0 0 17 0 18 0 905137031 13951549440 44242 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406140 44246 2204 9 0 3396874 0
[pid=13140/tid=13141] ppid=13137 vsize=13624560 CPUtime=0.57 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 41743 0 1 0 52 5 0 0 23 0 18 0 905137032 13951549440 44248 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505532763 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 13624560
[startup+1.50085 s]
/proc/loadavg: 2.12 2.08 1.95 2/531 13160
/proc/meminfo: memFree=22852176/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13624560 CPUtime=1.71 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 120393 0 1 0 155 16 0 0 17 0 18 0 905137031 13951549440 119600 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406140 119604 2204 9 0 3396874 0
[pid=13140/tid=13141] ppid=13137 vsize=13624560 CPUtime=1.36 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 117097 0 1 0 121 15 0 0 25 0 18 0 905137032 13951549440 119606 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505532902 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 905137034 13951549440 119608 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 905137034 13951549440 119611 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 905137034 13951549440 119613 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 905137034 13951549440 119615 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 905137034 13951549440 119617 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 905137034 13951549440 119619 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 905137034 13951549440 119621 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 905137034 13951549440 119623 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905137035 13951549440 119625 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 905137036 13951549440 119627 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 905137036 13951549440 119629 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 905137038 13951549440 119631 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13624560 CPUtime=0.14 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 997 0 0 0 14 0 0 0 16 0 18 0 905137038 13951549440 119634 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13624560 CPUtime=0.19 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 1154 0 0 0 19 0 0 0 15 0 18 0 905137038 13951549440 119635 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 905137038 13951549440 119638 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13624560 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905137038 13951549440 119640 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 13624560
[startup+3.10153 s]
/proc/loadavg: 2.12 2.08 1.95 2/529 13181
/proc/meminfo: memFree=22617516/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13625920 CPUtime=3.73 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 138153 0 1 0 356 17 0 0 17 0 19 0 905137031 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406480 135960 2223 9 0 3397214 0
[pid=13140/tid=13141] ppid=13137 vsize=13625920 CPUtime=2.96 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 132650 0 1 0 279 17 0 0 19 0 19 0 905137032 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505659989 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905137035 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905137036 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905137036 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.37 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1450 0 0 0 37 0 0 0 15 0 19 0 905137038 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 2892 0 0 0 38 0 0 0 16 0 19 0 905137038 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905137038 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13161] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13161/stat : 13161 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905137215 13952942080 135960 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13625920
[startup+6.30093 s]
/proc/loadavg: 2.11 2.08 1.95 3/552 13209
/proc/meminfo: memFree=22514300/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13625920 CPUtime=7.01 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 138801 0 1 0 683 18 0 0 17 0 19 0 905137031 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406480 136488 2225 9 0 3397214 0
[pid=13140/tid=13141] ppid=13137 vsize=13625920 CPUtime=6.16 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 133241 0 1 0 599 17 0 0 21 0 19 0 905137032 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505752765 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137034 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905137035 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905137036 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905137036 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.37 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1450 0 0 0 37 0 0 0 15 0 19 0 905137038 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.45 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 2948 0 0 0 45 0 0 0 15 0 19 0 905137038 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 136488 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 7323 0 0 0 37 1 0 0 15 0 19 0 905137034 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0.34 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 8102 0 0 0 33 1 0 0 16 0 19 0 905137034 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0.33 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 3176 0 0 0 33 0 0 0 16 0 19 0 905137034 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=18.24 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 38914 0 0 0 1818 6 0 0 15 0 19 0 905137035 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 3 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.41 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1462 0 0 0 41 0 0 0 15 0 19 0 905137038 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.69 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 5500 0 0 0 69 0 0 0 15 0 19 0 905137038 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 905137038 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13161] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13161/stat : 13161 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905137215 13952942080 239956 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.22
Current children cumulated vsize (KiB) 13625920
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/552 13264
/proc/meminfo: memFree=22023688/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13625920 CPUtime=1725.24 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 244984 0 1 0 172486 38 0 0 17 0 19 0 905137031 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406480 239959 2252 9 0 3397214 0
[pid=13140/tid=13141] ppid=13137 vsize=13625920 CPUtime=1702.9 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 141838 0 1 0 170272 18 0 0 25 0 19 0 905137032 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505935213 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13625920 CPUtime=0.35 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 16614 0 0 0 32 3 0 0 15 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13625920 CPUtime=0.3 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 207 0 0 0 30 0 0 0 16 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13625920 CPUtime=0.29 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 680 0 0 0 29 0 0 0 16 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13625920 CPUtime=0.36 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 13163 0 0 0 34 2 0 0 15 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 6748 0 0 0 37 1 0 0 15 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 7323 0 0 0 37 1 0 0 15 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0.35 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 8102 0 0 0 34 1 0 0 16 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0.34 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 3179 0 0 0 34 0 0 0 16 0 19 0 905137034 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=18.38 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 38916 0 0 0 1832 6 0 0 15 0 19 0 905137035 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 3 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.41 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1462 0 0 0 41 0 0 0 15 0 19 0 905137038 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.69 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 5500 0 0 0 69 0 0 0 15 0 19 0 905137038 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 905137038 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13161] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13161/stat : 13161 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905137215 13952942080 239959 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.24
Current children cumulated vsize (KiB) 13625920
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/552 13266
/proc/meminfo: memFree=22022024/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13625920 CPUtime=1785.29 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 244996 0 1 0 178491 38 0 0 17 0 19 0 905137031 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406480 239966 2252 9 0 3397214 0
[pid=13140/tid=13141] ppid=13137 vsize=13625920 CPUtime=1762.74 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 141839 0 1 0 176256 18 0 0 25 0 19 0 905137032 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505924263 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13625920 CPUtime=0.37 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 16616 0 0 0 34 3 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13625920 CPUtime=0.31 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 209 0 0 0 31 0 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13625920 CPUtime=0.3 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 682 0 0 0 30 0 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13625920 CPUtime=0.36 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 13163 0 0 0 34 2 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13625920 CPUtime=0.39 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 6749 0 0 0 38 1 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 7323 0 0 0 37 1 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0.35 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 8102 0 0 0 34 1 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0.34 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 3179 0 0 0 34 0 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=18.52 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 38918 0 0 0 1846 6 0 0 15 0 19 0 905137035 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 3 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.41 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1462 0 0 0 41 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.69 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 5500 0 0 0 69 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13161] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13161/stat : 13161 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905137215 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 13625920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 2.00 2.02 2.00 3/552 13266
/proc/meminfo: memFree=22022504/32950928 swapFree=58671692/67111528
[pid=13140] ppid=13137 vsize=13625920 CPUtime=1800.01 cores=1,3,5,7
/proc/13140/stat : 13140 (java) S 13137 13140 10738 0 -1 4202496 245001 0 1 0 179963 38 0 0 17 0 19 0 905137031 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13140/statm: 3406480 239966 2252 9 0 3397214 0
[pid=13140/tid=13141] ppid=13137 vsize=13625920 CPUtime=1777.32 cores=1,3,5,7
/proc/13140/task/13141/stat : 13141 (java) R 13137 13140 10738 0 -1 4202560 141840 0 1 0 177714 18 0 0 25 0 19 0 905137032 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 46912505924216 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13140/tid=13143] ppid=13137 vsize=13625920 CPUtime=0.37 cores=1,3,5,7
/proc/13140/task/13143/stat : 13143 (java) S 13137 13140 10738 0 -1 4202560 16616 0 0 0 34 3 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13144] ppid=13137 vsize=13625920 CPUtime=0.32 cores=1,3,5,7
/proc/13140/task/13144/stat : 13144 (java) S 13137 13140 10738 0 -1 4202560 209 0 0 0 32 0 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13145] ppid=13137 vsize=13625920 CPUtime=0.31 cores=1,3,5,7
/proc/13140/task/13145/stat : 13145 (java) S 13137 13140 10738 0 -1 4202560 682 0 0 0 31 0 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13146] ppid=13137 vsize=13625920 CPUtime=0.36 cores=1,3,5,7
/proc/13140/task/13146/stat : 13146 (java) S 13137 13140 10738 0 -1 4202560 13163 0 0 0 34 2 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13147] ppid=13137 vsize=13625920 CPUtime=0.39 cores=1,3,5,7
/proc/13140/task/13147/stat : 13147 (java) S 13137 13140 10738 0 -1 4202560 6749 0 0 0 38 1 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13148] ppid=13137 vsize=13625920 CPUtime=0.38 cores=1,3,5,7
/proc/13140/task/13148/stat : 13148 (java) S 13137 13140 10738 0 -1 4202560 7323 0 0 0 37 1 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13149] ppid=13137 vsize=13625920 CPUtime=0.35 cores=1,3,5,7
/proc/13140/task/13149/stat : 13149 (java) S 13137 13140 10738 0 -1 4202560 8102 0 0 0 34 1 0 0 16 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13150] ppid=13137 vsize=13625920 CPUtime=0.34 cores=1,3,5,7
/proc/13140/task/13150/stat : 13150 (java) S 13137 13140 10738 0 -1 4202560 3179 0 0 0 34 0 0 0 15 0 19 0 905137034 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13151] ppid=13137 vsize=13625920 CPUtime=18.66 cores=1,3,5,7
/proc/13140/task/13151/stat : 13151 (java) S 13137 13140 10738 0 -1 4202560 38920 0 0 0 1860 6 0 0 15 0 19 0 905137035 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 0 0 16800975 18446604457612286144 0 0 -1 3 0 0 0
[pid=13140/tid=13153] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13153/stat : 13153 (java) S 13137 13140 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13154] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13154/stat : 13154 (java) S 13137 13140 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905137036 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13155] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13155/stat : 13155 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427215281 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13157] ppid=13137 vsize=13625920 CPUtime=0.41 cores=1,3,5,7
/proc/13140/task/13157/stat : 13157 (java) S 13137 13140 10738 0 -1 4202560 1462 0 0 0 41 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
[pid=13140/tid=13158] ppid=13137 vsize=13625920 CPUtime=0.69 cores=1,3,5,7
/proc/13140/task/13158/stat : 13158 (java) S 13137 13140 10738 0 -1 4202560 5500 0 0 0 69 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13159] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13159/stat : 13159 (java) S 13137 13140 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427207577 0 4 0 16800975 18446604457612286144 0 0 -1 1 0 0 0
[pid=13140/tid=13160] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13160/stat : 13160 (java) S 13137 13140 10738 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 905137038 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 5 0 0 0
[pid=13140/tid=13161] ppid=13137 vsize=13625920 CPUtime=0 cores=1,3,5,7
/proc/13140/task/13161/stat : 13161 (java) S 13137 13140 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905137215 13952942080 239966 33554432000 1073741824 1073778376 140736404359712 18446744073709551615 256427208192 0 4 0 16800975 18446604457612286144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13625920
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): 1797.08
CPU time (s): 1800.1
CPU user time (s): 1799.68
CPU system time (s): 0.421935
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 13625920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245041
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= 40671
involuntary context switches= 7211
runsolver used 8.99463 second user time and 22.0476 second system time
The end