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-3455861-1307664697/watcher-3455861-1307664697 -o /tmp/evaluation-result-3455861-1307664697/solver-3455861-1307664697 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455861-1307664697.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 14256
/proc/meminfo: memFree=27972116/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/14256/stat : 14256 (java) R 14254 14256 13044 0 -1 4202496 427 0 0 0 0 0 0 0 17 0 1 0 878067443 9318400 173 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212682751623 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/14256/statm: 2275 173 132 9 0 67 0
[startup+0.0211289 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 14256
/proc/meminfo: memFree=27972116/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 7223 0 1 0 0 1 0 0 17 0 2 0 878067443 10694979584 6925 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2611079 6947 917 9 0 2602235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.101079 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 14256
/proc/meminfo: memFree=27972116/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10540416 CPUtime=0.1 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 13043 0 1 0 8 2 0 0 17 0 18 0 878067443 10793385984 12726 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2635104 12726 2093 9 0 2625838 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540416
[startup+0.301076 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 14256
/proc/meminfo: memFree=27972116/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10544192 CPUtime=0.47 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 16305 0 1 0 45 2 0 0 17 0 18 0 878067443 10797252608 15577 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2636048 15578 2220 9 0 2626782 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10544192
[startup+0.700974 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 14256
/proc/meminfo: memFree=27972116/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10555784 CPUtime=1.57 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 28752 0 1 0 153 4 0 0 17 0 19 0 878067443 10809122816 25031 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2638946 25031 2234 9 0 2629680 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10555784
[startup+1.50086 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 14275
/proc/meminfo: memFree=27851400/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10555784 CPUtime=2.8 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 53538 0 1 0 274 6 0 0 17 0 19 0 878067443 10809122816 48050 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2638946 48051 2238 9 0 2629680 0
[pid=14256/tid=14258] ppid=14254 vsize=10555784 CPUtime=1.48 cores=1,3,5,7
/proc/14256/task/14258/stat : 14258 (java) R 14254 14256 13044 0 -1 4202560 41057 0 1 0 143 5 0 0 20 0 19 0 878067443 10809122816 48052 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 46912505820177 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14256/tid=14259] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14259/stat : 14259 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878067445 10809122816 48052 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14260] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14260/stat : 14260 (java) S 14254 14256 13044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48053 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14261] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14261/stat : 14261 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48054 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14262] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14262/stat : 14262 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48054 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14263] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14263/stat : 14263 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48055 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14264] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14264/stat : 14264 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48056 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14265] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14265/stat : 14265 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 48057 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14266] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14266/stat : 14266 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878067445 10809122816 48057 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14267] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14267/stat : 14267 (java) S 14254 14256 13044 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878067446 10809122816 48058 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 0 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14268] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14268/stat : 14268 (java) S 14254 14256 13044 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 878067447 10809122816 48059 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14269] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14269/stat : 14269 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 878067447 10809122816 48060 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14270] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14270/stat : 14270 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 48060 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699498929 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14271] ppid=14254 vsize=10555784 CPUtime=0.66 cores=1,3,5,7
/proc/14256/task/14271/stat : 14271 (java) S 14254 14256 13044 0 -1 4202560 5533 0 0 0 66 0 0 0 25 0 19 0 878067449 10809122816 48061 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14272] ppid=14254 vsize=10555784 CPUtime=0.64 cores=1,3,5,7
/proc/14256/task/14272/stat : 14272 (java) S 14254 14256 13044 0 -1 4202560 5789 0 0 0 64 0 0 0 20 0 19 0 878067449 10809122816 48062 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14273] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14273/stat : 14273 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 48062 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14274] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14274/stat : 14274 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878067449 10809122816 48063 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14275] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14275/stat : 14275 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878067493 10809122816 48064 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10555784
Solver just ended. Dumping a history of the last processes samples
[startup+2.30072 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 14275
/proc/meminfo: memFree=27698988/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10555784 CPUtime=3.6 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 82253 0 1 0 351 9 0 0 17 0 19 0 878067443 10809122816 76764 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2638946 76765 2238 9 0 2629680 0
[pid=14256/tid=14258] ppid=14254 vsize=10555784 CPUtime=2.28 cores=1,3,5,7
/proc/14256/task/14258/stat : 14258 (java) R 14254 14256 13044 0 -1 4202560 69771 0 1 0 220 8 0 0 18 0 19 0 878067443 10809122816 76765 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 46912505888839 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14256/tid=14259] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14259/stat : 14259 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878067445 10809122816 76766 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14260] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14260/stat : 14260 (java) S 14254 14256 13044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76767 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14261] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14261/stat : 14261 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76768 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14262] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14262/stat : 14262 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76768 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14263] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14263/stat : 14263 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76769 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14264] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14264/stat : 14264 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76770 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14265] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14265/stat : 14265 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 76770 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14266] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14266/stat : 14266 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878067445 10809122816 76771 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14267] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14267/stat : 14267 (java) S 14254 14256 13044 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878067446 10809122816 76772 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 0 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14268] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14268/stat : 14268 (java) S 14254 14256 13044 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 878067447 10809122816 76772 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14269] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14269/stat : 14269 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 878067447 10809122816 76773 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14270] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14270/stat : 14270 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 76774 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699498929 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14271] ppid=14254 vsize=10555784 CPUtime=0.66 cores=1,3,5,7
/proc/14256/task/14271/stat : 14271 (java) S 14254 14256 13044 0 -1 4202560 5533 0 0 0 66 0 0 0 25 0 19 0 878067449 10809122816 76774 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14272] ppid=14254 vsize=10555784 CPUtime=0.64 cores=1,3,5,7
/proc/14256/task/14272/stat : 14272 (java) S 14254 14256 13044 0 -1 4202560 5789 0 0 0 64 0 0 0 20 0 19 0 878067449 10809122816 76775 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14273] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14273/stat : 14273 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 76776 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14274] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14274/stat : 14274 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878067449 10809122816 76776 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14275] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14275/stat : 14275 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878067493 10809122816 76777 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 10555784
[startup+2.50069 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 14275
/proc/meminfo: memFree=27698988/32951124 swapFree=67076880/67111528
[pid=14256] ppid=14254 vsize=10555784 CPUtime=3.81 cores=1,3,5,7
/proc/14256/stat : 14256 (java) S 14254 14256 13044 0 -1 4202496 88515 0 1 0 371 10 0 0 17 0 19 0 878067443 10809122816 83026 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14256/statm: 2638946 83027 2238 9 0 2629680 0
[pid=14256/tid=14258] ppid=14254 vsize=10555784 CPUtime=2.48 cores=1,3,5,7
/proc/14256/task/14258/stat : 14258 (java) R 14254 14256 13044 0 -1 4202560 76031 0 1 0 239 9 0 0 18 0 19 0 878067443 10809122816 83027 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 46912505888839 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14256/tid=14259] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14259/stat : 14259 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 878067445 10809122816 83027 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14260] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14260/stat : 14260 (java) S 14254 14256 13044 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83028 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14261] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14261/stat : 14261 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83029 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14262] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14262/stat : 14262 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83029 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14263] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14263/stat : 14263 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83030 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14264] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14264/stat : 14264 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83030 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14265] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14265/stat : 14265 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 878067445 10809122816 83031 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14266] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14266/stat : 14266 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 878067445 10809122816 83032 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
[pid=14256/tid=14267] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14267/stat : 14267 (java) S 14254 14256 13044 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878067446 10809122816 83032 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 0 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14268] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14268/stat : 14268 (java) S 14254 14256 13044 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 878067447 10809122816 83033 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14269] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14269/stat : 14269 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 878067447 10809122816 83033 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14270] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14270/stat : 14270 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 83033 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699498929 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14271] ppid=14254 vsize=10555784 CPUtime=0.66 cores=1,3,5,7
/proc/14256/task/14271/stat : 14271 (java) S 14254 14256 13044 0 -1 4202560 5535 0 0 0 66 0 0 0 18 0 19 0 878067449 10809122816 83034 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 7 0 0 0
[pid=14256/tid=14272] ppid=14254 vsize=10555784 CPUtime=0.64 cores=1,3,5,7
/proc/14256/task/14272/stat : 14272 (java) S 14254 14256 13044 0 -1 4202560 5789 0 0 0 64 0 0 0 18 0 19 0 878067449 10809122816 83035 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14273] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14273/stat : 14273 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878067449 10809122816 83035 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491225 0 4 0 16800975 18446604455764645120 0 0 -1 3 0 0 0
[pid=14256/tid=14274] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14274/stat : 14274 (java) S 14254 14256 13044 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878067449 10809122816 83036 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 1 0 0 0
[pid=14256/tid=14275] ppid=14254 vsize=10555784 CPUtime=0 cores=1,3,5,7
/proc/14256/task/14275/stat : 14275 (java) S 14254 14256 13044 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878067493 10809122816 83037 33554432000 1073741824 1073778376 140736475501888 18446744073709551615 212699491840 0 4 0 16800975 18446604455764645120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 10555784
Child status: 10
Real time (s): 2.53898
CPU time (s): 3.85741
CPU user time (s): 3.73543
CPU system time (s): 0.121981
CPU usage (%): 151.928
Max. virtual memory (cumulated for all children) (KiB): 10555784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.73543
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89090
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= 339
involuntary context switches= 53
runsolver used 0.001999 second user time and 0.016997 second system time
The end