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-3737218-1338720372/watcher-3737218-1338720372 -o /tmp/evaluation-result-3737218-1338720372/solver-3737218-1338720372 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737218-1338720372.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.68 3.79 3.80 4/197 2956
/proc/meminfo: memFree=29532784/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/2956/stat : 2956 (java) R 2954 2956 1279 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 338164159 23793664 712 33554432000 1073741824 1073778376 140735243934752 140735243923816 233402578280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 5809 712 527 9 0 128 0
[startup+0.016408 s]
/proc/loadavg: 3.68 3.79 3.80 4/197 2956
/proc/meminfo: memFree=29532784/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 2366 0 1 0 0 0 0 0 20 0 2 0 338164159 10762297344 4091 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2627514 4091 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056
[startup+0.100212 s]
/proc/loadavg: 3.68 3.79 3.80 4/197 2956
/proc/meminfo: memFree=29532784/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 4649 0 1 0 8 2 0 0 20 0 18 0 338164159 11864465408 13510 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2896598 13510 2078 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300291 s]
/proc/loadavg: 3.68 3.79 3.80 4/197 2956
/proc/meminfo: memFree=29532784/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 5659 0 1 0 41 2 0 0 20 0 19 0 338164159 12137111552 16745 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 16745 2229 9 0 2953849 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11852648
[startup+0.700262 s]
/proc/loadavg: 3.68 3.79 3.80 4/197 2956
/proc/meminfo: memFree=29532784/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 5659 0 1 0 41 2 0 0 20 0 19 0 338164159 12137111552 16745 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 16745 2229 9 0 2953849 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11852648
[startup+1.5008 s]
/proc/loadavg: 3.68 3.79 3.80 3/216 2981
/proc/meminfo: memFree=29468192/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 9457 0 1 0 64 5 0 0 20 0 19 0 338164159 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 21937 2244 9 0 2953849 0
[pid=2956/tid=2958] ppid=2954 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2954 2956 1279 0 -1 4202560 2873 0 1 0 24 2 0 0 20 0 19 0 338164159 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140121262318744 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2959] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140121230727720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2960] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140121229674920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2961] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140121096554792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2962] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140121095501992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2963] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120892107816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2964] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120891055016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2965] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120890002216 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2966] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2954 2956 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120888949416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2967] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2954 2956 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338164162 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120876751336 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2968] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2954 2956 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120875697400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2969] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120874644488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2970] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120873592976 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2971] ppid=2954 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2954 2956 1279 0 -1 4202560 2607 0 0 0 18 0 0 0 20 0 19 0 338164166 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120872541112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2972] ppid=2954 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) S 2954 2956 1279 0 -1 4202560 2662 0 0 0 14 0 0 0 20 0 19 0 338164166 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120871488312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2973] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2973/stat : 2973 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120870435704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2974] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2974/stat : 2974 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120869383112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2977] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2977/stat : 2977 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164187 12137111552 21937 33554432000 1073741824 1073778376 140735243934752 140120866223016 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90081 s]
/proc/loadavg: 3.68 3.79 3.80 3/216 2981
/proc/meminfo: memFree=29468192/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 11227 0 1 0 95 7 0 0 20 0 19 0 338164159 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 24899 2245 9 0 2953849 0
[pid=2956/tid=2958] ppid=2954 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2954 2956 1279 0 -1 4202560 2873 0 1 0 24 2 0 0 20 0 19 0 338164159 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140121262318744 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2959] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140121230727720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2960] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140121229674920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2961] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140121096554792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2962] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140121095501992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2963] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120892107816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2964] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120891055016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2965] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120890002216 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2966] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2954 2956 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120888949416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2967] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2954 2956 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338164162 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120876751336 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2968] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2954 2956 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120875697400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2969] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120874644488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2970] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120873592976 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2971] ppid=2954 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) R 2954 2956 1279 0 -1 4202560 4345 0 0 0 30 0 0 0 20 0 19 0 338164166 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120872541112 233415165073 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2972] ppid=2954 vsize=11852648 CPUtime=0.23 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) S 2954 2956 1279 0 -1 4202560 2673 0 0 0 23 0 0 0 20 0 19 0 338164166 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120871488312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2973] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2973/stat : 2973 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120870435704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2974] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2974/stat : 2974 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120869383112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2977] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2977/stat : 2977 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164187 12137111552 24899 33554432000 1073741824 1073778376 140735243934752 140120866223016 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 11852648
[startup+2.1008 s]
/proc/loadavg: 3.68 3.79 3.80 3/216 2987
/proc/meminfo: memFree=29438652/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 12815 0 1 0 108 7 0 0 20 0 19 0 338164159 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 25669 2245 9 0 2953849 0
[pid=2956/tid=2958] ppid=2954 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2954 2956 1279 0 -1 4202560 2873 0 1 0 24 2 0 0 20 0 19 0 338164159 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121262318744 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2959] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121230727720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2960] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121229674920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2961] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121096554792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2962] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121095501992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2963] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120892107816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2964] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120891055016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2965] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120890002216 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2966] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2954 2956 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120888949416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2967] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2954 2956 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338164162 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120876751336 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2968] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2954 2956 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120875697400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2969] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120874644488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2970] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120873592976 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2971] ppid=2954 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2954 2956 1279 0 -1 4202560 5933 0 0 0 43 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120872541112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2972] ppid=2954 vsize=11852648 CPUtime=0.23 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) S 2954 2956 1279 0 -1 4202560 2673 0 0 0 23 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120871488312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2973] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2973/stat : 2973 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120870435704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2974] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2974/stat : 2974 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120869383112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2977] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2977/stat : 2977 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164187 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120866223016 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 11852648
[startup+2.20723 s]
/proc/loadavg: 3.68 3.79 3.80 3/216 2987
/proc/meminfo: memFree=29438652/32873844 swapFree=7116/7116
[pid=2956] ppid=2954 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/2956/stat : 2956 (java) S 2954 2956 1279 0 -1 4202496 12815 0 1 0 108 7 0 0 20 0 19 0 338164159 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140735243925888 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2956/statm: 2963162 25669 2245 9 0 2953849 0
[pid=2956/tid=2958] ppid=2954 vsize=11852648 CPUtime=0.26 cores=1,3,5,7
/proc/2956/task/2958/stat : 2958 (java) S 2954 2956 1279 0 -1 4202560 2873 0 1 0 24 2 0 0 20 0 19 0 338164159 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121262318744 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2959] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2959/stat : 2959 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121230727720 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2960] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2960/stat : 2960 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121229674920 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2961] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2961/stat : 2961 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121096554792 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2962] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2962/stat : 2962 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140121095501992 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2963] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2963/stat : 2963 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120892107816 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2964] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2964/stat : 2964 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120891055016 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2956/tid=2965] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2965/stat : 2965 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120890002216 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2966] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2966/stat : 2966 (java) S 2954 2956 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338164161 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120888949416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2967] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2967/stat : 2967 (java) S 2954 2956 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338164162 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120876751336 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2968] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2968/stat : 2968 (java) S 2954 2956 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120875697400 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2969] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2969/stat : 2969 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164163 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120874644488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2970] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2970/stat : 2970 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120873592976 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2971] ppid=2954 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/2956/task/2971/stat : 2971 (java) S 2954 2956 1279 0 -1 4202560 5933 0 0 0 43 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120872541112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2956/tid=2972] ppid=2954 vsize=11852648 CPUtime=0.23 cores=1,3,5,7
/proc/2956/task/2972/stat : 2972 (java) S 2954 2956 1279 0 -1 4202560 2673 0 0 0 23 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120871488312 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2973] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2973/stat : 2973 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120870435704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2956/tid=2974] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2974/stat : 2974 (java) S 2954 2956 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338164166 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120869383112 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2956/tid=2977] ppid=2954 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2956/task/2977/stat : 2977 (java) S 2954 2956 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338164187 12137111552 25669 33554432000 1073741824 1073778376 140735243934752 140120866223016 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.29591
CPU time (s): 1.17382
CPU user time (s): 1.08083
CPU system time (s): 0.092985
CPU usage (%): 51.1266
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.08083
system time used= 0.092985
maximum resident set size= 104732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12822
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= 315
involuntary context switches= 43
runsolver used 0.011998 second user time and 0.014997 second system time
The end