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-3454012-1307194943/watcher-3454012-1307194943 -o /tmp/evaluation-result-3454012-1307194943/solver-3454012-1307194943 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454012-1307194943.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.36 3.75 3.64 3/523 22879
/proc/meminfo: memFree=24861104/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 2558 0 1 0 0 0 0 0 17 0 2 0 909724955 10681323520 2259 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2607745 2274 906 9 0 2598901 0
[pid=22878/tid=22883] ppid=22876 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) R 22876 22878 18760 0 -1 4202560 3306 0 1 0 0 0 0 0 17 0 2 0 909724956 10694979584 4122 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0260661 s]
/proc/loadavg: 3.36 3.75 3.64 3/523 22879
/proc/meminfo: memFree=24861104/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 7879 0 1 0 0 1 0 0 17 0 2 0 909724955 10694979584 7580 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2611079 7598 917 9 0 2602235 0
[pid=22878/tid=22883] ppid=22876 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) R 22876 22878 18760 0 -1 4202560 6796 0 1 0 0 0 0 0 17 0 2 0 909724956 10694979584 7612 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.105101 s]
/proc/loadavg: 3.36 3.75 3.64 3/523 22879
/proc/meminfo: memFree=24861104/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10539956 CPUtime=0.1 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 12976 0 1 0 9 1 0 0 17 0 18 0 909724955 10792914944 12672 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2634989 12672 2092 9 0 2625723 0
[pid=22878/tid=22883] ppid=22876 vsize=10539956 CPUtime=0.08 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) R 22876 22878 18760 0 -1 4202560 11068 0 1 0 7 1 0 0 18 0 18 0 909724956 10792914944 12672 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 46912496193992 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539956
[startup+0.301028 s]
/proc/loadavg: 3.36 3.75 3.64 3/523 22879
/proc/meminfo: memFree=24861104/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10543360 CPUtime=0.27 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 14430 0 1 0 25 2 0 0 17 0 20 0 909724955 10796400640 14104 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2635840 14104 2184 9 0 2626574 0
[pid=22878/tid=22883] ppid=22876 vsize=10543360 CPUtime=0.18 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) S 22876 22878 18760 0 -1 4202560 11920 0 1 0 17 1 0 0 19 0 20 0 909724956 10796400640 14104 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10543360
[startup+0.70095 s]
/proc/loadavg: 3.36 3.75 3.64 3/523 22879
/proc/meminfo: memFree=24861104/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10543360 CPUtime=0.27 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 14430 0 1 0 25 2 0 0 17 0 20 0 909724955 10796400640 14104 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2635840 14104 2184 9 0 2626574 0
[pid=22878/tid=22883] ppid=22876 vsize=10543360 CPUtime=0.18 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) S 22876 22878 18760 0 -1 4202560 11920 0 1 0 17 1 0 0 19 0 20 0 909724956 10796400640 14104 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10543360
[startup+1.50082 s]
/proc/loadavg: 3.36 3.75 3.64 3/564 22928
/proc/meminfo: memFree=24694108/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10544540 CPUtime=0.3 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 14592 0 1 0 28 2 0 0 17 0 20 0 909724955 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2636135 14266 2186 9 0 2626869 0
[pid=22878/tid=22883] ppid=22876 vsize=10544540 CPUtime=0.18 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) S 22876 22878 18760 0 -1 4202560 11936 0 1 0 17 1 0 0 16 0 20 0 909724956 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22892] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22892/stat : 22892 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22894] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22894/stat : 22894 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22896] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22896/stat : 22896 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22898] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22898/stat : 22898 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22899] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22899/stat : 22899 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22900] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22900/stat : 22900 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22901] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22901/stat : 22901 (java) S 22876 22878 18760 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22902] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22902/stat : 22902 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 909724958 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22904] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22904/stat : 22904 (java) S 22876 22878 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 909724959 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 0 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22906] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22906/stat : 22906 (java) S 22876 22878 18760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 909724960 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22908] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22908/stat : 22908 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 909724960 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22910] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22910/stat : 22910 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909724962 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216747002289 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22912] ppid=22876 vsize=10544540 CPUtime=0.02 cores=1,3,5,7
/proc/22878/task/22912/stat : 22912 (java) S 22876 22878 18760 0 -1 4202560 507 0 0 0 2 0 0 0 17 0 20 0 909724962 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22914] ppid=22876 vsize=10544540 CPUtime=0.05 cores=1,3,5,7
/proc/22878/task/22914/stat : 22914 (java) S 22876 22878 18760 0 -1 4202560 785 0 0 0 5 0 0 0 15 0 20 0 909724962 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22916] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22916/stat : 22916 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 909724962 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22918] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22918/stat : 22918 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909724962 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22921] ppid=22876 vsize=10544540 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22921/stat : 22921 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 909724977 10797608960 14266 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10544540
[startup+3.1015 s]
/proc/loadavg: 3.36 3.75 3.64 1/564 22939
/proc/meminfo: memFree=24678380/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10557380 CPUtime=1.95 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 40581 0 1 0 190 5 0 0 17 0 22 0 909724955 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2639345 35967 2223 9 0 2630079 0
[pid=22878/tid=22883] ppid=22876 vsize=10557380 CPUtime=0.18 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) S 22876 22878 18760 0 -1 4202560 11947 0 1 0 17 1 0 0 16 0 22 0 909724956 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22892] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22892/stat : 22892 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22894] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22894/stat : 22894 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22896] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22896/stat : 22896 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22898] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22898/stat : 22898 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22899] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22899/stat : 22899 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22900] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22900/stat : 22900 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22901] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22901/stat : 22901 (java) S 22876 22878 18760 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22902] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22902/stat : 22902 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909724958 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22904] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22904/stat : 22904 (java) R 22876 22878 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909724959 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22878/tid=22906] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22906/stat : 22906 (java) S 22876 22878 18760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909724960 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22908] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22908/stat : 22908 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909724960 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22910] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22910/stat : 22910 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909724962 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216747002289 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22912] ppid=22876 vsize=10557380 CPUtime=0.39 cores=1,3,5,7
/proc/22878/task/22912/stat : 22912 (java) R 22876 22878 18760 0 -1 4202560 4637 0 0 0 39 0 0 0 16 0 22 0 909724962 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 47086467631866 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22878/tid=22914] ppid=22876 vsize=10557380 CPUtime=0.57 cores=1,3,5,7
/proc/22878/task/22914/stat : 22914 (java) R 22876 22878 18760 0 -1 4202560 6981 0 0 0 57 0 0 0 16 0 22 0 909724962 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 47086464395353 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22878/tid=22916] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22916/stat : 22916 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909724962 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22918] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22918/stat : 22918 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909724962 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22921] ppid=22876 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22921/stat : 22921 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909724977 10810757120 35967 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10557380
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.22151 s]
/proc/loadavg: 3.36 3.75 3.64 3/564 22951
/proc/meminfo: memFree=24581288/32951124 swapFree=56241860/67111528
[pid=22878] ppid=22876 vsize=10553864 CPUtime=2.02 cores=1,3,5,7
/proc/22878/stat : 22878 (java) S 22876 22878 18760 0 -1 4202496 40756 0 1 0 197 5 0 0 17 0 19 0 909724955 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22878/statm: 2638466 35281 2224 9 0 2629200 0
[pid=22878/tid=22883] ppid=22876 vsize=10553864 CPUtime=0.18 cores=1,3,5,7
/proc/22878/task/22883/stat : 22883 (java) R 22876 22878 18760 0 -1 4202560 11947 0 1 0 17 1 0 0 15 0 19 0 909724956 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22878/tid=22892] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22892/stat : 22892 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22894] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22894/stat : 22894 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22896] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22896/stat : 22896 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22898] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22898/stat : 22898 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22899] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22899/stat : 22899 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22900] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22900/stat : 22900 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22901] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22901/stat : 22901 (java) S 22876 22878 18760 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 7 0 0 0
[pid=22878/tid=22902] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22902/stat : 22902 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909724958 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22904] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22904/stat : 22904 (java) S 22876 22878 18760 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 909724959 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 0 0 16800975 18446604456998223936 0 0 -1 3 0 0 0
[pid=22878/tid=22906] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22906/stat : 22906 (java) S 22876 22878 18760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 909724960 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22908] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22908/stat : 22908 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909724960 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22910] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22910/stat : 22910 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909724962 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216747002289 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22912] ppid=22876 vsize=10553864 CPUtime=0.42 cores=1,3,5,7
/proc/22878/task/22912/stat : 22912 (java) R 22876 22878 18760 0 -1 4202560 4649 0 0 0 42 0 0 0 15 0 19 0 909724962 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 47086469525320 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22878/tid=22914] ppid=22876 vsize=10553864 CPUtime=0.6 cores=1,3,5,7
/proc/22878/task/22914/stat : 22914 (java) S 22876 22878 18760 0 -1 4202560 6986 0 0 0 60 0 0 0 16 0 19 0 909724962 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22916] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22916/stat : 22916 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909724962 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746994585 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
[pid=22878/tid=22918] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22918/stat : 22918 (java) S 22876 22878 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909724962 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 1 0 0 0
[pid=22878/tid=22921] ppid=22876 vsize=10553864 CPUtime=0 cores=1,3,5,7
/proc/22878/task/22921/stat : 22921 (java) S 22876 22878 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909724977 10807156736 35281 33554432000 1073741824 1073778376 140736252490816 18446744073709551615 216746995200 0 4 0 16800975 18446604456998223936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10553864
Child status: 30
Real time (s): 3.27293
CPU time (s): 2.06069
CPU user time (s): 1.9997
CPU system time (s): 0.06099
CPU usage (%): 62.9615
Max. virtual memory (cumulated for all children) (KiB): 10557380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9997
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40767
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= 531
involuntary context switches= 102
runsolver used 0.025996 second user time and 0.073988 second system time
The end