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-3732576-1338740351/watcher-3732576-1338740351 -o /tmp/evaluation-result-3732576-1338740351/solver-3732576-1338740351 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732576-1338740351.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: 3.35 3.53 3.21 6/197 17713
/proc/meminfo: memFree=28313240/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17713/stat : 17713 (java) R 17711 17713 17063 0 -1 4202496 896 0 0 0 0 0 0 0 20 0 1 0 340159393 23793664 622 33554432000 1073741824 1073778376 140737332729568 140737332718632 209874631233 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 5809 637 473 9 0 128 0
[startup+0.0683289 s]
/proc/loadavg: 3.35 3.53 3.21 6/197 17713
/proc/meminfo: memFree=28313240/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 3898 0 1 0 4 1 0 0 20 0 18 0 340159393 2764726272 5616 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100275 s]
/proc/loadavg: 3.35 3.53 3.21 6/197 17713
/proc/meminfo: memFree=28313240/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 4820 0 1 0 9 1 0 0 20 0 18 0 340159393 2764726272 6513 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 674982 6513 2138 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300338 s]
/proc/loadavg: 3.35 3.53 3.21 6/197 17713
/proc/meminfo: memFree=28313240/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 5138 0 1 0 22 4 0 0 20 0 20 0 340159393 3037372416 8306 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 741546 8306 2210 9 0 732240 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2966184
[startup+0.70027 s]
/proc/loadavg: 3.35 3.53 3.21 6/197 17713
/proc/meminfo: memFree=28313240/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 5138 0 1 0 22 4 0 0 20 0 20 0 340159393 3037372416 8306 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 741546 8306 2210 9 0 732240 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2966184
[startup+1.50072 s]
/proc/loadavg: 3.35 3.53 3.21 1/215 17737
/proc/meminfo: memFree=28271464/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 7442 0 1 0 31 6 0 0 20 0 20 0 340159393 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 741546 10683 2226 9 0 732240 0
[pid=17713/tid=17715] ppid=17711 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/17713/task/17715/stat : 17715 (java) S 17711 17713 17063 0 -1 4202560 2800 0 1 0 12 1 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965545538712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17716] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17716/stat : 17716 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965412080552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17717] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17717/stat : 17717 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965411028008 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965409974952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965408922408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965407869352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965406816808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965405763752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965404711208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964922686312 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964921632632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964920579464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964919528208 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 17063 0 -1 4202560 1891 0 0 0 4 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964918475064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 17063 0 -1 4202560 1452 0 0 0 5 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964917422520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964916369656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964915317320 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17734] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17734/stat : 17734 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964912157992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17735] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17735/stat : 17735 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964911105448 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90073 s]
/proc/loadavg: 3.35 3.53 3.21 1/215 17737
/proc/meminfo: memFree=28271464/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 7442 0 1 0 31 6 0 0 20 0 20 0 340159393 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 741546 10683 2226 9 0 732240 0
[pid=17713/tid=17715] ppid=17711 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/17713/task/17715/stat : 17715 (java) S 17711 17713 17063 0 -1 4202560 2800 0 1 0 12 1 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965545538712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17716] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17716/stat : 17716 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965412080552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17717] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17717/stat : 17717 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965411028008 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965409974952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965408922408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965407869352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965406816808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965405763752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965404711208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964922686312 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964921632632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964920579464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964919528208 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 17063 0 -1 4202560 1891 0 0 0 4 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964918475064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 17063 0 -1 4202560 1452 0 0 0 5 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964917422520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964916369656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964915317320 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17734] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17734/stat : 17734 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964912157992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17735] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17735/stat : 17735 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964911105448 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2966184
[startup+2.10072 s]
/proc/loadavg: 3.08 3.47 3.20 3/217 17741
/proc/meminfo: memFree=28180172/32873844 swapFree=7632/7632
[pid=17713] ppid=17711 vsize=2966184 CPUtime=0.37 cores=0,2,4,6
/proc/17713/stat : 17713 (java) S 17711 17713 17063 0 -1 4202496 7442 0 1 0 31 6 0 0 20 0 20 0 340159393 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 140737332720704 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17713/statm: 741546 10683 2226 9 0 732240 0
[pid=17713/tid=17715] ppid=17711 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/17713/task/17715/stat : 17715 (java) S 17711 17713 17063 0 -1 4202560 2800 0 1 0 12 1 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965545538712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17716] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17716/stat : 17716 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965412080552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17717] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17717/stat : 17717 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965411028008 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17718] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17718/stat : 17718 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965409974952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17719] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17719/stat : 17719 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965408922408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17720] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17720/stat : 17720 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965407869352 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17721] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17721/stat : 17721 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159394 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965406816808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17722] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17722/stat : 17722 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965405763752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17723] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17723/stat : 17723 (java) S 17711 17713 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340159395 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139965404711208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17724] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17724/stat : 17724 (java) S 17711 17713 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964922686312 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17725] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17725/stat : 17725 (java) S 17711 17713 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964921632632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17726] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17726/stat : 17726 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159396 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964920579464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17727] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17727/stat : 17727 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964919528208 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17728] ppid=17711 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/17713/task/17728/stat : 17728 (java) S 17711 17713 17063 0 -1 4202560 1891 0 0 0 4 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964918475064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17713/tid=17729] ppid=17711 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/17713/task/17729/stat : 17729 (java) S 17711 17713 17063 0 -1 4202560 1452 0 0 0 5 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964917422520 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17730] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17730/stat : 17730 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964916369656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17713/tid=17731] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17731/stat : 17731 (java) S 17711 17713 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340159398 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964915317320 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17713/tid=17734] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17734/stat : 17734 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964912157992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17713/tid=17735] ppid=17711 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/17713/task/17735/stat : 17735 (java) S 17711 17713 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340159410 3037372416 10683 33554432000 1073741824 1073778376 140737332729568 139964911105448 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.16822
CPU time (s): 0.382941
CPU user time (s): 0.300954
CPU system time (s): 0.081987
CPU usage (%): 17.6615
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.300954
system time used= 0.081987
maximum resident set size= 44792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7449
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= 292
involuntary context switches= 19
runsolver used 0.008998 second user time and 0.025996 second system time
The end