runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744074-1338792668/watcher-3744074-1338792668 -o /tmp/evaluation-result-3744074-1338792668/solver-3744074-1338792668 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744074-1338792668.opb
running on 4 cores: 0,2,4,6
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: 1.92 1.98 1.99 3/193 17104
/proc/meminfo: memFree=24876024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17104/stat : 17104 (java) R 17102 17104 14240 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 345391243 9515008 181 33554432000 1073741824 1073778376 140733915920144 140733915902872 254750352266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17104/statm: 2331 183 140 9 0 79 0
[startup+0.102046 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 17104
/proc/meminfo: memFree=24876024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 4206 0 1 0 6 1 0 0 20 0 18 0 345391243 3028844544 5924 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 5924 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.200243 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 17104
/proc/meminfo: memFree=24876024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 5656 0 1 0 25 2 0 0 20 0 18 0 345391243 3028844544 11178 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 11178 2222 9 0 729885 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2957856
[startup+0.300311 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 17104
/proc/meminfo: memFree=24876024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 6112 0 1 0 41 2 0 0 20 0 18 0 345391243 3028844544 16368 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 16368 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700245 s]
/proc/loadavg: 1.92 1.98 1.99 3/193 17104
/proc/meminfo: memFree=24876024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=0.99 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 6721 0 1 0 94 5 0 0 20 0 18 0 345391243 3028844544 52963 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 52963 2243 9 0 729885 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 2957856
[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 17123
/proc/meminfo: memFree=24525848/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=2.4 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 10965 0 1 0 223 17 0 0 20 0 18 0 345391243 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 129636 2274 9 0 729885 0
[pid=17104/tid=17106] ppid=17102 vsize=2957856 CPUtime=1.38 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 3296 0 1 0 130 8 0 0 20 0 18 0 345391245 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683339341336 139683279436269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 51 0 0 0 4 2 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 345391246 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345391247 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=2957856 CPUtime=0.34 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3070 0 0 0 34 0 0 0 20 0 18 0 345391251 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 3229 0 0 0 32 0 0 0 20 0 18 0 345391251 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 129636 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 2957856
[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 10/212 17123
/proc/meminfo: memFree=24337992/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=4.47 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 14750 0 1 0 417 30 0 0 20 0 18 0 345391243 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 153250 2284 9 0 729885 0
[pid=17104/tid=17106] ppid=17102 vsize=2957856 CPUtime=2.87 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 3297 0 1 0 279 8 0 0 20 0 18 0 345391245 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683339341448 139683279501989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 39 0 0 0 3 2 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 43 0 0 0 5 1 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=2957856 CPUtime=0.16 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 104 0 0 0 11 5 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 63 0 0 0 7 3 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 18 0 345391246 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345391247 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=2957856 CPUtime=0.35 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3070 0 0 0 35 0 0 0 20 0 18 0 345391251 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6804 0 0 0 48 2 0 0 20 0 18 0 345391251 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 153250 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 2957856
[startup+6.30071 s]
/proc/loadavg: 2.41 2.08 2.03 3/212 17123
/proc/meminfo: memFree=24157276/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=2957856 CPUtime=9.17 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 15356 0 1 0 870 47 0 0 20 0 18 0 345391243 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 739464 194103 2284 9 0 729885 0
[pid=17104/tid=17106] ppid=17102 vsize=2957856 CPUtime=5.52 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 3301 0 1 0 542 10 0 0 20 0 18 0 345391245 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683339333792 139683279581405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 73 0 0 0 24 3 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=2957856 CPUtime=0.24 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 189 0 0 0 21 3 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=2957856 CPUtime=0.35 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 102 0 0 0 30 5 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 267 0 0 0 37 7 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=2957856 CPUtime=0.17 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 62 0 0 0 15 2 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=2957856 CPUtime=0.4 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 117 0 0 0 35 5 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 83 0 0 0 29 4 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 95 0 0 0 28 4 0 0 20 0 18 0 345391246 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345391247 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345391248 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=2957856 CPUtime=0.39 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3070 0 0 0 39 0 0 0 20 0 18 0 345391251 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6812 0 0 0 53 2 0 0 20 0 18 0 345391251 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345391251 3028844544 194103 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 2.37 2.08 2.03 3/213 17124
/proc/meminfo: memFree=24017952/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=3024420 CPUtime=17.55 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 16224 0 1 0 1696 59 0 0 20 0 19 0 345391243 3097006080 220389 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 756105 220389 2296 9 0 746526 0
[pid=17104/tid=17106] ppid=17102 vsize=3024420 CPUtime=11.39 cores=0,2,4,6
################
# More data... #
################
[pid=17104/tid=17119] ppid=17102 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3083 0 0 0 67 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6817 0 0 0 86 2 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 93 0 0 0 35 32 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17124] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17124/stat : 17124 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391926 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683175581352 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1731.94
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.58 2.20 2.09 3/213 17216
/proc/meminfo: memFree=23797024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=3024420 CPUtime=1794.21 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 19240 0 1 0 179252 169 0 0 20 0 19 0 345391243 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 756105 419543 2307 9 0 746526 0
[pid=17104/tid=17106] ppid=17102 vsize=3024420 CPUtime=1690.64 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 4090 0 1 0 169026 38 0 0 20 0 19 0 345391245 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683339341040 139683280053556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=3024420 CPUtime=12.01 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 437 0 0 0 1188 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=3024420 CPUtime=11.44 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 439 0 0 0 1131 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=3024420 CPUtime=12.12 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 494 0 0 0 1195 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=3024420 CPUtime=11.78 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 510 0 0 0 1162 16 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=3024420 CPUtime=12.24 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 472 0 0 0 1207 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=3024420 CPUtime=12.38 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 508 0 0 0 1221 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=3024420 CPUtime=12.4 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 499 0 0 0 1222 18 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=3024420 CPUtime=11.76 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 483 0 0 0 1161 15 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=3024420 CPUtime=1.1 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 128 0 0 0 106 4 0 0 20 0 19 0 345391247 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3083 0 0 0 67 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6817 0 0 0 86 2 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 97 0 0 0 37 33 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17124] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17124/stat : 17124 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391926 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683175581352 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.21
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1727.8 s]
/proc/loadavg: 2.53 2.19 2.09 3/213 17216
/proc/meminfo: memFree=23797024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 19243 0 1 0 179834 169 0 0 20 0 19 0 345391243 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 756105 419543 2307 9 0 746526 0
[pid=17104/tid=17106] ppid=17102 vsize=3024420 CPUtime=1696.02 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 4093 0 1 0 169564 38 0 0 20 0 19 0 345391245 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683339341040 139683279922783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=3024420 CPUtime=12.05 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 437 0 0 0 1192 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=3024420 CPUtime=11.5 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 439 0 0 0 1137 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=3024420 CPUtime=12.16 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 494 0 0 0 1199 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=3024420 CPUtime=11.85 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 510 0 0 0 1169 16 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=3024420 CPUtime=12.29 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 472 0 0 0 1212 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=3024420 CPUtime=12.44 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 508 0 0 0 1227 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=3024420 CPUtime=12.45 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 499 0 0 0 1227 18 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=3024420 CPUtime=11.8 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 483 0 0 0 1165 15 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=3024420 CPUtime=1.1 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 128 0 0 0 106 4 0 0 20 0 19 0 345391247 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3083 0 0 0 67 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6817 0 0 0 86 2 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 97 0 0 0 37 33 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17124] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17124/stat : 17124 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391926 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683175581352 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1727.8 s]
/proc/loadavg: 2.53 2.19 2.09 3/213 17216
/proc/meminfo: memFree=23797024/32873844 swapFree=7628/7628
[pid=17104] ppid=17102 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17104 14240 0 -1 4202496 19243 0 1 0 179834 169 0 0 20 0 19 0 345391243 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 140737346099712 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17104/statm: 756105 419543 2307 9 0 746526 0
[pid=17104/tid=17106] ppid=17102 vsize=3024420 CPUtime=1696.02 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) R 17102 17104 14240 0 -1 4202560 4093 0 1 0 169564 38 0 0 20 0 19 0 345391245 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683339341040 139683279922783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17107] ppid=17102 vsize=3024420 CPUtime=12.05 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17104 14240 0 -1 4202560 437 0 0 0 1192 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683204647976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17108] ppid=17102 vsize=3024420 CPUtime=11.5 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17104 14240 0 -1 4202560 439 0 0 0 1137 13 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683203595176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17109] ppid=17102 vsize=3024420 CPUtime=12.16 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17104 14240 0 -1 4202560 494 0 0 0 1199 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683202542376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17110] ppid=17102 vsize=3024420 CPUtime=11.85 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17104 14240 0 -1 4202560 510 0 0 0 1169 16 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683201489576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17111] ppid=17102 vsize=3024420 CPUtime=12.29 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17104 14240 0 -1 4202560 472 0 0 0 1212 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683200436776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17112] ppid=17102 vsize=3024420 CPUtime=12.44 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17104 14240 0 -1 4202560 508 0 0 0 1227 17 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683199383976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17113] ppid=17102 vsize=3024420 CPUtime=12.45 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17104 14240 0 -1 4202560 499 0 0 0 1227 18 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683198331176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17114] ppid=17102 vsize=3024420 CPUtime=11.8 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) S 17102 17104 14240 0 -1 4202560 483 0 0 0 1165 15 0 0 20 0 19 0 345391246 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683197278376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17115] ppid=17102 vsize=3024420 CPUtime=1.1 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) S 17102 17104 14240 0 -1 4202560 128 0 0 0 106 4 0 0 20 0 19 0 345391247 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683185081320 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17116] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17104 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683184027384 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17117] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391248 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683182974472 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17118] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683181922960 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17104/tid=17119] ppid=17102 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17119/stat : 17119 (java) S 17102 17104 14240 0 -1 4202560 3083 0 0 0 67 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683180870072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17120] ppid=17102 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/17104/task/17120/stat : 17120 (java) S 17102 17104 14240 0 -1 4202560 6817 0 0 0 86 2 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683179817272 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17104/tid=17121] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17121/stat : 17121 (java) S 17102 17104 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683178764664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17104/tid=17122] ppid=17102 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/17104/task/17122/stat : 17122 (java) S 17102 17104 14240 0 -1 4202560 97 0 0 0 37 33 0 0 20 0 19 0 345391251 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683177712072 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17104/tid=17124] ppid=17102 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17124/stat : 17124 (java) S 17102 17104 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345391926 3097006080 419543 33554432000 1073741824 1073778376 140737346108576 139683175581352 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17104 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=988272
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=174669
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1727.82
CPU time (s): 1800.03
CPU user time (s): 1798.34
CPU system time (s): 1.69
CPU usage (%): 104.179
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.17467
maximum resident set size= 1678288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60103
involuntary context switches= 134089
runsolver used 6.28104 second user time and 13.8619 second system time
The end