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-3730395-1338681052/watcher-3730395-1338681052 -o /tmp/evaluation-result-3730395-1338681052/solver-3730395-1338681052 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730395-1338681052.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: 2.00 2.00 1.77 3/195 17267
/proc/meminfo: memFree=28799596/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17267/stat : 17267 (java) D 17265 17267 7849 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 334230850 9515008 175 33554432000 1073741824 1073778376 140734200126000 140734200108728 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17267/statm: 2323 175 133 9 0 71 0
[startup+0.0269799 s]
/proc/loadavg: 2.00 2.00 1.77 3/195 17267
/proc/meminfo: memFree=28799596/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=2413132 CPUtime=0 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 3028 0 1 0 0 0 0 0 20 0 10 0 334230850 2471047168 2709 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 603283 2711 984 9 0 594392 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2413132
[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 1.77 3/195 17267
/proc/meminfo: memFree=28799596/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 4323 0 1 0 7 1 0 0 20 0 18 0 334230850 3028844544 5531 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 739464 5540 1898 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.77 3/195 17267
/proc/meminfo: memFree=28799596/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 8726 0 1 0 48 2 0 0 20 0 18 0 334230850 3028844544 11260 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 739464 11260 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 1.77 3/195 17267
/proc/meminfo: memFree=28799596/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 11371 0 1 0 131 3 0 0 20 0 19 0 334230850 3097006080 16671 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 16671 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 1.77 4/214 17286
/proc/meminfo: memFree=28733508/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 11515 0 1 0 213 4 0 0 20 0 19 0 334230850 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 20263 2277 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3127 0 1 0 144 2 0 0 20 0 19 0 334230851 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342144549448 140342084919252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4218 0 0 0 35 0 0 0 20 0 19 0 334230857 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2975 0 0 0 31 2 0 0 20 0 19 0 334230857 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 20263 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 3024420
[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.77 4/214 17286
/proc/meminfo: memFree=28714324/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=3.84 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 12061 0 1 0 380 4 0 0 20 0 19 0 334230850 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 24367 2277 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3136 0 1 0 303 2 0 0 20 0 19 0 334230851 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342144549416 140342084883272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4755 0 0 0 40 0 0 0 20 0 19 0 334230857 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2975 0 0 0 32 2 0 0 20 0 19 0 334230857 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 24367 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420
[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 1.77 4/214 17286
/proc/meminfo: memFree=28681308/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 12075 0 1 0 699 4 0 0 20 0 19 0 334230850 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 30487 2277 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3150 0 1 0 622 2 0 0 20 0 19 0 334230851 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342144547264 140342084883373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334230853 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4755 0 0 0 40 0 0 0 20 0 19 0 334230857 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2975 0 0 0 32 2 0 0 20 0 19 0 334230857 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 30487 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4772 0 0 0 45 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2983 0 0 0 36 2 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 95 0 0 0 48 50 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.89
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 1.98 2.00 1.93 3/213 17380
/proc/meminfo: memFree=26956876/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=1726.93 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 14531 0 1 0 172469 224 0 0 20 0 19 0 334230850 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 418358 2305 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=1715.53 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3319 0 1 0 171519 34 0 0 20 0 19 0 334230851 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342144548144 140342084883026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 221 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 229 0 0 0 28 18 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 341 0 0 0 34 24 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 247 0 0 0 28 19 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 254 0 0 0 30 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 233 0 0 0 29 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 215 0 0 0 29 16 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=1.23 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 115 8 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4772 0 0 0 45 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2983 0 0 0 36 2 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 99 0 0 0 49 52 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.93
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.07 2.01 1.93 3/214 17383
/proc/meminfo: memFree=26956372/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=1786.95 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 14535 0 1 0 178469 226 0 0 20 0 19 0 334230850 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 418358 2305 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=1775.37 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3319 0 1 0 177503 34 0 0 20 0 19 0 334230851 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342144548144 140342084883349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 221 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 229 0 0 0 28 18 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 341 0 0 0 34 24 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 247 0 0 0 28 19 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 254 0 0 0 30 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 233 0 0 0 29 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 215 0 0 0 29 16 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=1.23 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 115 8 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4772 0 0 0 45 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2983 0 0 0 36 2 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 103 0 0 0 50 54 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.95
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.06 2.01 1.93 3/214 17383
/proc/meminfo: memFree=26956496/32873844 swapFree=7632/7632
[pid=17267] ppid=17265 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/17267/stat : 17267 (java) S 17265 17267 7849 0 -1 4202496 14535 0 1 0 179779 226 0 0 20 0 19 0 334230850 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140735404818736 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17267/statm: 756105 418358 2305 9 0 746526 0
[pid=17267/tid=17269] ppid=17265 vsize=3024420 CPUtime=1788.45 cores=1,3,5,7
/proc/17267/task/17269/stat : 17269 (java) R 17265 17267 7849 0 -1 4202560 3319 0 1 0 178810 35 0 0 20 0 19 0 334230851 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342144548144 140342084883332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17270] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17270/stat : 17270 (java) S 17265 17267 7849 0 -1 4202560 221 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342010178216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17271] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17271/stat : 17271 (java) S 17265 17267 7849 0 -1 4202560 229 0 0 0 28 18 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342009125672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17272] ppid=17265 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/17267/task/17272/stat : 17272 (java) S 17265 17267 7849 0 -1 4202560 341 0 0 0 34 24 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342008073128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17273] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17273/stat : 17273 (java) S 17265 17267 7849 0 -1 4202560 247 0 0 0 28 19 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342007020584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17274] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17274/stat : 17274 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 23 15 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342005967016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17275] ppid=17265 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17267/task/17275/stat : 17275 (java) S 17265 17267 7849 0 -1 4202560 254 0 0 0 30 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342004914472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17267/tid=17276] ppid=17265 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17267/task/17276/stat : 17276 (java) S 17265 17267 7849 0 -1 4202560 233 0 0 0 29 17 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342003861928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17277] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17277/stat : 17277 (java) S 17265 17267 7849 0 -1 4202560 215 0 0 0 29 16 0 0 20 0 19 0 334230853 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140342002809384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17278] ppid=17265 vsize=3024420 CPUtime=1.23 cores=1,3,5,7
/proc/17267/task/17278/stat : 17278 (java) S 17265 17267 7849 0 -1 4202560 219 0 0 0 115 8 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341990611560 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17279] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17279/stat : 17279 (java) S 17265 17267 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341989557880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17280] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17280/stat : 17280 (java) S 17265 17267 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334230854 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341988505224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17281] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17281/stat : 17281 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341987453968 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17282] ppid=17265 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17267/task/17282/stat : 17282 (java) S 17265 17267 7849 0 -1 4202560 4772 0 0 0 45 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341986400312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17267/tid=17283] ppid=17265 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17267/task/17283/stat : 17283 (java) S 17265 17267 7849 0 -1 4202560 2983 0 0 0 36 2 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341985347768 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17284] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17284/stat : 17284 (java) S 17265 17267 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341984295416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17267/tid=17285] ppid=17265 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/17267/task/17285/stat : 17285 (java) S 17265 17267 7849 0 -1 4202560 103 0 0 0 51 54 0 0 20 0 19 0 334230857 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341983243080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17267/tid=17286] ppid=17265 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17267/task/17286/stat : 17286 (java) S 17265 17267 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334230891 3097006080 418358 33554432000 1073741824 1073778376 140735404827600 140341981111592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17267 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=939431
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=542613
# CPU time returned by wait4() is 1795.48
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.42
CPU time (s): 1800.05
CPU user time (s): 1797.79
CPU system time (s): 2.26
CPU usage (%): 100.258
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.94
system time used= 2.54261
maximum resident set size= 1673548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14566
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38095
involuntary context switches= 9535
runsolver used 6.32104 second user time and 16.6825 second system time
The end