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-3738931-1338756304/watcher-3738931-1338756304 -o /tmp/evaluation-result-3738931-1338756304/solver-3738931-1338756304 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738931-1338756304.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: 3.09 3.32 3.46 4/197 16897
/proc/meminfo: memFree=26007108/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 341754760 24780800 867 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 6050 867 654 9 0 385 0
[pid=16897/tid=16898] ppid=16895 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) R 16895 16897 11909 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 2 0 341754761 91889664 882 33554432000 1073741824 1073778376 140736196676592 140736196665656 254749937556 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.067011 s]
/proc/loadavg: 3.09 3.32 3.46 4/197 16897
/proc/meminfo: memFree=26007108/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 3857 0 1 0 4 1 0 0 20 0 18 0 341754760 2764726272 5576 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 674982 5576 1759 9 0 665676 0
[pid=16897/tid=16898] ppid=16895 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) R 16895 16897 11909 0 -1 4202560 2647 0 1 0 3 1 0 0 20 0 18 0 341754761 2764726272 5576 33554432000 1073741824 1073778376 140736196676592 140285627116192 254753694989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100327 s]
/proc/loadavg: 3.09 3.32 3.46 4/197 16897
/proc/meminfo: memFree=26007108/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4751 0 1 0 9 2 0 0 20 0 18 0 341754760 2764726272 6440 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 674982 6440 2109 9 0 665676 0
[pid=16897/tid=16898] ppid=16895 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) R 16895 16897 11909 0 -1 4202560 2775 0 1 0 6 1 0 0 20 0 18 0 341754761 2764726272 6440 33554432000 1073741824 1073778376 140736196676592 140285627097520 254750352503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300254 s]
/proc/loadavg: 3.09 3.32 3.46 4/197 16897
/proc/meminfo: memFree=26007108/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4937 0 1 0 13 2 0 0 20 0 20 0 341754760 3037372416 7624 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 741546 7624 2157 9 0 732240 0
[pid=16897/tid=16898] ppid=16895 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) S 16895 16897 11909 0 -1 4202560 2782 0 1 0 9 1 0 0 20 0 20 0 341754761 3037372416 7624 33554432000 1073741824 1073778376 140736196676592 140285627114648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+0.700238 s]
/proc/loadavg: 3.09 3.32 3.46 4/197 16897
/proc/meminfo: memFree=26007108/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4937 0 1 0 13 2 0 0 20 0 20 0 341754760 3037372416 7624 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 741546 7624 2157 9 0 732240 0
[pid=16897/tid=16898] ppid=16895 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) S 16895 16897 11909 0 -1 4202560 2782 0 1 0 9 1 0 0 20 0 20 0 341754761 3037372416 7624 33554432000 1073741824 1073778376 140736196676592 140285627114648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+1.50076 s]
/proc/loadavg: 3.00 3.30 3.46 3/217 16919
/proc/meminfo: memFree=25985492/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4943 0 1 0 13 2 0 0 20 0 20 0 341754760 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 741546 8648 2157 9 0 732240 0
[pid=16897/tid=16898] ppid=16895 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) S 16895 16897 11909 0 -1 4202560 2782 0 1 0 9 1 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285627114648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16900] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16900/stat : 16900 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285611396008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16901] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16901/stat : 16901 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285610343464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16902] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16902/stat : 16902 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285609290408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16903] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16903/stat : 16903 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285608237864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16904] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16904/stat : 16904 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285607184808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16905] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16905/stat : 16905 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285606132264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16906] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16906/stat : 16906 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285605079208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16907] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16907/stat : 16907 (java) S 16895 16897 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285604026664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16908] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16908/stat : 16908 (java) S 16895 16897 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285591616360 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16909] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16909/stat : 16909 (java) S 16895 16897 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285590562680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16910] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16910/stat : 16910 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285589509512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16911] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16911/stat : 16911 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285588458256 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16912] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16912/stat : 16912 (java) S 16895 16897 11909 0 -1 4202560 392 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285587405112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16913] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16913/stat : 16913 (java) S 16895 16897 11909 0 -1 4202560 515 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285586352568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16914] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16914/stat : 16914 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285585299704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16915] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16915/stat : 16915 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285584247368 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16918] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16918/stat : 16918 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285581088040 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16919] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16919/stat : 16919 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285580035496 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90067 s]
/proc/loadavg: 3.00 3.30 3.46 3/217 16919
/proc/meminfo: memFree=25985492/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4943 0 1 0 13 2 0 0 20 0 20 0 341754760 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 741546 8648 2157 9 0 732240 0
[pid=16897/tid=16898] ppid=16895 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) S 16895 16897 11909 0 -1 4202560 2782 0 1 0 9 1 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285627114648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16900] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16900/stat : 16900 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285611396008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16901] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16901/stat : 16901 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285610343464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16902] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16902/stat : 16902 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285609290408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16903] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16903/stat : 16903 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285608237864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16904] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16904/stat : 16904 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285607184808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16905] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16905/stat : 16905 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285606132264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16906] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16906/stat : 16906 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285605079208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16907] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16907/stat : 16907 (java) S 16895 16897 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285604026664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16908] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16908/stat : 16908 (java) S 16895 16897 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285591616360 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16909] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16909/stat : 16909 (java) S 16895 16897 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285590562680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16910] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16910/stat : 16910 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285589509512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16911] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16911/stat : 16911 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285588458256 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16912] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16912/stat : 16912 (java) S 16895 16897 11909 0 -1 4202560 392 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285587405112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16913] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16913/stat : 16913 (java) S 16895 16897 11909 0 -1 4202560 515 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285586352568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16914] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16914/stat : 16914 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285585299704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16915] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16915/stat : 16915 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285584247368 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16918] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16918/stat : 16918 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285581088040 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16919] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16919/stat : 16919 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285580035496 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+2.10065 s]
/proc/loadavg: 3.00 3.30 3.46 3/217 16921
/proc/meminfo: memFree=25980760/32873844 swapFree=7628/7628
[pid=16897] ppid=16895 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/16897/stat : 16897 (java) S 16895 16897 11909 0 -1 4202496 4943 0 1 0 13 2 0 0 20 0 20 0 341754760 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140736196667728 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16897/statm: 741546 8648 2157 9 0 732240 0
[pid=16897/tid=16898] ppid=16895 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/16897/task/16898/stat : 16898 (java) S 16895 16897 11909 0 -1 4202560 2782 0 1 0 9 1 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285627114648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16900] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16900/stat : 16900 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285611396008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16901] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16901/stat : 16901 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285610343464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16902] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16902/stat : 16902 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285609290408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16903] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16903/stat : 16903 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285608237864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16904] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16904/stat : 16904 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285607184808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16905] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16905/stat : 16905 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285606132264 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16906] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16906/stat : 16906 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285605079208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16907] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16907/stat : 16907 (java) S 16895 16897 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341754761 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285604026664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16908] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16908/stat : 16908 (java) S 16895 16897 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285591616360 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16909] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16909/stat : 16909 (java) S 16895 16897 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285590562680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16910] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16910/stat : 16910 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754763 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285589509512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16911] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16911/stat : 16911 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285588458256 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16912] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16912/stat : 16912 (java) S 16895 16897 11909 0 -1 4202560 392 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285587405112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16897/tid=16913] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16913/stat : 16913 (java) S 16895 16897 11909 0 -1 4202560 515 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285586352568 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16914] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16914/stat : 16914 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285585299704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16897/tid=16915] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16915/stat : 16915 (java) S 16895 16897 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341754766 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285584247368 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16897/tid=16918] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16918/stat : 16918 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285581088040 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16897/tid=16919] ppid=16895 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16897/task/16919/stat : 16919 (java) S 16895 16897 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341754773 3037372416 8648 33554432000 1073741824 1073778376 140736196676592 140285580035496 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.13136
CPU time (s): 0.165974
CPU user time (s): 0.120981
CPU system time (s): 0.044993
CPU usage (%): 7.78725
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.120981
system time used= 0.044993
maximum resident set size= 36652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4951
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 241
involuntary context switches= 10
runsolver used 0.006998 second user time and 0.022996 second system time
The end