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-3458913-1307148410/watcher-3458913-1307148410 -o /tmp/evaluation-result-3458913-1307148410/solver-3458913-1307148410 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458913-1307148410.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.00 2.03 1.98 3/491 30194
/proc/meminfo: memFree=20246492/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 3503 0 1 0 0 0 0 0 25 0 2 0 826440682 13833195520 3206 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3377245 3218 906 9 0 3368401 0
[pid=30194/tid=30195] ppid=30192 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 4143 0 1 0 0 0 0 0 25 0 2 0 826440683 13850947584 4959 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.054791 s]
/proc/loadavg: 2.00 2.03 1.98 3/491 30194
/proc/meminfo: memFree=20246492/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 13861 0 1 0 3 1 0 0 25 0 13 0 826440682 13874667520 13558 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3387370 13558 1681 9 0 3378118 0
[pid=30194/tid=30195] ppid=30192 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 12716 0 1 0 3 1 0 0 25 0 13 0 826440683 13874667520 13560 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 47041410792275 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100786 s]
/proc/loadavg: 2.00 2.03 1.98 3/491 30194
/proc/meminfo: memFree=20246492/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13621564 CPUtime=0.09 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 15469 0 1 0 8 1 0 0 25 0 18 0 826440682 13948481536 15166 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3405391 15169 2092 9 0 3396125 0
[pid=30194/tid=30195] ppid=30192 vsize=13621564 CPUtime=0.08 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 13557 0 1 0 7 1 0 0 25 0 18 0 826440683 13948481536 15171 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 47041406291973 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621564
[startup+0.30075 s]
/proc/loadavg: 2.00 2.03 1.98 3/491 30194
/proc/meminfo: memFree=20246492/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13622528 CPUtime=0.46 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 18262 0 1 0 44 2 0 0 25 0 18 0 826440682 13949468672 17541 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3405632 17542 2200 9 0 3396366 0
[pid=30194/tid=30195] ppid=30192 vsize=13622528 CPUtime=0.28 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 15332 0 1 0 27 1 0 0 25 0 18 0 826440683 13949468672 17547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622528
[startup+0.700681 s]
/proc/loadavg: 2.00 2.03 1.98 3/491 30194
/proc/meminfo: memFree=20246492/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=1.44 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 37887 0 1 0 140 4 0 0 25 0 19 0 826440682 13957451776 36033 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 36034 2231 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=0.68 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 31197 0 1 0 65 3 0 0 25 0 19 0 826440683 13957451776 36034 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 47041410792275 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 13630324
[startup+1.50054 s]
/proc/loadavg: 2.00 2.03 1.98 3/510 30213
/proc/meminfo: memFree=20104236/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=2.33 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 41872 0 1 0 228 5 0 0 25 0 19 0 826440682 13957451776 40017 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 40017 2236 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=1.48 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 35159 0 1 0 144 4 0 0 25 0 19 0 826440683 13957451776 40017 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505837157 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40017 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40018 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440685 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826440686 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826440687 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440687 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.46 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3296 0 0 0 46 0 0 0 18 0 19 0 826440689 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.36 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2256 0 0 0 36 0 0 0 24 0 19 0 826440689 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 40019 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13630324
[startup+3.10125 s]
/proc/loadavg: 2.00 2.03 1.98 3/510 30213
/proc/meminfo: memFree=20065548/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=4.03 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 54746 0 1 0 396 7 0 0 25 0 19 0 826440682 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 52884 2262 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=3.02 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 35900 0 1 0 298 4 0 0 25 0 19 0 826440683 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505852273 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 1040 0 0 0 0 0 0 0 16 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 1221 0 0 0 0 0 0 0 16 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 2592 0 0 0 0 0 0 0 18 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 1699 0 0 0 0 0 0 0 18 0 19 0 826440685 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=0.03 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 4939 0 0 0 3 0 0 0 16 0 19 0 826440686 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.5 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3306 0 0 0 50 0 0 0 15 0 19 0 826440689 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.41 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2265 0 0 0 41 0 0 0 15 0 19 0 826440689 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 52884 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13630324
[startup+6.30069 s]
/proc/loadavg: 2.00 2.02 1.98 3/510 30214
/proc/meminfo: memFree=20029544/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=7.3 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 60693 0 1 0 722 8 0 0 25 0 19 0 826440682 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 58796 2262 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=6.12 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 35904 0 1 0 608 4 0 0 25 0 19 0 826440683 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505837641 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 1266 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 2136 0 0 0 0 0 0 0 16 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0.01 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 3501 0 0 0 1 0 0 0 16 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 2251 0 0 0 0 0 0 0 16 0 19 0 826440685 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=0.12 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 7509 0 0 0 11 1 0 0 16 0 19 0 826440686 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.55 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3316 0 0 0 55 0 0 0 15 0 19 0 826440689 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.41 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2266 0 0 0 41 0 0 0 15 0 19 0 826440689 13957451776 58796 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0.93 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 6342 0 0 0 92 1 0 0 15 0 19 0 826440685 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0.92 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 11475 0 0 0 90 2 0 0 15 0 19 0 826440685 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0.84 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 6355 0 0 0 83 1 0 0 15 0 19 0 826440685 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=10.55 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 51476 0 0 0 1049 6 0 0 15 0 19 0 826440686 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.58 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3318 0 0 0 58 0 0 0 15 0 19 0 826440689 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.45 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2268 0 0 0 45 0 0 0 15 0 19 0 826440689 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 156534 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.8
Current children cumulated vsize (KiB) 13630324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/510 30319
/proc/meminfo: memFree=18935196/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=1727.87 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 158845 0 1 0 172764 23 0 0 25 0 19 0 826440682 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 156547 2263 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=1708.76 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 44056 0 1 0 170871 5 0 0 25 0 19 0 826440683 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505837580 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0.89 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 4311 0 0 0 89 0 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0.92 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 6665 0 0 0 91 1 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0.9 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 9366 0 0 0 89 1 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0.82 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 6732 0 0 0 82 0 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0.87 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 5228 0 0 0 87 0 0 0 15 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0.94 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 6342 0 0 0 93 1 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0.92 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 11475 0 0 0 90 2 0 0 15 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0.85 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 6355 0 0 0 84 1 0 0 16 0 19 0 826440685 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=10.85 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 51480 0 0 0 1079 6 0 0 15 0 19 0 826440686 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.58 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3318 0 0 0 58 0 0 0 15 0 19 0 826440689 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.45 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2268 0 0 0 45 0 0 0 15 0 19 0 826440689 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 156547 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.87
Current children cumulated vsize (KiB) 13630324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/510 30321
/proc/meminfo: memFree=18934424/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=1787.94 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 158880 0 1 0 178771 23 0 0 25 0 19 0 826440682 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 156572 2263 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=1768.41 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 44060 0 1 0 176836 5 0 0 25 0 19 0 826440683 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505837650 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0.89 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 4311 0 0 0 89 0 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0.95 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 6665 0 0 0 94 1 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0.91 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 9382 0 0 0 90 1 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0.82 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 6732 0 0 0 82 0 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0.89 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 5228 0 0 0 89 0 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0.96 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 6342 0 0 0 95 1 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0.94 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 11475 0 0 0 92 2 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0.88 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 6364 0 0 0 87 1 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=11.14 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 51482 0 0 0 1108 6 0 0 15 0 19 0 826440686 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.58 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3318 0 0 0 58 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.45 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2268 0 0 0 45 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.94
Current children cumulated vsize (KiB) 13630324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/510 30321
/proc/meminfo: memFree=18934544/32950928 swapFree=61858088/67111528
[pid=30194] ppid=30192 vsize=13630324 CPUtime=1800.08 cores=1,3,5,7
/proc/30194/stat : 30194 (java) S 30192 30194 27375 0 -1 4202496 158883 0 1 0 179984 24 0 0 25 0 19 0 826440682 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30194/statm: 3407581 156572 2263 9 0 3398315 0
[pid=30194/tid=30195] ppid=30192 vsize=13630324 CPUtime=1780.46 cores=1,3,5,7
/proc/30194/task/30195/stat : 30195 (java) R 30192 30194 27375 0 -1 4202560 44061 0 1 0 178041 5 0 0 25 0 19 0 826440683 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 46912505911431 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30194/tid=30197] ppid=30192 vsize=13630324 CPUtime=0.89 cores=1,3,5,7
/proc/30194/task/30197/stat : 30197 (java) S 30192 30194 27375 0 -1 4202560 4311 0 0 0 89 0 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30198] ppid=30192 vsize=13630324 CPUtime=0.95 cores=1,3,5,7
/proc/30194/task/30198/stat : 30198 (java) S 30192 30194 27375 0 -1 4202560 6665 0 0 0 94 1 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30199] ppid=30192 vsize=13630324 CPUtime=0.91 cores=1,3,5,7
/proc/30194/task/30199/stat : 30199 (java) S 30192 30194 27375 0 -1 4202560 9382 0 0 0 90 1 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30200] ppid=30192 vsize=13630324 CPUtime=0.82 cores=1,3,5,7
/proc/30194/task/30200/stat : 30200 (java) S 30192 30194 27375 0 -1 4202560 6732 0 0 0 82 0 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30201] ppid=30192 vsize=13630324 CPUtime=0.89 cores=1,3,5,7
/proc/30194/task/30201/stat : 30201 (java) S 30192 30194 27375 0 -1 4202560 5228 0 0 0 89 0 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30202] ppid=30192 vsize=13630324 CPUtime=0.96 cores=1,3,5,7
/proc/30194/task/30202/stat : 30202 (java) S 30192 30194 27375 0 -1 4202560 6342 0 0 0 95 1 0 0 15 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30203] ppid=30192 vsize=13630324 CPUtime=0.95 cores=1,3,5,7
/proc/30194/task/30203/stat : 30203 (java) S 30192 30194 27375 0 -1 4202560 11475 0 0 0 93 2 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30204] ppid=30192 vsize=13630324 CPUtime=0.88 cores=1,3,5,7
/proc/30194/task/30204/stat : 30204 (java) S 30192 30194 27375 0 -1 4202560 6364 0 0 0 87 1 0 0 16 0 19 0 826440685 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30205] ppid=30192 vsize=13630324 CPUtime=11.21 cores=1,3,5,7
/proc/30194/task/30205/stat : 30205 (java) S 30192 30194 27375 0 -1 4202560 51484 0 0 0 1115 6 0 0 15 0 19 0 826440686 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30206] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30206/stat : 30206 (java) S 30192 30194 27375 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30207] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30207/stat : 30207 (java) S 30192 30194 27375 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826440687 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30208] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30208/stat : 30208 (java) S 30192 30194 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=30194/tid=30209] ppid=30192 vsize=13630324 CPUtime=0.58 cores=1,3,5,7
/proc/30194/task/30209/stat : 30209 (java) S 30192 30194 27375 0 -1 4202560 3318 0 0 0 58 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=30194/tid=30210] ppid=30192 vsize=13630324 CPUtime=0.45 cores=1,3,5,7
/proc/30194/task/30210/stat : 30210 (java) S 30192 30194 27375 0 -1 4202560 2268 0 0 0 45 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30211] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30211/stat : 30211 (java) S 30192 30194 27375 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=30194/tid=30212] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30212/stat : 30212 (java) S 30192 30194 27375 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826440689 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=30194/tid=30213] ppid=30192 vsize=13630324 CPUtime=0 cores=1,3,5,7
/proc/30194/task/30213/stat : 30213 (java) S 30192 30194 27375 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826440736 13957451776 156572 33554432000 1073741824 1073778376 140736985382992 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13630324
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): 1794.49
CPU time (s): 1800.2
CPU user time (s): 1799.93
CPU system time (s): 0.271958
CPU usage (%): 100.318
Max. virtual memory (cumulated for all children) (KiB): 13630324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158932
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= 41411
involuntary context switches= 21703
runsolver used 8.10977 second user time and 19.757 second system time
The end