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-3735039-1338753754/watcher-3735039-1338753754 -o /tmp/evaluation-result-3735039-1338753754/solver-3735039-1338753754 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735039-1338753754.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29028
/proc/meminfo: memFree=26716168/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/29028/stat : 29028 (java6) D 29026 29028 28074 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 341500493 278528 33 33554432000 1073741824 1073778376 140736629603024 140736629600200 227132140839 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/29028/statm: 68 33 25 9 0 25 0
[startup+0.0929549 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29028
/proc/meminfo: memFree=26716168/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2648548 CPUtime=0.06 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 3817 0 1 0 5 1 0 0 20 0 18 0 341500493 2712113152 5536 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 662137 5536 1755 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648548
[startup+0.100233 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29028
/proc/meminfo: memFree=26716168/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2648568 CPUtime=0.06 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 3863 0 1 0 5 1 0 0 20 0 18 0 341500493 2712133632 5582 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 662142 5582 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29028
/proc/meminfo: memFree=26716168/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2648568 CPUtime=0.5 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 10843 0 1 0 47 3 0 0 20 0 18 0 341500493 2712133632 11814 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 662142 11814 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2648568
[startup+0.700232 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29028
/proc/meminfo: memFree=26716168/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2648568 CPUtime=1.17 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 11935 0 1 0 112 5 0 0 20 0 18 0 341500493 2712133632 42025 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 662142 42025 2229 9 0 652835 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 2648568
[startup+1.50071 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 29047
/proc/meminfo: memFree=26500736/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2715132 CPUtime=2.17 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 12083 0 1 0 208 9 0 0 20 0 19 0 341500493 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 678783 86629 2246 9 0 669476 0
[pid=29028/tid=29030] ppid=29026 vsize=2715132 CPUtime=1.45 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) R 29026 29028 28074 0 -1 4202560 2900 0 1 0 138 7 0 0 20 0 19 0 341500495 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216306876952 140216137020210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341500497 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341500498 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216271546856 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.36 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5000 0 0 0 36 0 0 0 20 0 19 0 341500502 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 2988 0 0 0 31 0 0 0 20 0 19 0 341500502 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 86629 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 2715132
[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 29047
/proc/meminfo: memFree=26329636/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2715132 CPUtime=4.06 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 12217 0 1 0 392 14 0 0 20 0 19 0 341500493 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 678783 106107 2261 9 0 669476 0
[pid=29028/tid=29030] ppid=29026 vsize=2715132 CPUtime=2.98 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) R 29026 29028 28074 0 -1 4202560 2918 0 1 0 291 7 0 0 20 0 19 0 341500495 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216306876840 140216137034009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 341500497 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341500498 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216271546856 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5001 0 0 0 46 0 0 0 20 0 19 0 341500502 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.32 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 2988 0 0 0 32 0 0 0 20 0 19 0 341500502 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 106107 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 29047
/proc/meminfo: memFree=26295068/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2715132 CPUtime=7.49 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 12273 0 1 0 733 16 0 0 20 0 19 0 341500493 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 678783 111947 2261 9 0 669476 0
[pid=29028/tid=29030] ppid=29026 vsize=2715132 CPUtime=6.07 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) R 29026 29028 28074 0 -1 4202560 2923 0 1 0 600 7 0 0 20 0 19 0 341500495 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216306875664 140216137064009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2715132 CPUtime=0.09 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2715132 CPUtime=0.05 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2715132 CPUtime=0.05 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2715132 CPUtime=0.06 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 341500497 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341500498 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216271546856 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5001 0 0 0 47 0 0 0 20 0 19 0 341500502 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.32 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 2988 0 0 0 32 0 0 0 20 0 19 0 341500502 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 111947 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5015 0 0 0 59 0 0 0 20 0 19 0 341500502 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 3086 0 0 0 51 0 0 0 20 0 19 0 341500502 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 94 0 0 0 35 29 0 0 20 0 19 0 341500502 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 168089 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1700.15
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 29122
/proc/meminfo: memFree=26147468/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2715132 CPUtime=1761.89 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 16184 0 1 0 176091 98 0 0 20 0 19 0 341500493 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 678783 169602 2264 9 0 669476 0
[pid=29028/tid=29030] ppid=29026 vsize=2715132 CPUtime=1700.52 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) R 29026 29028 28074 0 -1 4202560 4297 0 1 0 170013 39 0 0 20 0 19 0 341500495 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216306875824 140216137124372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2715132 CPUtime=6.84 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 679 5 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2715132 CPUtime=6.93 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 288 0 0 0 687 6 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2715132 CPUtime=6.94 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 294 0 0 0 688 6 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2715132 CPUtime=6.96 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 318 0 0 0 690 6 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2715132 CPUtime=7.09 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 295 0 0 0 702 7 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2715132 CPUtime=6.85 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 306 0 0 0 679 6 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2715132 CPUtime=6.78 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 299 0 0 0 671 7 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2715132 CPUtime=7.05 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 699 6 0 0 20 0 19 0 341500497 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 107 0 0 0 18 6 0 0 20 0 19 0 341500498 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216271546856 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5015 0 0 0 59 0 0 0 20 0 19 0 341500502 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 3086 0 0 0 51 0 0 0 20 0 19 0 341500502 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0.67 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 98 0 0 0 37 30 0 0 20 0 19 0 341500502 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 169602 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1761.89
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1759.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 29122
/proc/meminfo: memFree=26143744/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2715132 CPUtime=1800.08 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 16220 0 1 0 179909 99 0 0 20 0 19 0 341500493 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 678783 170626 2264 9 0 669476 0
[pid=29028/tid=29030] ppid=29026 vsize=2715132 CPUtime=1737.2 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) R 29026 29028 28074 0 -1 4202560 4325 0 1 0 173680 40 0 0 20 0 19 0 341500495 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216306875848 140216137018698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2715132 CPUtime=7.03 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 698 5 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2715132 CPUtime=7.1 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 288 0 0 0 704 6 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2715132 CPUtime=7.11 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 295 0 0 0 705 6 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2715132 CPUtime=7.08 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 318 0 0 0 702 6 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2715132 CPUtime=7.31 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 295 0 0 0 724 7 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2715132 CPUtime=7.04 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 307 0 0 0 698 6 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2715132 CPUtime=6.97 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 301 0 0 0 689 8 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2715132 CPUtime=7.22 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 716 6 0 0 20 0 19 0 341500497 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2715132 CPUtime=0.24 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 109 0 0 0 18 6 0 0 20 0 19 0 341500498 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216271546856 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341500499 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29042] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29042/stat : 29042 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216268388496 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5015 0 0 0 59 0 0 0 20 0 19 0 341500502 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216267336632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2715132 CPUtime=0.51 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 3086 0 0 0 51 0 0 0 20 0 19 0 341500502 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216266283832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341500502 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29046] ppid=29026 vsize=2715132 CPUtime=0.68 cores=0,2,4,6
/proc/29028/task/29046/stat : 29046 (java) S 29026 29028 28074 0 -1 4202560 100 0 0 0 38 30 0 0 20 0 19 0 341500502 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216264178632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341500573 2780295168 170626 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1759.61 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 29122
/proc/meminfo: memFree=26143744/32873844 swapFree=7116/7116
[pid=29028] ppid=29026 vsize=2848260 CPUtime=1800.39 cores=0,2,4,6
/proc/29028/stat : 29028 (java) S 29026 29028 28074 0 -1 4202496 16264 0 1 0 179936 103 0 0 20 0 18 0 341500493 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140733395583024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29028/statm: 712065 170662 2271 9 0 702758 0
[pid=29028/tid=29030] ppid=29026 vsize=2848260 CPUtime=1737.3 cores=0,2,4,6
/proc/29028/task/29030/stat : 29030 (java) S 29026 29028 28074 0 -1 4202560 4325 0 1 0 173690 40 0 0 20 0 18 0 341500495 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216306875048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29031] ppid=29026 vsize=2848260 CPUtime=7.03 cores=0,2,4,6
/proc/29028/task/29031/stat : 29031 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 698 5 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216291326504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29032] ppid=29026 vsize=2848260 CPUtime=7.1 cores=0,2,4,6
/proc/29028/task/29032/stat : 29032 (java) S 29026 29028 28074 0 -1 4202560 288 0 0 0 704 6 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216290273704 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29033] ppid=29026 vsize=2848260 CPUtime=7.11 cores=0,2,4,6
/proc/29028/task/29033/stat : 29033 (java) S 29026 29028 28074 0 -1 4202560 295 0 0 0 705 6 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216289220904 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29034] ppid=29026 vsize=2848260 CPUtime=7.08 cores=0,2,4,6
/proc/29028/task/29034/stat : 29034 (java) S 29026 29028 28074 0 -1 4202560 318 0 0 0 702 6 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216288168104 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29035] ppid=29026 vsize=2848260 CPUtime=7.31 cores=0,2,4,6
/proc/29028/task/29035/stat : 29035 (java) S 29026 29028 28074 0 -1 4202560 295 0 0 0 724 7 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216287116328 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29036] ppid=29026 vsize=2848260 CPUtime=7.04 cores=0,2,4,6
/proc/29028/task/29036/stat : 29036 (java) S 29026 29028 28074 0 -1 4202560 307 0 0 0 698 6 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216286063528 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29037] ppid=29026 vsize=2848260 CPUtime=6.97 cores=0,2,4,6
/proc/29028/task/29037/stat : 29037 (java) S 29026 29028 28074 0 -1 4202560 301 0 0 0 689 8 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216285010728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29038] ppid=29026 vsize=2848260 CPUtime=7.22 cores=0,2,4,6
/proc/29028/task/29038/stat : 29038 (java) S 29026 29028 28074 0 -1 4202560 300 0 0 0 716 6 0 0 20 0 18 0 341500497 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216283957928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29039] ppid=29026 vsize=2848260 CPUtime=0.24 cores=0,2,4,6
/proc/29028/task/29039/stat : 29039 (java) S 29026 29028 28074 0 -1 4202560 110 0 0 0 18 6 0 0 20 0 18 0 341500498 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216271546408 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29028/tid=29040] ppid=29026 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29040/stat : 29040 (java) S 29026 29028 28074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341500499 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216270492920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29041] ppid=29026 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29041/stat : 29041 (java) S 29026 29028 28074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341500499 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216269440008 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29043] ppid=29026 vsize=2848260 CPUtime=0.6 cores=0,2,4,6
/proc/29028/task/29043/stat : 29043 (java) S 29026 29028 28074 0 -1 4202560 5020 0 0 0 60 0 0 0 20 0 18 0 341500502 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216267322872 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29028/tid=29044] ppid=29026 vsize=2848260 CPUtime=0.56 cores=0,2,4,6
/proc/29028/task/29044/stat : 29044 (java) S 29026 29028 28074 0 -1 4202560 3088 0 0 0 56 0 0 0 20 0 18 0 341500502 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216266270552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29028/tid=29045] ppid=29026 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29045/stat : 29045 (java) S 29026 29028 28074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341500502 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216265231224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29028/tid=29047] ppid=29026 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/29028/task/29047/stat : 29047 (java) S 29026 29028 28074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341500573 2916618240 170662 33554432000 1073741824 1073778376 140733395591888 140216263124136 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29028 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=189089
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=403786
# CPU time returned by wait4() is 1796.59
# while last known CPU time is 1800.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1759.62
CPU time (s): 1800.39
CPU user time (s): 1799.36
CPU system time (s): 1.03
CPU usage (%): 102.317
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 1.40379
maximum resident set size= 682668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16264
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80430
involuntary context switches= 132331
runsolver used 5.9121 second user time and 14.5528 second system time
The end