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-3458699-1307155793/watcher-3458699-1307155793 -o /tmp/evaluation-result-3458699-1307155793/solver-3458699-1307155793 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458699-1307155793.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: 1.19 1.73 1.89 2/518 29212
/proc/meminfo: memFree=21558936/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 6341 0 1 0 0 0 0 0 21 0 2 0 807994839 13850947584 6043 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3381579 6056 917 9 0 3372735 0
[pid=29212/tid=29213] ppid=29210 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 5601 0 1 0 0 0 0 0 22 0 2 0 807994840 13850947584 6416 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0451769 s]
/proc/loadavg: 1.19 1.73 1.89 2/518 29212
/proc/meminfo: memFree=21558936/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 13643 0 1 0 2 1 0 0 21 0 13 0 807994839 13874667520 13340 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3387370 13343 1653 9 0 3378118 0
[pid=29212/tid=29213] ppid=29210 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 12500 0 1 0 2 1 0 0 20 0 13 0 807994840 13874667520 13343 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 47300919290819 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.101131 s]
/proc/loadavg: 1.19 1.73 1.89 2/518 29212
/proc/meminfo: memFree=21558936/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13622324 CPUtime=0.1 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 15503 0 1 0 9 1 0 0 21 0 18 0 807994839 13949259776 15180 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3405581 15180 2092 9 0 3396315 0
[pid=29212/tid=29213] ppid=29210 vsize=13622324 CPUtime=0.08 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 13569 0 1 0 7 1 0 0 18 0 18 0 807994840 13949259776 15180 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 47300918460323 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622324
[startup+0.301096 s]
/proc/loadavg: 1.19 1.73 1.89 2/518 29212
/proc/meminfo: memFree=21558936/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13624768 CPUtime=0.49 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 18723 0 1 0 47 2 0 0 21 0 18 0 807994839 13951762432 18093 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3406192 18093 2201 9 0 3396926 0
[pid=29212/tid=29213] ppid=29210 vsize=13624768 CPUtime=0.27 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 15751 0 1 0 26 1 0 0 18 0 18 0 807994840 13951762432 18094 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505536202 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624768
[startup+0.701102 s]
/proc/loadavg: 1.19 1.73 1.89 2/518 29212
/proc/meminfo: memFree=21558936/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13628080 CPUtime=1.15 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 57411 0 1 0 108 7 0 0 21 0 18 0 807994839 13955153920 54889 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407020 54895 2213 9 0 3397754 0
[pid=29212/tid=29213] ppid=29210 vsize=13628080 CPUtime=0.68 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 50879 0 1 0 61 7 0 0 18 0 18 0 807994840 13955153920 54898 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505600645 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13628080
[startup+1.50088 s]
/proc/loadavg: 1.19 1.73 1.89 3/556 29253
/proc/meminfo: memFree=21001508/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629108 CPUtime=2.19 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 87813 0 1 0 208 11 0 0 21 0 19 0 807994839 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407277 85291 2227 9 0 3398011 0
[pid=29212/tid=29213] ppid=29210 vsize=13629108 CPUtime=1.48 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 81227 0 1 0 137 11 0 0 20 0 19 0 807994840 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505122146 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 807994843 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.36 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) R 29210 29212 25640 0 -1 4202560 2175 0 0 0 36 0 0 0 15 0 19 0 807994846 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 47300921126512 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.33 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) R 29210 29212 25640 0 -1 4202560 3255 0 0 0 33 0 0 0 16 0 19 0 807994846 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 47300921115118 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807994846 13956206592 85291 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 13629108
[startup+3.10062 s]
/proc/loadavg: 1.33 1.75 1.90 4/557 29254
/proc/meminfo: memFree=20675380/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629348 CPUtime=3.91 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 88331 0 1 0 379 12 0 0 21 0 19 0 807994839 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407337 85801 2234 9 0 3398071 0
[pid=29212/tid=29213] ppid=29210 vsize=13629348 CPUtime=3.08 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 81674 0 1 0 297 11 0 0 25 0 19 0 807994840 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505663667 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 807994843 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629348 CPUtime=0.43 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2226 0 0 0 43 0 0 0 15 0 19 0 807994846 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629348 CPUtime=0.37 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 3271 0 0 0 37 0 0 0 15 0 19 0 807994846 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807994846 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29254] ppid=29210 vsize=13629348 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29254/stat : 29254 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 807994968 13956452352 85801 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13629348
[startup+6.30104 s]
/proc/loadavg: 1.33 1.75 1.90 3/558 29256
/proc/meminfo: memFree=20624656/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629108 CPUtime=7.3 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 90070 0 1 0 718 12 0 0 21 0 19 0 807994839 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407277 86930 2235 9 0 3398011 0
[pid=29212/tid=29213] ppid=29210 vsize=13629108 CPUtime=6.26 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 82817 0 1 0 615 11 0 0 25 0 19 0 807994840 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505849847 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 807994843 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.55 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2349 0 0 0 55 0 0 0 15 0 19 0 807994846 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.48 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 3744 0 0 0 48 0 0 0 15 0 19 0 807994846 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 86930 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.55 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2350 0 0 0 55 0 0 0 15 0 19 0 807994846 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.61 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 4885 0 0 0 61 0 0 0 15 0 19 0 807994846 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807994846 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29254] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29254/stat : 29254 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 807994968 13956206592 685491 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1663.45
Current children cumulated vsize (KiB) 13629108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/558 29310
/proc/meminfo: memFree=17307164/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629108 CPUtime=1723.44 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 709940 0 1 0 172251 93 0 0 21 0 19 0 807994839 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407277 705604 2238 9 0 3398011 0
[pid=29212/tid=29213] ppid=29210 vsize=13629108 CPUtime=1722.26 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 701443 0 1 0 172134 92 0 0 25 0 19 0 807994840 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505849828 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 807994843 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.55 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2350 0 0 0 55 0 0 0 15 0 19 0 807994846 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.61 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 4885 0 0 0 61 0 0 0 15 0 19 0 807994846 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807994846 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29254] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29254/stat : 29254 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 807994968 13956206592 705604 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.44
Current children cumulated vsize (KiB) 13629108
[startup+1782.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/558 29312
/proc/meminfo: memFree=17181128/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629108 CPUtime=1783.44 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 730360 0 1 0 178249 95 0 0 21 0 19 0 807994839 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407277 726022 2238 9 0 3398011 0
[pid=29212/tid=29213] ppid=29210 vsize=13629108 CPUtime=1782.26 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 721861 0 1 0 178132 94 0 0 25 0 19 0 807994840 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505849654 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 807994843 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.55 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2350 0 0 0 55 0 0 0 15 0 19 0 807994846 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.61 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 4885 0 0 0 61 0 0 0 15 0 19 0 807994846 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807994846 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29254] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29254/stat : 29254 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 807994968 13956206592 726022 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (KiB) 13629108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.9 s]
/proc/loadavg: 2.12 2.04 2.00 3/542 29315
/proc/meminfo: memFree=18624884/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=13629108 CPUtime=1800.07 cores=1,3,5,7
/proc/29212/stat : 29212 (java) S 29210 29212 25640 0 -1 4202496 735857 0 1 0 179911 96 0 0 21 0 19 0 807994839 13956206592 731517 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 3407277 731517 2238 9 0 3398011 0
[pid=29212/tid=29213] ppid=29210 vsize=13629108 CPUtime=1798.88 cores=1,3,5,7
/proc/29212/task/29213/stat : 29213 (java) R 29210 29212 25640 0 -1 4202560 727357 0 1 0 179793 95 0 0 25 0 19 0 807994840 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 46912505767208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29212/tid=29215] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29215/stat : 29215 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29216] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29216/stat : 29216 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29217] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29217/stat : 29217 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29218] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29218/stat : 29218 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29219] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29219/stat : 29219 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29220] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29220/stat : 29220 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29221] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29221/stat : 29221 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29222] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29222/stat : 29222 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994842 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 7 0 0 0
[pid=29212/tid=29223] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29223/stat : 29223 (java) S 29210 29212 25640 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 807994843 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 0 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29224] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29224/stat : 29224 (java) S 29210 29212 25640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 807994844 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29225] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29225/stat : 29225 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 807994844 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29226] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29226/stat : 29226 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807994846 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107274673 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29227] ppid=29210 vsize=13629108 CPUtime=0.55 cores=1,3,5,7
/proc/29212/task/29227/stat : 29227 (java) S 29210 29212 25640 0 -1 4202560 2350 0 0 0 55 0 0 0 15 0 19 0 807994846 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29228] ppid=29210 vsize=13629108 CPUtime=0.61 cores=1,3,5,7
/proc/29212/task/29228/stat : 29228 (java) S 29210 29212 25640 0 -1 4202560 4885 0 0 0 61 0 0 0 15 0 19 0 807994846 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29229] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29229/stat : 29229 (java) S 29210 29212 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807994846 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107266969 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
[pid=29212/tid=29230] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29230/stat : 29230 (java) S 29210 29212 25640 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807994846 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 5 0 0 0
[pid=29212/tid=29254] ppid=29210 vsize=13629108 CPUtime=0 cores=1,3,5,7
/proc/29212/task/29254/stat : 29254 (java) S 29210 29212 25640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 807994968 13956206592 731518 33554432000 1073741824 1073778376 140735909646624 18446744073709551615 228107267584 0 4 0 16800975 18446604469562337216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1799.03 s]
/proc/loadavg: 2.12 2.04 2.00 3/542 29315
/proc/meminfo: memFree=18624884/32951124 swapFree=58800704/67111528
[pid=29212] ppid=29210 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/29212/stat : 29212 (java) Z 29210 29212 25640 0 -1 4203548 735908 0 1 0 179912 106 0 0 17 0 2 0 807994839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29212/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1799.05
CPU time (s): 1800.21
CPU user time (s): 1799.13
CPU system time (s): 1.08083
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 13629748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.08083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735908
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= 36765
involuntary context switches= 36224
runsolver used 9.07762 second user time and 22.0566 second system time
The end