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-3738472-1338756059/watcher-3738472-1338756059 -o /tmp/evaluation-result-3738472-1338756059/solver-3738472-1338756059 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738472-1338756059.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: 3.11 3.53 3.63 4/198 30925
/proc/meminfo: memFree=26417880/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/30925/stat : 30925 (java6) D 30923 30925 25443 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341731666 9515008 182 33554432000 1073741824 1073778376 140734338141392 140734338132424 270330052277 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/30925/statm: 2323 182 140 9 0 71 0
[startup+0.0254659 s]
/proc/loadavg: 3.11 3.53 3.63 4/198 30925
/proc/meminfo: memFree=26417880/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2156296 CPUtime=0 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 2937 0 1 0 0 0 0 0 20 0 10 0 341731666 2208047104 3636 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 539074 3636 1081 9 0 530183 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2156296
[startup+0.100202 s]
/proc/loadavg: 3.11 3.53 3.63 4/198 30925
/proc/meminfo: memFree=26417880/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 4766 0 1 0 8 1 0 0 20 0 18 0 341731666 2764726272 6449 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 674982 6449 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300157 s]
/proc/loadavg: 3.11 3.53 3.63 4/198 30925
/proc/meminfo: memFree=26417880/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2900648 CPUtime=0.63 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 10753 0 1 0 61 2 0 0 20 0 22 0 341731666 2970263552 13737 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 725162 13737 2227 9 0 715856 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 2900648
[startup+0.700161 s]
/proc/loadavg: 3.11 3.53 3.63 4/198 30925
/proc/meminfo: memFree=26417880/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 16568 0 1 0 133 5 0 0 20 0 20 0 341731666 3037372416 14761 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 741546 14761 2245 9 0 732240 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 2966184
[startup+1.50058 s]
/proc/loadavg: 3.11 3.53 3.63 3/218 30947
/proc/meminfo: memFree=26366616/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 16591 0 1 0 148 7 0 0 20 0 20 0 341731666 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 741546 17329 2247 9 0 732240 0
[pid=30925/tid=30927] ppid=30923 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/30925/task/30927/stat : 30927 (java) S 30923 30925 25443 0 -1 4202560 2799 0 1 0 22 0 0 0 20 0 20 0 341731667 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684442739864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30928] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30928/stat : 30928 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684427020712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30929] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30929/stat : 30929 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684425968168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30930] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30930/stat : 30930 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684424915112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30931] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30931/stat : 30931 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684423862568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30932] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30932/stat : 30932 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684422810536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30933] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30933/stat : 30933 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684421757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30934] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30934/stat : 30934 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684420704936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30935] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30935/stat : 30935 (java) S 30923 30925 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684419652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30936] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30936/stat : 30936 (java) S 30923 30925 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341731669 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684407241064 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30937] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30937/stat : 30937 (java) S 30923 30925 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684287796600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30938] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30938/stat : 30938 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684286743432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30939] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30939/stat : 30939 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684285692176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30940] ppid=30923 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/30925/task/30940/stat : 30940 (java) S 30923 30925 25443 0 -1 4202560 6191 0 0 0 42 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684284640056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30941] ppid=30923 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/30925/task/30941/stat : 30941 (java) S 30923 30925 25443 0 -1 4202560 6261 0 0 0 44 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684283587512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30942] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30942/stat : 30942 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684282534648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30943] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30943/stat : 30943 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684281482312 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30946] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30946/stat : 30946 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684278321960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30947] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30947/stat : 30947 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684277269416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90058 s]
/proc/loadavg: 3.11 3.53 3.63 3/218 30947
/proc/meminfo: memFree=26366616/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 16591 0 1 0 148 7 0 0 20 0 20 0 341731666 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 741546 17329 2247 9 0 732240 0
[pid=30925/tid=30927] ppid=30923 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/30925/task/30927/stat : 30927 (java) S 30923 30925 25443 0 -1 4202560 2799 0 1 0 22 0 0 0 20 0 20 0 341731667 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684442739864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30928] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30928/stat : 30928 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684427020712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30929] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30929/stat : 30929 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684425968168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30930] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30930/stat : 30930 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684424915112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30931] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30931/stat : 30931 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684423862568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30932] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30932/stat : 30932 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684422810536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30933] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30933/stat : 30933 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684421757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30934] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30934/stat : 30934 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684420704936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30935] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30935/stat : 30935 (java) S 30923 30925 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684419652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30936] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30936/stat : 30936 (java) S 30923 30925 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341731669 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684407241064 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30937] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30937/stat : 30937 (java) S 30923 30925 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684287796600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30938] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30938/stat : 30938 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684286743432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30939] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30939/stat : 30939 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684285692176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30940] ppid=30923 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/30925/task/30940/stat : 30940 (java) S 30923 30925 25443 0 -1 4202560 6191 0 0 0 42 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684284640056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30941] ppid=30923 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/30925/task/30941/stat : 30941 (java) S 30923 30925 25443 0 -1 4202560 6261 0 0 0 44 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684283587512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30942] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30942/stat : 30942 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684282534648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30943] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30943/stat : 30943 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684281482312 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30946] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30946/stat : 30946 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684278321960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30947] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30947/stat : 30947 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684277269416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
[startup+2.10058 s]
/proc/loadavg: 3.02 3.50 3.62 3/217 30949
/proc/meminfo: memFree=26356204/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 16591 0 1 0 148 7 0 0 20 0 20 0 341731666 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 741546 17329 2247 9 0 732240 0
[pid=30925/tid=30927] ppid=30923 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/30925/task/30927/stat : 30927 (java) S 30923 30925 25443 0 -1 4202560 2799 0 1 0 22 0 0 0 20 0 20 0 341731667 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684442739864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30928] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30928/stat : 30928 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684427020712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30929] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30929/stat : 30929 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684425968168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30930] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30930/stat : 30930 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684424915112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30931] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30931/stat : 30931 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684423862568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30932] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30932/stat : 30932 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684422810536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30933] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30933/stat : 30933 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684421757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30934] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30934/stat : 30934 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684420704936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30935] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30935/stat : 30935 (java) S 30923 30925 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684419652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30936] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30936/stat : 30936 (java) S 30923 30925 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341731669 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684407241064 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30937] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30937/stat : 30937 (java) S 30923 30925 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684287796600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30938] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30938/stat : 30938 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684286743432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30939] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30939/stat : 30939 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684285692176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30940] ppid=30923 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/30925/task/30940/stat : 30940 (java) S 30923 30925 25443 0 -1 4202560 6191 0 0 0 42 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684284640056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30941] ppid=30923 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/30925/task/30941/stat : 30941 (java) S 30923 30925 25443 0 -1 4202560 6261 0 0 0 44 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684283587512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30942] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30942/stat : 30942 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684282534648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30943] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30943/stat : 30943 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684281482312 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30946] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30946/stat : 30946 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684278321960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30947] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30947/stat : 30947 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684277269416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
[startup+2.20696 s]
/proc/loadavg: 3.02 3.50 3.62 3/217 30949
/proc/meminfo: memFree=26356204/32873660 swapFree=7120/7120
[pid=30925] ppid=30923 vsize=2966184 CPUtime=1.55 cores=1,3,5,7
/proc/30925/stat : 30925 (java) S 30923 30925 25443 0 -1 4202496 16591 0 1 0 148 7 0 0 20 0 20 0 341731666 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140735707160704 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30925/statm: 741546 17329 2247 9 0 732240 0
[pid=30925/tid=30927] ppid=30923 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/30925/task/30927/stat : 30927 (java) S 30923 30925 25443 0 -1 4202560 2799 0 1 0 22 0 0 0 20 0 20 0 341731667 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684442739864 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30928] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30928/stat : 30928 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684427020712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30929] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30929/stat : 30929 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684425968168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30930] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30930/stat : 30930 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684424915112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30931] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30931/stat : 30931 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684423862568 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30932] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30932/stat : 30932 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684422810536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30933] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30933/stat : 30933 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684421757992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30934] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30934/stat : 30934 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684420704936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30925/tid=30935] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30935/stat : 30935 (java) S 30923 30925 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341731668 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684419652392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30936] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30936/stat : 30936 (java) S 30923 30925 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341731669 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684407241064 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30937] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30937/stat : 30937 (java) S 30923 30925 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684287796600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30938] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30938/stat : 30938 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731670 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684286743432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30939] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30939/stat : 30939 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684285692176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30940] ppid=30923 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/30925/task/30940/stat : 30940 (java) S 30923 30925 25443 0 -1 4202560 6191 0 0 0 42 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684284640056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30941] ppid=30923 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/30925/task/30941/stat : 30941 (java) S 30923 30925 25443 0 -1 4202560 6261 0 0 0 44 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684283587512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30942] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30942/stat : 30942 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684282534648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30925/tid=30943] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30943/stat : 30943 (java) S 30923 30925 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341731672 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684281482312 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30925/tid=30946] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30946/stat : 30946 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684278321960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30925/tid=30947] ppid=30923 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30947/stat : 30947 (java) S 30923 30925 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341731696 3037372416 17329 33554432000 1073741824 1073778376 140735707169568 140684277269416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.27507
CPU time (s): 1.56576
CPU user time (s): 1.49077
CPU system time (s): 0.074988
CPU usage (%): 68.8225
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49077
system time used= 0.074988
maximum resident set size= 71392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16604
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 348
involuntary context switches= 37
runsolver used 0.009998 second user time and 0.021996 second system time
The end