runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458469-1307155901/watcher-3458469-1307155901 -o /tmp/evaluation-result-3458469-1307155901/solver-3458469-1307155901 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458469-1307155901.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.22 1.60 2/574 29851
/proc/meminfo: memFree=23570864/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 7110 0 1 0 0 0 0 0 18 0 2 0 827187835 13850947584 6812 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3381579 6827 917 9 0 3372735 0
[pid=29851/tid=29853] ppid=29849 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 7115 0 1 0 0 0 0 0 18 0 2 0 827187835 13850947584 7930 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.059829 s]
/proc/loadavg: 1.00 1.22 1.60 2/574 29851
/proc/meminfo: memFree=23570864/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 13717 0 1 0 2 1 0 0 18 0 13 0 827187835 13874667520 13414 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3387370 13415 1669 9 0 3378118 0
[pid=29851/tid=29853] ppid=29849 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 12572 0 1 0 2 1 0 0 17 0 13 0 827187835 13874667520 13416 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 47491432291390 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.10081 s]
/proc/loadavg: 1.00 1.22 1.60 2/574 29851
/proc/meminfo: memFree=23570864/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 14552 0 1 0 6 1 0 0 18 0 18 0 827187835 13880410112 14249 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3388772 14249 1755 9 0 3379506 0
[pid=29851/tid=29853] ppid=29849 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 13378 0 1 0 6 1 0 0 18 0 18 0 827187835 13880410112 14249 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 47491431228722 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.30077 s]
/proc/loadavg: 1.00 1.22 1.60 2/574 29851
/proc/meminfo: memFree=23570864/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13626056 CPUtime=0.51 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 18259 0 1 0 49 2 0 0 18 0 19 0 827187835 13953081344 16962 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3406514 16962 2194 9 0 3397248 0
[pid=29851/tid=29853] ppid=29849 vsize=13626056 CPUtime=0.27 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 14150 0 1 0 26 1 0 0 19 0 19 0 827187835 13953081344 16962 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 46912505516787 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13626056
[startup+0.700667 s]
/proc/loadavg: 1.00 1.22 1.60 2/574 29851
/proc/meminfo: memFree=23570864/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13640936 CPUtime=1.22 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 25170 0 1 0 119 3 0 0 18 0 19 0 827187835 13968318464 21685 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3410234 21685 2239 9 0 3400968 0
[pid=29851/tid=29853] ppid=29849 vsize=13640936 CPUtime=0.63 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 14280 0 1 0 62 1 0 0 19 0 19 0 827187835 13968318464 21685 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 46912505205040 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13640936
[startup+1.50052 s]
/proc/loadavg: 1.00 1.22 1.60 5/612 29889
/proc/meminfo: memFree=23414384/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13640936 CPUtime=2.54 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 31500 0 1 0 250 4 0 0 18 0 19 0 827187835 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3410234 25231 2249 9 0 3400968 0
[pid=29851/tid=29853] ppid=29849 vsize=13640936 CPUtime=1.38 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 14280 0 1 0 137 1 0 0 20 0 19 0 827187835 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 46912505517674 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29856] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29856/stat : 29856 (java) S 29849 29851 26823 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29857] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29857/stat : 29857 (java) S 29849 29851 26823 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 1 0 0 0
[pid=29851/tid=29859] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29859/stat : 29859 (java) S 29849 29851 26823 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 1 0 0 0
[pid=29851/tid=29861] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29861/stat : 29861 (java) S 29849 29851 26823 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29863] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29863/stat : 29863 (java) S 29849 29851 26823 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29865] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29865/stat : 29865 (java) S 29849 29851 26823 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29867] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29867/stat : 29867 (java) S 29849 29851 26823 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29869] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29869/stat : 29869 (java) S 29849 29851 26823 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29873] ppid=29849 vsize=13640936 CPUtime=0.06 cores=1,3,5,7
/proc/29851/task/29873/stat : 29873 (java) S 29849 29851 26823 0 -1 4202560 496 0 0 0 6 0 0 0 15 0 19 0 827187839 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 0 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29875] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29875/stat : 29875 (java) S 29849 29851 26823 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 827187839 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29877] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29877/stat : 29877 (java) S 29849 29851 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827187839 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29880] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29880/stat : 29880 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827187843 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699498929 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29881] ppid=29849 vsize=13640936 CPUtime=0.58 cores=1,3,5,7
/proc/29851/task/29881/stat : 29881 (java) S 29849 29851 26823 0 -1 4202560 7847 0 0 0 57 1 0 0 16 0 19 0 827187843 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 5 0 0 0
[pid=29851/tid=29884] ppid=29849 vsize=13640936 CPUtime=0.48 cores=1,3,5,7
/proc/29851/task/29884/stat : 29884 (java) S 29849 29851 26823 0 -1 4202560 7172 0 0 0 47 1 0 0 15 0 19 0 827187843 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 1 0 0 0
[pid=29851/tid=29885] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29885/stat : 29885 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827187843 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29887] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29887/stat : 29887 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827187843 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29888] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29888/stat : 29888 (java) S 29849 29851 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827187851 13968318464 25231 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13640936
Solver just ended. Dumping a history of the last processes samples
[startup+1.90145 s]
/proc/loadavg: 1.00 1.22 1.60 5/612 29889
/proc/meminfo: memFree=23414384/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13640936 CPUtime=2.98 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 31697 0 1 0 294 4 0 0 18 0 19 0 827187835 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3410234 25426 2249 9 0 3400968 0
[pid=29851/tid=29853] ppid=29849 vsize=13640936 CPUtime=1.75 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) R 29849 29851 26823 0 -1 4202560 14282 0 1 0 174 1 0 0 20 0 19 0 827187835 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 46912505589337 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29856] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29856/stat : 29856 (java) S 29849 29851 26823 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29857] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29857/stat : 29857 (java) S 29849 29851 26823 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 1 0 0 0
[pid=29851/tid=29859] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29859/stat : 29859 (java) S 29849 29851 26823 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29861] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29861/stat : 29861 (java) S 29849 29851 26823 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29863] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29863/stat : 29863 (java) S 29849 29851 26823 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29865] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29865/stat : 29865 (java) S 29849 29851 26823 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29867] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29867/stat : 29867 (java) S 29849 29851 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29869] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29869/stat : 29869 (java) S 29849 29851 26823 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 827187838 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29873] ppid=29849 vsize=13640936 CPUtime=0.09 cores=1,3,5,7
/proc/29851/task/29873/stat : 29873 (java) S 29849 29851 26823 0 -1 4202560 678 0 0 0 9 0 0 0 15 0 19 0 827187839 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 0 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29875] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29875/stat : 29875 (java) S 29849 29851 26823 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 827187839 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29877] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29877/stat : 29877 (java) S 29849 29851 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827187839 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29880] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29880/stat : 29880 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827187843 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699498929 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29881] ppid=29849 vsize=13640936 CPUtime=0.61 cores=1,3,5,7
/proc/29851/task/29881/stat : 29881 (java) S 29849 29851 26823 0 -1 4202560 7856 0 0 0 60 1 0 0 15 0 19 0 827187843 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 5 0 0 0
[pid=29851/tid=29884] ppid=29849 vsize=13640936 CPUtime=0.49 cores=1,3,5,7
/proc/29851/task/29884/stat : 29884 (java) S 29849 29851 26823 0 -1 4202560 7172 0 0 0 48 1 0 0 15 0 19 0 827187843 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 1 0 0 0
[pid=29851/tid=29885] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29885/stat : 29885 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827187843 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 0 4 0 16800975 18446604468378724416 0 0 -1 3 0 0 0
[pid=29851/tid=29887] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29887/stat : 29887 (java) S 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827187843 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
[pid=29851/tid=29888] ppid=29849 vsize=13640936 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29888/stat : 29888 (java) S 29849 29851 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827187851 13968318464 25426 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 0 4 0 16800975 18446604468378724416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 13640936
[startup+2.00143 s]
/proc/loadavg: 1.00 1.22 1.60 5/612 29889
/proc/meminfo: memFree=23414384/32951124 swapFree=58940260/67111528
[pid=29851] ppid=29849 vsize=13641964 CPUtime=3.08 cores=1,3,5,7
/proc/29851/stat : 29851 (java) S 29849 29851 26823 0 -1 4202496 31715 0 1 0 304 4 0 0 18 0 18 0 827187835 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29851/statm: 3410491 25444 2250 9 0 3401225 0
[pid=29851/tid=29853] ppid=29849 vsize=13641964 CPUtime=1.85 cores=1,3,5,7
/proc/29851/task/29853/stat : 29853 (java) S 29849 29851 26823 0 -1 4202560 14285 0 1 0 184 1 0 0 21 0 18 0 827187835 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29856] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29856/stat : 29856 (java) R 29849 29851 26823 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 14 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29859] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29859/stat : 29859 (java) R 29849 29851 26823 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29861] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29861/stat : 29861 (java) R 29849 29851 26823 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29863] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29863/stat : 29863 (java) R 29849 29851 26823 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29865] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29865/stat : 29865 (java) R 29849 29851 26823 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29867] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29867/stat : 29867 (java) R 29849 29851 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29869] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29869/stat : 29869 (java) R 29849 29851 26823 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 12 0 827187838 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29877] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29877/stat : 29877 (java) R 29849 29851 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 827187839 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491225 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29880] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29880/stat : 29880 (java) R 29849 29851 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 827187843 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699498929 256 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29851/tid=29888] ppid=29849 vsize=13641964 CPUtime=0 cores=1,3,5,7
/proc/29851/task/29888/stat : 29888 (java) R 29849 29851 26823 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 827187851 13969371136 25444 33554432000 1073741824 1073778376 140736119173376 18446744073709551615 212699491840 256 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13641964
Child status: 30
Real time (s): 2.00692
CPU time (s): 3.09653
CPU user time (s): 3.04354
CPU system time (s): 0.052991
CPU usage (%): 154.293
Max. virtual memory (cumulated for all children) (KiB): 13641964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04354
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31715
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 643
involuntary context switches= 193
runsolver used 0.014997 second user time and 0.054991 second system time
The end