runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687981-1337879079/watcher-3687981-1337879079 -o /tmp/evaluation-result-3687981-1337879079/solver-3687981-1337879079 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687981-1337879079.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.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12926/stat : 12926 (java) R 12924 12926 12001 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 254034022 9515008 185 33554432000 1073741824 1073778376 140735774985616 140735774976840 251031874999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 2323 185 142 9 0 71 0
[startup+0.105629 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 4378 0 1 0 8 1 0 0 20 0 18 0 254034022 9787813888 5572 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2389603 5572 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200208 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 6782 0 1 0 30 2 0 0 20 0 19 0 254034022 9855975424 7606 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 7606 2200 9 0 2396937 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9624976
[startup+0.3003 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7066 0 1 0 46 2 0 0 20 0 19 0 254034022 9855975424 7687 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 7687 2218 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976
[startup+0.700256 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7163 0 1 0 96 3 0 0 20 0 19 0 254034022 9855975424 10838 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 10838 2256 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976
[startup+1.50066 s]
/proc/loadavg: 2.43 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27332916/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7286 0 1 0 182 3 0 0 20 0 19 0 254034022 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 12407 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2456 0 1 0 137 2 0 0 20 0 19 0 254034023 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339253588376 140339080218602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 254034025 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9624976
[startup+3.10077 s]
/proc/loadavg: 2.43 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27328572/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7314 0 1 0 346 4 0 0 20 0 19 0 254034022 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 13964 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2461 0 1 0 290 2 0 0 20 0 19 0 254034023 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339253588216 140339080235387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 254034025 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9624976
[startup+6.30067 s]
/proc/loadavg: 2.39 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27317968/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=6.83 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7346 0 1 0 679 4 0 0 20 0 19 0 254034022 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 15504 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=5.96 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2467 0 1 0 594 2 0 0 20 0 19 0 254034023 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339253588376 140339080264068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 19 0 254034025 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 117 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 117 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 104 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=10.48 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 153 0 0 0 1044 4 0 0 20 0 19 0 254034025 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 95 0 0 0 30 25 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1669.59
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26751816/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1729.7 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10329 0 1 0 172899 71 0 0 20 0 19 0 254034022 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71032 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1708.91 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2655 0 1 0 170861 30 0 0 20 0 19 0 254034023 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080389300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 113 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 103 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 108 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 110 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 109 2 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 119 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 118 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 105 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=10.7 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 157 0 0 0 1066 4 0 0 20 0 19 0 254034025 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 99 0 0 0 31 26 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1729.7
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26749520/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1789.98 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10341 0 1 0 178926 72 0 0 20 0 19 0 254034022 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71544 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1768.45 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2659 0 1 0 176814 31 0 0 20 0 19 0 254034023 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080299954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 120 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 106 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 112 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 114 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 113 2 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 109 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=11.06 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 161 0 0 0 1102 4 0 0 20 0 19 0 254034025 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 103 0 0 0 33 27 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26749520/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10341 0 1 0 179928 72 0 0 20 0 19 0 254034022 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71544 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1778.46 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2659 0 1 0 177814 32 0 0 20 0 19 0 254034023 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080299954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 120 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 106 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 112 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 114 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 113 2 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 109 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=11.06 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 161 0 0 0 1102 4 0 0 20 0 19 0 254034025 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 103 0 0 0 33 27 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976
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): 1792.36
CPU time (s): 1800.29
CPU user time (s): 1799.25
CPU system time (s): 1.04384
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.04384
maximum resident set size= 286340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10384
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42960
involuntary context switches= 22024
runsolver used 5.74113 second user time and 16.2935 second system time
The end