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-3730083-1338679215/watcher-3730083-1338679215 -o /tmp/evaluation-result-3730083-1338679215/solver-3730083-1338679215 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730083-1338679215.opb
running on 4 cores: 0,2,4,6
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: 0.32 0.18 0.40 3/174 16937
/proc/meminfo: memFree=29139732/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16937/stat : 16937 (java) D 16935 16937 7849 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334047255 9515008 182 33554432000 1073741824 1073778376 140736971700048 140736971691080 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/16937/statm: 2323 182 140 9 0 71 0
[startup+0.0807099 s]
/proc/loadavg: 0.32 0.18 0.40 3/174 16937
/proc/meminfo: memFree=29139732/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 3989 0 18 0 3 0 0 0 20 0 13 0 334047255 2686889984 4703 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 655979 4703 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100249 s]
/proc/loadavg: 0.32 0.18 0.40 3/174 16937
/proc/meminfo: memFree=29139732/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2956804 CPUtime=0.06 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 4137 0 18 0 5 1 0 0 20 0 18 0 334047255 3027767296 5362 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739201 5365 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804
[startup+0.300214 s]
/proc/loadavg: 0.32 0.18 0.40 3/174 16937
/proc/meminfo: memFree=29139732/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=0.36 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 5511 0 19 0 35 1 0 0 20 0 18 0 334047255 3028844544 8165 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 8165 2229 9 0 729885 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2957856
[startup+0.700233 s]
/proc/loadavg: 0.32 0.18 0.40 3/174 16937
/proc/meminfo: memFree=29139732/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=1.21 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 8628 0 19 0 117 4 0 0 20 0 18 0 334047255 3028844544 40497 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 40497 2251 9 0 729885 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2957856
[startup+1.50068 s]
/proc/loadavg: 0.61 0.25 0.42 3/190 16955
/proc/meminfo: memFree=28788160/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=2.07 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 8809 0 19 0 198 9 0 0 20 0 18 0 334047255 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 113734 2267 9 0 729885 0
[pid=16937/tid=16939] ppid=16935 vsize=2957856 CPUtime=1.41 cores=0,2,4,6
/proc/16937/task/16939/stat : 16939 (java) R 16935 16937 7849 0 -1 4202560 3283 0 9 0 133 8 0 0 20 0 18 0 334047258 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140390202170936 214373033229 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=16937/tid=16940] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16940/stat : 16940 (java) S 16935 16937 7849 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140390068124584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16941/stat : 16941 (java) S 16935 16937 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140390067072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16942/stat : 16942 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389998652072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/16937/task/16943/stat : 16943 (java) S 16935 16937 7849 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389997599528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16944/stat : 16944 (java) S 16935 16937 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389996546472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389995493928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389994440872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334047259 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389993388328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389981191016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389980137336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389979084168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389978032912 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/16937/task/16952/stat : 16952 (java) S 16935 16937 7849 0 -1 4202560 2168 0 0 0 26 0 0 0 20 0 18 0 334047264 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389976979768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/16937/task/16953/stat : 16953 (java) S 16935 16937 7849 0 -1 4202560 2143 0 0 0 27 0 0 0 20 0 18 0 334047264 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389975927224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389974874360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 113734 33554432000 1073741824 1073778376 140735455640960 140389973822024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 2957856
[startup+3.10071 s]
/proc/loadavg: 0.61 0.25 0.42 3/212 16982
/proc/meminfo: memFree=28282420/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=3.9 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 8902 0 19 0 376 14 0 0 20 0 18 0 334047255 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 126023 2267 9 0 729885 0
[pid=16937/tid=16939] ppid=16935 vsize=2957856 CPUtime=2.92 cores=0,2,4,6
/proc/16937/task/16939/stat : 16939 (java) R 16935 16937 7849 0 -1 4202560 3285 0 9 0 284 8 0 0 20 0 18 0 334047258 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140390202163408 140390075239004 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=16937/tid=16940] ppid=16935 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/16937/task/16940/stat : 16940 (java) S 16935 16937 7849 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140390068124584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/16937/task/16941/stat : 16941 (java) S 16935 16937 7849 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140390067072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/16937/task/16942/stat : 16942 (java) S 16935 16937 7849 0 -1 4202560 25 0 0 0 6 2 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389998652072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/16937/task/16943/stat : 16943 (java) S 16935 16937 7849 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389997599528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/16937/task/16944/stat : 16944 (java) S 16935 16937 7849 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389996546472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 7849 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389995493928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 7849 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389994440872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 7849 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 18 0 334047259 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389993388328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389981191016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389980137336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389979084168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389978032912 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/16937/task/16952/stat : 16952 (java) S 16935 16937 7849 0 -1 4202560 2168 0 0 0 26 0 0 0 20 0 18 0 334047264 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389976979768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/16937/task/16953/stat : 16953 (java) S 16935 16937 7849 0 -1 4202560 2143 0 0 0 27 0 0 0 20 0 18 0 334047264 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389975927224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389974874360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 126023 33554432000 1073741824 1073778376 140735455640960 140389973822024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 2957856
Solver just ended. Dumping a history of the last processes samples
[startup+4.70075 s]
/proc/loadavg: 0.61 0.25 0.42 3/212 16982
/proc/meminfo: memFree=28056276/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=5.82 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 8991 0 19 0 561 21 0 0 20 0 18 0 334047255 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 137289 2267 9 0 729885 0
[pid=16937/tid=16939] ppid=16935 vsize=2957856 CPUtime=4.4 cores=0,2,4,6
/proc/16937/task/16939/stat : 16939 (java) R 16935 16937 7849 0 -1 4202560 3288 0 9 0 432 8 0 0 20 0 18 0 334047258 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140390202163280 140390075169927 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0
[pid=16937/tid=16940] ppid=16935 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/16937/task/16940/stat : 16940 (java) S 16935 16937 7849 0 -1 4202560 25 0 0 0 6 1 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140390068124584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/16937/task/16941/stat : 16941 (java) S 16935 16937 7849 0 -1 4202560 31 0 0 0 8 2 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140390067072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=2957856 CPUtime=0.13 cores=0,2,4,6
/proc/16937/task/16942/stat : 16942 (java) S 16935 16937 7849 0 -1 4202560 35 0 0 0 11 2 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389998652072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=2957856 CPUtime=0.12 cores=0,2,4,6
/proc/16937/task/16943/stat : 16943 (java) S 16935 16937 7849 0 -1 4202560 39 0 0 0 9 3 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389997599528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/16937/task/16944/stat : 16944 (java) S 16935 16937 7849 0 -1 4202560 12 0 0 0 6 0 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389996546472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 7849 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389995493928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=2957856 CPUtime=0.11 cores=0,2,4,6
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 7849 0 -1 4202560 26 0 0 0 10 1 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389994440872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 7849 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 18 0 334047259 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389993388328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389981191016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389980137336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389979084168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389978032912 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/16937/task/16952/stat : 16952 (java) S 16935 16937 7849 0 -1 4202560 2168 0 0 0 26 0 0 0 20 0 18 0 334047264 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389976979768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/16937/task/16953/stat : 16953 (java) S 16935 16937 7849 0 -1 4202560 2143 0 0 0 27 0 0 0 20 0 18 0 334047264 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389975927224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389974874360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 137289 33554432000 1073741824 1073778376 140735455640960 140389973822024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 2957856
[startup+5.5072 s]
/proc/loadavg: 0.61 0.25 0.42 10/212 16982
/proc/meminfo: memFree=27988196/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=2957856 CPUtime=7.12 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 10265 0 19 0 685 27 0 0 20 0 18 0 334047255 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 739464 148544 2275 9 0 729885 0
[pid=16937/tid=16939] ppid=16935 vsize=2957856 CPUtime=5.05 cores=0,2,4,6
/proc/16937/task/16939/stat : 16939 (java) R 16935 16937 7849 0 -1 4202560 3297 0 9 0 497 8 0 0 20 0 18 0 334047258 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140390202163376 140390075122038 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0
[pid=16937/tid=16940] ppid=16935 vsize=2957856 CPUtime=0.13 cores=0,2,4,6
/proc/16937/task/16940/stat : 16940 (java) S 16935 16937 7849 0 -1 4202560 35 0 0 0 11 2 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140390068124584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=2957856 CPUtime=0.15 cores=0,2,4,6
/proc/16937/task/16941/stat : 16941 (java) S 16935 16937 7849 0 -1 4202560 38 0 0 0 13 2 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140390067072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/16937/task/16942/stat : 16942 (java) S 16935 16937 7849 0 -1 4202560 45 0 0 0 16 3 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389998652072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/16937/task/16943/stat : 16943 (java) S 16935 16937 7849 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389997599528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=2957856 CPUtime=0.18 cores=0,2,4,6
/proc/16937/task/16944/stat : 16944 (java) S 16935 16937 7849 0 -1 4202560 28 0 0 0 16 2 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389996546472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=2957856 CPUtime=0.16 cores=0,2,4,6
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 7849 0 -1 4202560 55 0 0 0 13 3 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389995493928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=2957856 CPUtime=0.18 cores=0,2,4,6
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 7849 0 -1 4202560 42 0 0 0 16 2 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389994440872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=2957856 CPUtime=0.11 cores=0,2,4,6
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 7849 0 -1 4202560 28 0 0 0 9 2 0 0 20 0 18 0 334047259 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389993388328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389981191016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389980137336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047261 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389979084168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389978032912 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=2957856 CPUtime=0.3 cores=0,2,4,6
/proc/16937/task/16952/stat : 16952 (java) R 16935 16937 7849 0 -1 4202560 2601 0 0 0 30 0 0 0 20 0 18 0 334047264 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389976966832 214369317551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=2957856 CPUtime=0.31 cores=0,2,4,6
/proc/16937/task/16953/stat : 16953 (java) R 16935 16937 7849 0 -1 4202560 2872 0 0 0 31 0 0 0 20 0 18 0 334047264 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389975927224 140390205081756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389974874360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047264 3028844544 148544 33554432000 1073741824 1073778376 140735455640960 140389973822024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 2957856
[startup+5.90081 s]
/proc/loadavg: 0.61 0.25 0.42 10/212 16982
/proc/meminfo: memFree=27988196/32873844 swapFree=7632/7632
[pid=16937] ppid=16935 vsize=3024420 CPUtime=7.92 cores=0,2,4,6
/proc/16937/stat : 16937 (java) S 16935 16937 7849 0 -1 4202496 15491 0 19 0 764 28 0 0 20 0 19 0 334047255 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140735455632096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16937/statm: 756105 151261 2295 9 0 746526 0
[pid=16937/tid=16939] ppid=16935 vsize=3024420 CPUtime=5.44 cores=0,2,4,6
/proc/16937/task/16939/stat : 16939 (java) S 16935 16937 7849 0 -1 4202560 3306 0 9 0 535 9 0 0 20 0 19 0 334047258 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140390202172120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=16937/tid=16940] ppid=16935 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/16937/task/16940/stat : 16940 (java) S 16935 16937 7849 0 -1 4202560 35 0 0 0 11 2 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140390068124584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/16937/task/16941/stat : 16941 (java) S 16935 16937 7849 0 -1 4202560 38 0 0 0 13 2 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140390067072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/16937/task/16942/stat : 16942 (java) S 16935 16937 7849 0 -1 4202560 45 0 0 0 16 3 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389998652072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/16937/task/16943/stat : 16943 (java) S 16935 16937 7849 0 -1 4202560 50 0 0 0 16 3 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389997599528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16937/task/16944/stat : 16944 (java) S 16935 16937 7849 0 -1 4202560 28 0 0 0 16 2 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389996546472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 7849 0 -1 4202560 55 0 0 0 13 3 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389995493928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 7849 0 -1 4202560 42 0 0 0 16 2 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389994440872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 7849 0 -1 4202560 28 0 0 0 9 2 0 0 20 0 19 0 334047259 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389993388328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047261 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389981191016 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334047261 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389980137336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334047261 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389979084168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047264 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389978032912 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/16937/task/16952/stat : 16952 (java) S 16935 16937 7849 0 -1 4202560 6832 0 0 0 56 0 0 0 20 0 19 0 334047264 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389976979768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/16937/task/16953/stat : 16953 (java) S 16935 16937 7849 0 -1 4202560 3847 0 0 0 45 0 0 0 20 0 19 0 334047264 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389975927224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047264 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389974874360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047264 3097006080 151261 33554432000 1073741824 1073778376 140735455640960 140389973822024 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 5.92867
CPU time (s): 8.01178
CPU user time (s): 7.58985
CPU system time (s): 0.421935
CPU usage (%): 135.136
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.58985
system time used= 0.421935
maximum resident set size= 605680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15495
page faults= 19
swaps= 0
block input operations= 2512
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 686
involuntary context switches= 844
runsolver used 0.001999 second user time and 0.065989 second system time
The end