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-3737908-1338765093/watcher-3737908-1338765093 -o /tmp/evaluation-result-3737908-1338765093/solver-3737908-1338765093 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3737908-1338765093.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.99 1.98 1.99 3/194 15270
/proc/meminfo: memFree=28879176/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15270/stat : 15270 (java6) D 15268 15270 13299 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 342634769 9515008 182 33554432000 1073741824 1073778376 140733546926784 140733546917816 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15270/statm: 2323 182 140 9 0 71 0
[startup+0.0917691 s]
/proc/loadavg: 1.99 1.98 1.99 3/194 15270
/proc/meminfo: memFree=28879176/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 4661 0 1 0 7 1 0 0 20 0 18 0 342634769 2712133632 5865 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 5865 2092 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.100255 s]
/proc/loadavg: 1.99 1.98 1.99 3/194 15270
/proc/meminfo: memFree=28879176/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 4750 0 1 0 8 1 0 0 20 0 18 0 342634769 2712133632 5954 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 5954 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300228 s]
/proc/loadavg: 1.99 1.98 1.99 3/194 15270
/proc/meminfo: memFree=28879176/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=0.42 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 5653 0 1 0 41 1 0 0 20 0 18 0 342634769 2712133632 8147 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 8147 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568
[startup+0.700232 s]
/proc/loadavg: 1.99 1.98 1.99 3/194 15270
/proc/meminfo: memFree=28879176/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=0.97 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 6767 0 1 0 96 1 0 0 20 0 18 0 342634769 2712133632 10855 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 10855 2229 9 0 652835 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 2648568
[startup+1.50065 s]
/proc/loadavg: 1.99 1.98 1.99 3/212 15288
/proc/meminfo: memFree=28840832/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=1.88 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 6861 0 1 0 186 2 0 0 20 0 18 0 342634769 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 13433 2237 9 0 652835 0
[pid=15270/tid=15272] ppid=15268 vsize=2648568 CPUtime=1.46 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) R 15268 15270 13299 0 -1 4202560 2820 0 1 0 145 1 0 0 20 0 18 0 342634770 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601991608624 140601931720303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601838721256 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 1668 0 0 0 21 0 0 0 20 0 18 0 342634775 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 1187 0 0 0 17 0 0 0 20 0 18 0 342634775 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 13433 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 2648568
[startup+3.10062 s]
/proc/loadavg: 1.99 1.98 1.99 3/212 15288
/proc/meminfo: memFree=28825372/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=3.73 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 8231 0 1 0 370 3 0 0 20 0 18 0 342634769 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 18673 2238 9 0 652835 0
[pid=15270/tid=15272] ppid=15268 vsize=2648568 CPUtime=3.06 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) R 15268 15270 13299 0 -1 4202560 2832 0 1 0 305 1 0 0 20 0 18 0 342634770 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601991602192 140601931720283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601838721256 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 1681 0 0 0 31 0 0 0 20 0 18 0 342634775 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 2532 0 0 0 31 0 0 0 20 0 18 0 342634775 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 18673 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 2648568
[startup+6.30061 s]
/proc/loadavg: 1.99 1.98 1.99 3/212 15288
/proc/meminfo: memFree=28788160/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2648568 CPUtime=6.92 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 8250 0 1 0 689 3 0 0 20 0 18 0 342634769 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 662142 27378 2239 9 0 652835 0
[pid=15270/tid=15272] ppid=15268 vsize=2648568 CPUtime=6.26 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) R 15268 15270 13299 0 -1 4202560 2850 0 1 0 624 2 0 0 20 0 18 0 342634770 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601991602192 140601931720043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634771 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) S 15268 15270 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601838721256 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342634772 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 1681 0 0 0 31 0 0 0 20 0 18 0 342634775 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2648568 CPUtime=0.32 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 2532 0 0 0 32 0 0 0 20 0 18 0 342634775 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 342634775 2712133632 27378 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 2648568
[startup+12.7006 s]
/proc/loadavg: 1.99 1.98 1.99 5/213 15289
/proc/meminfo: memFree=28706364/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2715132 CPUtime=13.74 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 9643 0 1 0 1368 6 0 0 20 0 19 0 342634769 2780295168 69408 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 678783 69408 2255 9 0 669476 0
[pid=15270/tid=15272] ppid=15268 vsize=2715132 CPUtime=12.66 cores=1,3,5,7
################
# More data... #
################
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 229 0 0 0 102 8 0 0 20 0 19 0 342634771 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2715132 CPUtime=1.12 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 308 0 0 0 101 11 0 0 20 0 19 0 342634771 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 269 0 0 0 88 11 0 0 20 0 19 0 342634771 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2715132 CPUtime=1.13 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 254 0 0 0 103 10 0 0 20 0 19 0 342634771 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 202 0 0 0 92 8 0 0 20 0 19 0 342634771 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2715132 CPUtime=332.94 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) R 15268 15270 13299 0 -1 4202560 115 0 0 0 33283 11 0 0 20 0 19 0 342634772 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601838721416 140601998118720 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342634772 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342634772 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342634775 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 2312 0 0 0 73 0 0 0 20 0 19 0 342634775 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2715132 CPUtime=0.89 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 9565 0 0 0 87 2 0 0 20 0 19 0 342634775 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342634775 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 80 0 0 0 26 32 0 0 20 0 19 0 342634775 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15289] ppid=15268 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15289/stat : 15289 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342635955 2780295168 343106 33554432000 1073741824 1073778376 140737038340000 140601830298536 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1430.02
Current children cumulated vsize (KiB) 2715132
[startup+1482.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/213 15300
/proc/meminfo: memFree=27061724/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2781696 CPUtime=1490.01 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 20155 0 1 0 148880 121 0 0 20 0 20 0 342634769 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 695424 343128 2284 9 0 686117 0
[pid=15270/tid=15272] ppid=15268 vsize=2781696 CPUtime=1086.74 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) S 15268 15270 13299 0 -1 4202560 4951 0 1 0 108647 27 0 0 20 0 20 0 342634770 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601991611576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 231 0 0 0 92 7 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2781696 CPUtime=0.93 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 203 0 0 0 85 8 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2781696 CPUtime=1.04 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 224 0 0 0 95 9 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 229 0 0 0 102 8 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 308 0 0 0 101 11 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 269 0 0 0 88 11 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2781696 CPUtime=1.13 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 254 0 0 0 103 10 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2781696 CPUtime=1 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 202 0 0 0 92 8 0 0 20 0 20 0 342634771 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2781696 CPUtime=392.9 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) R 15268 15270 13299 0 -1 4202560 130 0 0 0 39279 11 0 0 20 0 20 0 342634772 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601838721256 140601993806384 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2781696 CPUtime=0.73 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 2312 0 0 0 73 0 0 0 20 0 20 0 342634775 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2781696 CPUtime=0.89 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 9565 0 0 0 87 2 0 0 20 0 20 0 342634775 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 84 0 0 0 26 34 0 0 20 0 20 0 342634775 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15289] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15289/stat : 15289 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342635955 2848456704 343128 33554432000 1073741824 1073778376 140737038340000 140601830298536 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1490.01
Current children cumulated vsize (KiB) 2781696
Solver just ended. Dumping a history of the last processes samples
[startup+1483.1 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 15301
/proc/meminfo: memFree=27061592/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2781696 CPUtime=1490.83 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 20159 0 1 0 148962 121 0 0 20 0 20 0 342634769 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 695424 343129 2284 9 0 686117 0
[pid=15270/tid=15272] ppid=15268 vsize=2781696 CPUtime=1086.74 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) S 15268 15270 13299 0 -1 4202560 4951 0 1 0 108647 27 0 0 20 0 20 0 342634770 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601991611576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 231 0 0 0 92 7 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2781696 CPUtime=0.93 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 203 0 0 0 85 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2781696 CPUtime=1.04 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 224 0 0 0 95 9 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 229 0 0 0 102 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 308 0 0 0 101 11 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 269 0 0 0 88 11 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2781696 CPUtime=1.13 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 254 0 0 0 103 10 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2781696 CPUtime=1 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 202 0 0 0 92 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2781696 CPUtime=393.67 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) R 15268 15270 13299 0 -1 4202560 130 0 0 0 39356 11 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601838721416 140601998118989 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2781696 CPUtime=0.73 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 2313 0 0 0 73 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2781696 CPUtime=0.9 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 9565 0 0 0 88 2 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 84 0 0 0 26 34 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15289] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15289/stat : 15289 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342635955 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601830298536 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15301] ppid=15268 vsize=2781696 CPUtime=0.02 cores=1,3,5,7
/proc/15270/task/15301/stat : 15301 (java) S 15268 15270 13299 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 20 0 342782939 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601829244104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1490.83
Current children cumulated vsize (KiB) 2781696
[startup+1483.5 s]
/proc/loadavg: 1.96 1.98 1.99 3/214 15301
/proc/meminfo: memFree=27061592/32873648 swapFree=7116/7116
[pid=15270] ppid=15268 vsize=2781696 CPUtime=1491.23 cores=1,3,5,7
/proc/15270/stat : 15270 (java) S 15268 15270 13299 0 -1 4202496 20161 0 1 0 149002 121 0 0 20 0 20 0 342634769 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140737038331136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15270/statm: 695424 343129 2284 9 0 686117 0
[pid=15270/tid=15272] ppid=15268 vsize=2781696 CPUtime=1086.74 cores=1,3,5,7
/proc/15270/task/15272/stat : 15272 (java) S 15268 15270 13299 0 -1 4202560 4951 0 1 0 108647 27 0 0 20 0 20 0 342634770 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601991611576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15273] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15273/stat : 15273 (java) S 15268 15270 13299 0 -1 4202560 231 0 0 0 92 7 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601858500904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15274] ppid=15268 vsize=2781696 CPUtime=0.93 cores=1,3,5,7
/proc/15270/task/15274/stat : 15274 (java) S 15268 15270 13299 0 -1 4202560 203 0 0 0 85 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601857448104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15275] ppid=15268 vsize=2781696 CPUtime=1.04 cores=1,3,5,7
/proc/15270/task/15275/stat : 15275 (java) S 15268 15270 13299 0 -1 4202560 224 0 0 0 95 9 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601856395816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15276] ppid=15268 vsize=2781696 CPUtime=1.1 cores=1,3,5,7
/proc/15270/task/15276/stat : 15276 (java) S 15268 15270 13299 0 -1 4202560 229 0 0 0 102 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601855343016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15277] ppid=15268 vsize=2781696 CPUtime=1.12 cores=1,3,5,7
/proc/15270/task/15277/stat : 15277 (java) S 15268 15270 13299 0 -1 4202560 308 0 0 0 101 11 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601854290728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15278] ppid=15268 vsize=2781696 CPUtime=0.99 cores=1,3,5,7
/proc/15270/task/15278/stat : 15278 (java) S 15268 15270 13299 0 -1 4202560 269 0 0 0 88 11 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601853237928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15279] ppid=15268 vsize=2781696 CPUtime=1.13 cores=1,3,5,7
/proc/15270/task/15279/stat : 15279 (java) S 15268 15270 13299 0 -1 4202560 254 0 0 0 103 10 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601852185640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15280] ppid=15268 vsize=2781696 CPUtime=1 cores=1,3,5,7
/proc/15270/task/15280/stat : 15280 (java) S 15268 15270 13299 0 -1 4202560 202 0 0 0 92 8 0 0 20 0 20 0 342634771 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601851132840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15281] ppid=15268 vsize=2781696 CPUtime=394.07 cores=1,3,5,7
/proc/15270/task/15281/stat : 15281 (java) R 15268 15270 13299 0 -1 4202560 130 0 0 0 39396 11 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601838721256 140601998466324 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15282] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15282/stat : 15282 (java) S 15268 15270 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601837667320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15283] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15283/stat : 15283 (java) S 15268 15270 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 342634772 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601836614920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15284] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15284/stat : 15284 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601835563408 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15270/tid=15285] ppid=15268 vsize=2781696 CPUtime=0.73 cores=1,3,5,7
/proc/15270/task/15285/stat : 15285 (java) S 15268 15270 13299 0 -1 4202560 2313 0 0 0 73 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601834511032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15286] ppid=15268 vsize=2781696 CPUtime=0.9 cores=1,3,5,7
/proc/15270/task/15286/stat : 15286 (java) S 15268 15270 13299 0 -1 4202560 9565 0 0 0 88 2 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601833458232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15287] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15287/stat : 15287 (java) S 15268 15270 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601832406136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15270/tid=15288] ppid=15268 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/15270/task/15288/stat : 15288 (java) S 15268 15270 13299 0 -1 4202560 84 0 0 0 26 34 0 0 20 0 20 0 342634775 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601831353544 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15270/tid=15289] ppid=15268 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/15270/task/15289/stat : 15289 (java) S 15268 15270 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342635955 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601830298536 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15270/tid=15301] ppid=15268 vsize=2781696 CPUtime=0.02 cores=1,3,5,7
/proc/15270/task/15301/stat : 15301 (java) S 15268 15270 13299 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 20 0 342782939 2848456704 343129 33554432000 1073741824 1073778376 140737038340000 140601829244968 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1491.23
Current children cumulated vsize (KiB) 2781696
Child status: 1
Real time (s): 1483.53
CPU time (s): 1491.66
CPU user time (s): 1490.05
CPU system time (s): 1.61076
CPU usage (%): 100.548
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1490.05
system time used= 1.61075
maximum resident set size= 1372532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20171
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38623
involuntary context switches= 27369
runsolver used 5.09123 second user time and 12.3021 second system time
The end