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-3734523-1338744619/watcher-3734523-1338744619 -o /tmp/evaluation-result-3734523-1338744619/solver-3734523-1338744619 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734523-1338744619.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.84 3.78 3.31 4/198 10841
/proc/meminfo: memFree=25913244/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/10841/stat : 10841 (java6) D 10839 10841 9489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 340586737 2560000 46 33554432000 1073741824 1073778376 140735115761376 140735115758504 223642479911 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/10841/statm: 625 46 37 9 0 29 0
[startup+0.0247519 s]
/proc/loadavg: 3.84 3.78 3.31 4/198 10841
/proc/meminfo: memFree=25913244/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 340586737 103964672 1051 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 25382 1051 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100274 s]
/proc/loadavg: 3.84 3.78 3.31 4/198 10841
/proc/meminfo: memFree=25913244/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 3949 0 1 0 5 1 0 0 20 0 18 0 340586737 2764726272 5157 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 674982 5157 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.300235 s]
/proc/loadavg: 3.84 3.78 3.31 4/198 10841
/proc/meminfo: memFree=25913244/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2900648 CPUtime=0.39 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 7330 0 1 0 38 1 0 0 20 0 20 0 340586737 2970263552 9149 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 725162 9149 2222 9 0 715856 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 2900648
[startup+0.700208 s]
/proc/loadavg: 3.84 3.78 3.31 4/198 10841
/proc/meminfo: memFree=25913244/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2900648 CPUtime=0.39 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 7330 0 1 0 38 1 0 0 20 0 20 0 340586737 2970263552 9149 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 725162 9149 2222 9 0 715856 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 2900648
[startup+1.5007 s]
/proc/loadavg: 3.84 3.78 3.31 3/218 10863
/proc/meminfo: memFree=25885280/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 7431 0 1 0 43 2 0 0 20 0 20 0 340586737 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 741546 10250 2229 9 0 732240 0
[pid=10841/tid=10843] ppid=10839 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/10841/task/10843/stat : 10843 (java) S 10839 10841 9489 0 -1 4202560 2851 0 1 0 20 0 0 0 20 0 20 0 340586738 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570656863384 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10844] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10844/stat : 10844 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570523671464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10845] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10845/stat : 10845 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570522618920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10846] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10846/stat : 10846 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570454387368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10847] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10847/stat : 10847 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570453334824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10848] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10848/stat : 10848 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570452281768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10849] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10849/stat : 10849 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570451229224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10850] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10850/stat : 10850 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570450176168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10851] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10851/stat : 10851 (java) S 10839 10841 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570449123624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10852] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10852/stat : 10852 (java) S 10839 10841 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570436713320 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10853] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10853/stat : 10853 (java) S 10839 10841 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570435659640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10854] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10854/stat : 10854 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570434606472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10855] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10855/stat : 10855 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570433555216 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10856] ppid=10839 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/10841/task/10856/stat : 10856 (java) S 10839 10841 9489 0 -1 4202560 996 0 0 0 8 0 0 0 20 0 20 0 340586745 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570432502072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10857] ppid=10839 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/10841/task/10857/stat : 10857 (java) S 10839 10841 9489 0 -1 4202560 2274 0 0 0 11 0 0 0 20 0 20 0 340586745 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570431449528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10858] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10858/stat : 10858 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570430396664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10859] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10859/stat : 10859 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570429344328 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10862] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10862/stat : 10862 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570426185000 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10863] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10863/stat : 10863 (java) S 10839 10841 9489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 10250 33554432000 1073741824 1073778376 140736550596416 140570425132456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2966184
[startup+3.10069 s]
/proc/loadavg: 3.84 3.78 3.31 3/218 10865
/proc/meminfo: memFree=25880316/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 7443 0 1 0 44 2 0 0 20 0 20 0 340586737 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 741546 11279 2231 9 0 732240 0
[pid=10841/tid=10843] ppid=10839 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/10841/task/10843/stat : 10843 (java) S 10839 10841 9489 0 -1 4202560 2851 0 1 0 20 0 0 0 20 0 20 0 340586738 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570656863384 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10844] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10844/stat : 10844 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570523671464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10845] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10845/stat : 10845 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570522618920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10846] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10846/stat : 10846 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570454387368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10847] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10847/stat : 10847 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570453334824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10848] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10848/stat : 10848 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570452281768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10849] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10849/stat : 10849 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570451229224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10850] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10850/stat : 10850 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570450176168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10851] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10851/stat : 10851 (java) S 10839 10841 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570449123624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10852] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10852/stat : 10852 (java) S 10839 10841 9489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570436713320 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10853] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10853/stat : 10853 (java) S 10839 10841 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570435659640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10854] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10854/stat : 10854 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570434606472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10855] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10855/stat : 10855 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570433555216 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10856] ppid=10839 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/10841/task/10856/stat : 10856 (java) S 10839 10841 9489 0 -1 4202560 999 0 0 0 8 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570432502072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10857] ppid=10839 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/10841/task/10857/stat : 10857 (java) S 10839 10841 9489 0 -1 4202560 2275 0 0 0 12 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570431449528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10858] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10858/stat : 10858 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570430396664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10859] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10859/stat : 10859 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570429344328 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10862] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10862/stat : 10862 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570426185000 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10863] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10863/stat : 10863 (java) S 10839 10841 9489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570425132456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.20804 s]
/proc/loadavg: 3.84 3.78 3.31 2/218 10867
/proc/meminfo: memFree=25875972/32873844 swapFree=7628/7628
[pid=10841] ppid=10839 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/10841/stat : 10841 (java) S 10839 10841 9489 0 -1 4202496 7443 0 1 0 44 2 0 0 20 0 20 0 340586737 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140736550587552 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 741546 11279 2231 9 0 732240 0
[pid=10841/tid=10843] ppid=10839 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/10841/task/10843/stat : 10843 (java) S 10839 10841 9489 0 -1 4202560 2851 0 1 0 20 0 0 0 20 0 20 0 340586738 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570656863384 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10844] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10844/stat : 10844 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570523671464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10845] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10845/stat : 10845 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570522618920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10846] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10846/stat : 10846 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570454387368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10847] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10847/stat : 10847 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570453334824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10848] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10848/stat : 10848 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570452281768 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10849] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10849/stat : 10849 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570451229224 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10850] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10850/stat : 10850 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570450176168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10851] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10851/stat : 10851 (java) S 10839 10841 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340586740 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570449123624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10852] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10852/stat : 10852 (java) S 10839 10841 9489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570436713320 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10853] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10853/stat : 10853 (java) S 10839 10841 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570435659640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10854] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10854/stat : 10854 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586742 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570434606472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10855] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10855/stat : 10855 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570433555216 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10856] ppid=10839 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/10841/task/10856/stat : 10856 (java) S 10839 10841 9489 0 -1 4202560 999 0 0 0 8 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570432502072 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10841/tid=10857] ppid=10839 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/10841/task/10857/stat : 10857 (java) S 10839 10841 9489 0 -1 4202560 2275 0 0 0 12 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570431449528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10858] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10858/stat : 10858 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570430396664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10841/tid=10859] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10859/stat : 10859 (java) S 10839 10841 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340586745 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570429344328 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10841/tid=10862] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10862/stat : 10862 (java) S 10839 10841 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570426185000 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10841/tid=10863] ppid=10839 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10841/task/10863/stat : 10863 (java) S 10839 10841 9489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340586762 3037372416 11279 33554432000 1073741824 1073778376 140736550596416 140570425132456 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 3.26096
CPU time (s): 0.484926
CPU user time (s): 0.439933
CPU system time (s): 0.044993
CPU usage (%): 14.8707
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.439933
system time used= 0.044993
maximum resident set size= 47172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7448
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= 357
involuntary context switches= 33
runsolver used 0.012998 second user time and 0.039993 second system time
The end