runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459532-1307639644/watcher-3459532-1307639644 -o /tmp/evaluation-result-3459532-1307639644/solver-3459532-1307639644 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459532-1307639644.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.96 2.00 1.97 3/192 2348
/proc/meminfo: memFree=31368800/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2348/stat : 2348 (java) R 2346 2348 787 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 875564794 23580672 694 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253635897233 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2348/statm: 5757 694 510 9 0 124 0
[pid=2348/tid=2349] ppid=2346 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 875564795 31272960 960 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253640859451 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.04132 s]
/proc/loadavg: 1.96 2.00 1.97 3/192 2348
/proc/meminfo: memFree=31368800/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 13664 0 1 0 2 1 0 0 25 0 13 0 875564794 13874667520 13360 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3387370 13361 1655 9 0 3378118 0
[pid=2348/tid=2349] ppid=2346 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 12517 0 1 0 2 1 0 0 25 0 13 0 875564795 13874667520 13361 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652686283 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100312 s]
/proc/loadavg: 1.96 2.00 1.97 3/192 2348
/proc/meminfo: memFree=31368800/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13622292 CPUtime=0.11 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 15568 0 1 0 9 2 0 0 25 0 18 0 875564794 13949227008 15234 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3405573 15237 2092 9 0 3396307 0
[pid=2348/tid=2349] ppid=2346 vsize=13622292 CPUtime=0.08 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 13622 0 1 0 7 1 0 0 18 0 18 0 875564795 13949227008 15237 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 47004515539764 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622292
[startup+0.30307 s]
/proc/loadavg: 1.96 2.00 1.97 3/192 2348
/proc/meminfo: memFree=31368800/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13622780 CPUtime=0.5 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 18980 0 1 0 48 2 0 0 25 0 18 0 875564794 13949726720 18094 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3405695 18095 2201 9 0 3396429 0
[pid=2348/tid=2349] ppid=2346 vsize=13622780 CPUtime=0.29 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 15878 0 1 0 27 2 0 0 18 0 18 0 875564795 13949726720 18096 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 46912505557942 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13622780
[startup+0.7002 s]
/proc/loadavg: 1.96 2.00 1.97 3/192 2348
/proc/meminfo: memFree=31368800/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13625260 CPUtime=1.15 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 20960 0 1 0 112 3 0 0 25 0 19 0 875564794 13952266240 19445 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3406315 19445 2231 9 0 3397049 0
[pid=2348/tid=2349] ppid=2346 vsize=13625260 CPUtime=0.68 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 16454 0 1 0 66 2 0 0 19 0 19 0 875564795 13952266240 19445 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 46912505669713 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13625260
[startup+1.50105 s]
/proc/loadavg: 1.96 2.00 1.97 3/211 2367
/proc/meminfo: memFree=31299852/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13625260 CPUtime=1.99 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 21384 0 1 0 196 3 0 0 25 0 19 0 875564794 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3406315 19611 2231 9 0 3397049 0
[pid=2348/tid=2349] ppid=2346 vsize=13625260 CPUtime=1.48 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 16586 0 1 0 146 2 0 0 20 0 19 0 875564795 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 46912505800247 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2348/tid=2351] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2351/stat : 2351 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2352] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2353] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2353/stat : 2353 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2354] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2354/stat : 2354 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2355] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2355/stat : 2355 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2356] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2356/stat : 2356 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2357] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2357/stat : 2357 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2358] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2358/stat : 2358 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564797 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2359] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2359/stat : 2359 (java) S 2346 2348 787 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 875564798 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 0 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2360] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2360/stat : 2360 (java) S 2346 2348 787 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875564798 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2361] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2361/stat : 2361 (java) S 2346 2348 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875564798 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2362] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2362/stat : 2362 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652683185 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2363] ppid=2346 vsize=13625260 CPUtime=0.25 cores=1,3,5,7
/proc/2348/task/2363/stat : 2363 (java) S 2346 2348 787 0 -1 4202560 1562 0 0 0 25 0 0 0 20 0 19 0 875564800 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2364] ppid=2346 vsize=13625260 CPUtime=0.23 cores=1,3,5,7
/proc/2348/task/2364/stat : 2364 (java) S 2346 2348 787 0 -1 4202560 2074 0 0 0 23 0 0 0 15 0 19 0 875564800 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 7 0 0 0
[pid=2348/tid=2365] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2365/stat : 2365 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2366] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2366/stat : 2366 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875564800 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2367] ppid=2346 vsize=13625260 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2367/stat : 2367 (java) S 2346 2348 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875564828 13952266240 19611 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13625260
Solver just ended. Dumping a history of the last processes samples
[startup+1.90096 s]
/proc/loadavg: 1.96 2.00 1.97 3/211 2367
/proc/meminfo: memFree=31299852/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13625404 CPUtime=2.44 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 22354 0 1 0 241 3 0 0 25 0 19 0 875564794 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3406351 20573 2260 9 0 3397085 0
[pid=2348/tid=2349] ppid=2346 vsize=13625404 CPUtime=1.87 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 16640 0 1 0 185 2 0 0 21 0 19 0 875564795 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 46912505764298 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2348/tid=2351] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2351/stat : 2351 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2352] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2353] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2353/stat : 2353 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2354] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2354/stat : 2354 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2355] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2355/stat : 2355 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2356] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2356/stat : 2356 (java) S 2346 2348 787 0 -1 4202560 174 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2357] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2357/stat : 2357 (java) S 2346 2348 787 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2358] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2358/stat : 2358 (java) S 2346 2348 787 0 -1 4202560 123 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2359] ppid=2346 vsize=13625404 CPUtime=0.01 cores=1,3,5,7
/proc/2348/task/2359/stat : 2359 (java) S 2346 2348 787 0 -1 4202560 431 0 0 0 1 0 0 0 15 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 0 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2360] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2360/stat : 2360 (java) S 2346 2348 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2361] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2361/stat : 2361 (java) S 2346 2348 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2362] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2362/stat : 2362 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652683185 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2363] ppid=2346 vsize=13625404 CPUtime=0.26 cores=1,3,5,7
/proc/2348/task/2363/stat : 2363 (java) S 2346 2348 787 0 -1 4202560 1570 0 0 0 26 0 0 0 16 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2364] ppid=2346 vsize=13625404 CPUtime=0.26 cores=1,3,5,7
/proc/2348/task/2364/stat : 2364 (java) S 2346 2348 787 0 -1 4202560 2127 0 0 0 26 0 0 0 15 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 7 0 0 0
[pid=2348/tid=2365] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2365/stat : 2365 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2366] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2366/stat : 2366 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2367] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2367/stat : 2367 (java) S 2346 2348 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875564828 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13625404
[startup+2.10094 s]
/proc/loadavg: 1.97 2.00 1.97 3/211 2367
/proc/meminfo: memFree=31295264/32951124 swapFree=67060628/67111528
[pid=2348] ppid=2346 vsize=13625404 CPUtime=2.64 cores=1,3,5,7
/proc/2348/stat : 2348 (java) S 2346 2348 787 0 -1 4202496 22354 0 1 0 261 3 0 0 25 0 19 0 875564794 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2348/statm: 3406351 20573 2260 9 0 3397085 0
[pid=2348/tid=2349] ppid=2346 vsize=13625404 CPUtime=2.07 cores=1,3,5,7
/proc/2348/task/2349/stat : 2349 (java) R 2346 2348 787 0 -1 4202560 16640 0 1 0 205 2 0 0 22 0 19 0 875564795 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 46912505764154 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2348/tid=2351] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2351/stat : 2351 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2352] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2353] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2353/stat : 2353 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2354] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2354/stat : 2354 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2355] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2355/stat : 2355 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2356] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2356/stat : 2356 (java) S 2346 2348 787 0 -1 4202560 174 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2357] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2357/stat : 2357 (java) S 2346 2348 787 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2358] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2358/stat : 2358 (java) S 2346 2348 787 0 -1 4202560 123 0 0 0 0 0 0 0 18 0 19 0 875564797 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2359] ppid=2346 vsize=13625404 CPUtime=0.01 cores=1,3,5,7
/proc/2348/task/2359/stat : 2359 (java) S 2346 2348 787 0 -1 4202560 431 0 0 0 1 0 0 0 15 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 0 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2360] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2360/stat : 2360 (java) S 2346 2348 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2361] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2361/stat : 2361 (java) S 2346 2348 787 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 875564798 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2362] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2362/stat : 2362 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652683185 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2363] ppid=2346 vsize=13625404 CPUtime=0.26 cores=1,3,5,7
/proc/2348/task/2363/stat : 2363 (java) S 2346 2348 787 0 -1 4202560 1570 0 0 0 26 0 0 0 16 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 1 0 0 0
[pid=2348/tid=2364] ppid=2346 vsize=13625404 CPUtime=0.26 cores=1,3,5,7
/proc/2348/task/2364/stat : 2364 (java) S 2346 2348 787 0 -1 4202560 2127 0 0 0 26 0 0 0 15 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 7 0 0 0
[pid=2348/tid=2365] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2365/stat : 2365 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652675481 0 4 0 16800975 18446604471127013504 0 0 -1 3 0 0 0
[pid=2348/tid=2366] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2366/stat : 2366 (java) S 2346 2348 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875564800 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
[pid=2348/tid=2367] ppid=2346 vsize=13625404 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2367/stat : 2367 (java) S 2346 2348 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 875564828 13952413696 20573 33554432000 1073741824 1073778376 140735576896640 18446744073709551615 253652676096 0 4 0 16800975 18446604471127013504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 13625404
Child status: 30
Real time (s): 2.14571
CPU time (s): 2.68459
CPU user time (s): 2.6486
CPU system time (s): 0.035994
CPU usage (%): 125.114
Max. virtual memory (cumulated for all children) (KiB): 13625404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6486
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22406
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257
involuntary context switches= 21
runsolver used 0.001999 second user time and 0.016997 second system time
The end