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-3459502-1307147280/watcher-3459502-1307147280 -o /tmp/evaluation-result-3459502-1307147280/solver-3459502-1307147280 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459502-1307147280.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.11 1.70 1.89 2/500 19899
/proc/meminfo: memFree=24804364/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 2109 0 1 0 0 0 0 0 25 0 2 0 904958667 13833195520 1810 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3377245 1823 906 9 0 3368401 0
[pid=19899/tid=19900] ppid=19897 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 7033 0 1 0 0 0 0 0 25 0 2 0 904958667 13850947584 7849 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0425851 s]
/proc/loadavg: 1.11 1.70 1.89 2/500 19899
/proc/meminfo: memFree=24804364/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 13688 0 1 0 2 1 0 0 25 0 13 0 904958667 13874667520 13384 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3387370 13384 1659 9 0 3378118 0
[pid=19899/tid=19900] ppid=19897 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 12539 0 1 0 2 1 0 0 25 0 13 0 904958667 13874667520 13384 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905090553 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100575 s]
/proc/loadavg: 1.11 1.70 1.89 2/500 19899
/proc/meminfo: memFree=24804364/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13621704 CPUtime=0.1 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 15560 0 1 0 9 1 0 0 25 0 18 0 904958667 13948624896 15219 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3405426 15220 2093 9 0 3396160 0
[pid=19899/tid=19900] ppid=19897 vsize=13621704 CPUtime=0.08 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 13645 0 1 0 7 1 0 0 25 0 18 0 904958667 13948624896 15220 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905055265 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) 13621704
[startup+0.300543 s]
/proc/loadavg: 1.11 1.70 1.89 2/500 19899
/proc/meminfo: memFree=24804364/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13624708 CPUtime=0.57 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 21066 0 1 0 55 2 0 0 25 0 18 0 904958667 13951700992 19847 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406177 19848 2202 9 0 3396911 0
[pid=19899/tid=19900] ppid=19897 vsize=13624708 CPUtime=0.29 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 16354 0 1 0 27 2 0 0 25 0 18 0 904958667 13951700992 19848 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13624708
[startup+0.700464 s]
/proc/loadavg: 1.11 1.70 1.89 2/500 19899
/proc/meminfo: memFree=24804364/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=1.33 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 24287 0 1 0 130 3 0 0 25 0 19 0 904958667 13953216512 22616 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 22616 2233 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=0.69 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 18867 0 1 0 67 2 0 0 25 0 19 0 904958667 13953216512 22616 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46952516209491 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 13626188
[startup+1.50132 s]
/proc/loadavg: 1.11 1.70 1.89 3/520 19965
/proc/meminfo: memFree=24699436/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=2.21 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 26108 0 1 0 218 3 0 0 25 0 19 0 904958667 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 24433 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=1.47 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 19503 0 1 0 145 2 0 0 25 0 19 0 904958667 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505791110 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) S 19897 19899 14759 0 -1 4202560 251 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 18 0 19 0 904958669 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.01 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 585 0 0 0 1 0 0 0 15 0 19 0 904958670 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.36 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1955 0 0 0 36 0 0 0 20 0 19 0 904958673 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.33 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2326 0 0 0 33 0 0 0 20 0 19 0 904958673 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 24433 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 13626188
[startup+3.10104 s]
/proc/loadavg: 1.11 1.70 1.89 3/520 19965
/proc/meminfo: memFree=24688028/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=3.87 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 27876 0 1 0 384 3 0 0 25 0 19 0 904958667 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 26199 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=3.03 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 19506 0 1 0 301 2 0 0 25 0 19 0 904958667 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505708384 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) S 19897 19899 14759 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) S 19897 19899 14759 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) S 19897 19899 14759 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.04 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 1211 0 0 0 4 0 0 0 16 0 19 0 904958670 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.39 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1958 0 0 0 39 0 0 0 15 0 19 0 904958673 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.37 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2332 0 0 0 37 0 0 0 15 0 19 0 904958673 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 26199 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13626188
Solver just ended. Dumping a history of the last processes samples
[startup+3.90088 s]
/proc/loadavg: 1.19 1.71 1.89 3/520 19965
/proc/meminfo: memFree=24679888/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=4.7 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 28073 0 1 0 467 3 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 26307 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=3.8 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 19507 0 1 0 378 2 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505708335 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) S 19897 19899 14759 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) S 19897 19899 14759 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) S 19897 19899 14759 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) S 19897 19899 14759 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.06 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 1211 0 0 0 6 0 0 0 16 0 19 0 904958670 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.39 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1959 0 0 0 39 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.41 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2452 0 0 0 41 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 13626188
[startup+4.30081 s]
/proc/loadavg: 1.19 1.71 1.89 3/520 19965
/proc/meminfo: memFree=24679268/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=5.11 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 28073 0 1 0 508 3 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 26307 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=4.22 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 19507 0 1 0 420 2 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505708109 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) S 19897 19899 14759 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) S 19897 19899 14759 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) S 19897 19899 14759 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) S 19897 19899 14759 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.06 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 1211 0 0 0 6 0 0 0 16 0 19 0 904958670 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.39 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1959 0 0 0 39 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.41 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2452 0 0 0 41 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 13626188
[startup+4.50077 s]
/proc/loadavg: 1.19 1.71 1.89 3/520 19965
/proc/meminfo: memFree=24679268/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=5.3 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 28073 0 1 0 527 3 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 26307 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=4.4 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) R 19897 19899 14759 0 -1 4202560 19507 0 1 0 438 2 0 0 25 0 19 0 904958667 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 46912505686485 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) S 19897 19899 14759 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) S 19897 19899 14759 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) S 19897 19899 14759 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) S 19897 19899 14759 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.06 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 1211 0 0 0 6 0 0 0 16 0 19 0 904958670 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.39 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1959 0 0 0 39 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.41 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2452 0 0 0 41 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 26307 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 13626188
[startup+4.60179 s]
/proc/loadavg: 1.19 1.71 1.89 3/520 19965
/proc/meminfo: memFree=24679268/32950928 swapFree=61542356/67111528
[pid=19899] ppid=19897 vsize=13626188 CPUtime=5.4 cores=1,3,5,7
/proc/19899/stat : 19899 (java) S 19897 19899 14759 0 -1 4202496 28081 0 1 0 537 3 0 0 25 0 19 0 904958667 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19899/statm: 3406547 26314 2261 9 0 3397281 0
[pid=19899/tid=19900] ppid=19897 vsize=13626188 CPUtime=4.5 cores=1,3,5,7
/proc/19899/task/19900/stat : 19900 (java) S 19897 19899 14759 0 -1 4202560 19508 0 1 0 448 2 0 0 25 0 19 0 904958667 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19902] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19902/stat : 19902 (java) S 19897 19899 14759 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19903] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19903/stat : 19903 (java) R 19897 19899 14759 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19899/tid=19904] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19904/stat : 19904 (java) R 19897 19899 14759 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19899/tid=19905] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19905/stat : 19905 (java) S 19897 19899 14759 0 -1 4202560 519 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19906] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19906/stat : 19906 (java) R 19897 19899 14759 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19899/tid=19907] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19907/stat : 19907 (java) R 19897 19899 14759 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19899/tid=19908] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19908/stat : 19908 (java) R 19897 19899 14759 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19899/tid=19909] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19909/stat : 19909 (java) S 19897 19899 14759 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 904958669 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19910] ppid=19897 vsize=13626188 CPUtime=0.06 cores=1,3,5,7
/proc/19899/task/19910/stat : 19910 (java) S 19897 19899 14759 0 -1 4202560 1211 0 0 0 6 0 0 0 15 0 19 0 904958670 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 0 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19911] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19911/stat : 19911 (java) S 19897 19899 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19912] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19912/stat : 19912 (java) S 19897 19899 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 904958671 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19913] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19913/stat : 19913 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917217713 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
[pid=19899/tid=19914] ppid=19897 vsize=13626188 CPUtime=0.39 cores=1,3,5,7
/proc/19899/task/19914/stat : 19914 (java) S 19897 19899 14759 0 -1 4202560 1959 0 0 0 39 0 0 0 15 0 19 0 904958673 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19915] ppid=19897 vsize=13626188 CPUtime=0.41 cores=1,3,5,7
/proc/19899/task/19915/stat : 19915 (java) S 19897 19899 14759 0 -1 4202560 2452 0 0 0 41 0 0 0 15 0 19 0 904958673 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19916] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19916/stat : 19916 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904958673 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210009 0 4 0 16800975 18446604466413132608 0 0 -1 3 0 0 0
[pid=19899/tid=19917] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19917/stat : 19917 (java) S 19897 19899 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904958673 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 5 0 0 0
[pid=19899/tid=19941] ppid=19897 vsize=13626188 CPUtime=0 cores=1,3,5,7
/proc/19899/task/19941/stat : 19941 (java) S 19897 19899 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 904958703 13953216512 26314 33554432000 1073741824 1073778376 140733768605744 18446744073709551615 260917210624 0 4 0 16800975 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13626188
Child status: 30
Real time (s): 4.66528
CPU time (s): 5.46517
CPU user time (s): 5.42417
CPU system time (s): 0.040993
CPU usage (%): 117.146
Max. virtual memory (cumulated for all children) (KiB): 13626956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.42417
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28174
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= 440
involuntary context switches= 165
runsolver used 0.025996 second user time and 0.06199 second system time
The end