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-3459561-1307150643/watcher-3459561-1307150643 -o /tmp/evaluation-result-3459561-1307150643/solver-3459561-1307150643 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459561-1307150643.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: 2.00 2.02 2.00 3/479 18761
/proc/meminfo: memFree=28229756/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 2009 0 1 0 0 0 0 0 25 0 2 0 826662293 13833195520 1711 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3377245 1726 906 9 0 3368401 0
[pid=18761/tid=18762] ppid=18759 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 4526 0 1 0 0 0 0 0 25 0 2 0 826662294 13850947584 5342 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0407209 s]
/proc/loadavg: 2.00 2.02 2.00 3/479 18761
/proc/meminfo: memFree=28229756/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13547424 CPUtime=0.03 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 13531 0 1 0 2 1 0 0 25 0 11 0 826662293 13872562176 13230 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3386856 13230 1621 9 0 3377604 0
[pid=18761/tid=18762] ppid=18759 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 12407 0 1 0 1 1 0 0 25 0 11 0 826662294 13872562176 13230 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134540747 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.100736 s]
/proc/loadavg: 2.00 2.02 2.00 3/479 18761
/proc/meminfo: memFree=28229756/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13622352 CPUtime=0.1 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 15555 0 1 0 9 1 0 0 25 0 18 0 826662293 13949288448 15226 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3405588 15227 2093 9 0 3396322 0
[pid=18761/tid=18762] ppid=18759 vsize=13622352 CPUtime=0.08 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 13597 0 1 0 7 1 0 0 18 0 18 0 826662294 13949288448 15227 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 47284682328884 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622352
[startup+0.300663 s]
/proc/loadavg: 2.00 2.02 2.00 3/479 18761
/proc/meminfo: memFree=28229756/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13625200 CPUtime=0.51 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 18088 0 1 0 49 2 0 0 25 0 19 0 826662293 13952204800 16955 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3406300 16955 2204 9 0 3397034 0
[pid=18761/tid=18762] ppid=18759 vsize=13625200 CPUtime=0.28 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14148 0 1 0 27 1 0 0 19 0 19 0 826662294 13952204800 16955 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505509387 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13625200
[startup+0.700612 s]
/proc/loadavg: 2.00 2.02 2.00 3/479 18761
/proc/meminfo: memFree=28229756/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13631668 CPUtime=1.21 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 28564 0 1 0 118 3 0 0 25 0 19 0 826662293 13958828032 24046 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3407917 24046 2239 9 0 3398651 0
[pid=18761/tid=18762] ppid=18759 vsize=13631668 CPUtime=0.66 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14649 0 1 0 65 1 0 0 19 0 19 0 826662294 13958828032 24046 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505538735 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13631668
[startup+1.50147 s]
/proc/loadavg: 2.16 2.05 2.01 3/498 18780
/proc/meminfo: memFree=28138860/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13631668 CPUtime=2.77 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 29905 0 1 0 274 3 0 0 25 0 19 0 826662293 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3407917 24980 2250 9 0 3398651 0
[pid=18761/tid=18762] ppid=18759 vsize=13631668 CPUtime=1.43 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14654 0 1 0 142 1 0 0 20 0 19 0 826662294 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505551552 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18761/tid=18764] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18764/stat : 18764 (java) S 18759 18761 16141 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18765] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18765/stat : 18765 (java) S 18759 18761 16141 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18766] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18766/stat : 18766 (java) S 18759 18761 16141 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18767] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18767/stat : 18767 (java) S 18759 18761 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18768] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18768/stat : 18768 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18769] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18769/stat : 18769 (java) S 18759 18761 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18770] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18770/stat : 18770 (java) S 18759 18761 16141 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18771] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18771/stat : 18771 (java) S 18759 18761 16141 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 826662296 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18772] ppid=18759 vsize=13631668 CPUtime=0.03 cores=0,2,4,6
/proc/18761/task/18772/stat : 18772 (java) S 18759 18761 16141 0 -1 4202560 524 0 0 0 3 0 0 0 16 0 19 0 826662297 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 0 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18773] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18773/stat : 18773 (java) S 18759 18761 16141 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826662297 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18774] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18774/stat : 18774 (java) S 18759 18761 16141 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 826662297 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18775] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18775/stat : 18775 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134537649 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18776] ppid=18759 vsize=13631668 CPUtime=0.42 cores=0,2,4,6
/proc/18761/task/18776/stat : 18776 (java) S 18759 18761 16141 0 -1 4202560 4174 0 0 0 42 0 0 0 15 0 19 0 826662299 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18777] ppid=18759 vsize=13631668 CPUtime=0.85 cores=0,2,4,6
/proc/18761/task/18777/stat : 18777 (java) R 18759 18761 16141 0 -1 4202560 8863 0 0 0 84 1 0 0 16 0 19 0 826662299 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 47284681538950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18761/tid=18778] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18778/stat : 18778 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18779] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18779/stat : 18779 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662299 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18780] ppid=18759 vsize=13631668 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18780/stat : 18780 (java) S 18759 18761 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826662307 13958828032 24980 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 13631668
Solver just ended. Dumping a history of the last processes samples
[startup+1.9014 s]
/proc/loadavg: 2.16 2.05 2.01 3/498 18780
/proc/meminfo: memFree=28138860/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13635224 CPUtime=3.46 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 30645 0 1 0 343 3 0 0 25 0 19 0 826662293 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3408806 25720 2251 9 0 3399540 0
[pid=18761/tid=18762] ppid=18759 vsize=13635224 CPUtime=1.83 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14656 0 1 0 182 1 0 0 21 0 19 0 826662294 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505539028 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18761/tid=18764] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18764/stat : 18764 (java) S 18759 18761 16141 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18765] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18765/stat : 18765 (java) S 18759 18761 16141 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18766] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18766/stat : 18766 (java) S 18759 18761 16141 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18767] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18767/stat : 18767 (java) S 18759 18761 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18768] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18768/stat : 18768 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18769] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18769/stat : 18769 (java) S 18759 18761 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18770] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18770/stat : 18770 (java) S 18759 18761 16141 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18771] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18771/stat : 18771 (java) S 18759 18761 16141 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18772] ppid=18759 vsize=13635224 CPUtime=0.03 cores=0,2,4,6
/proc/18761/task/18772/stat : 18772 (java) S 18759 18761 16141 0 -1 4202560 524 0 0 0 3 0 0 0 16 0 19 0 826662297 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 0 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18773] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18773/stat : 18773 (java) S 18759 18761 16141 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18774] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18774/stat : 18774 (java) S 18759 18761 16141 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18775] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18775/stat : 18775 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134537649 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18776] ppid=18759 vsize=13635224 CPUtime=0.48 cores=0,2,4,6
/proc/18761/task/18776/stat : 18776 (java) S 18759 18761 16141 0 -1 4202560 4849 0 0 0 48 0 0 0 15 0 19 0 826662299 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18777] ppid=18759 vsize=13635224 CPUtime=1.08 cores=0,2,4,6
/proc/18761/task/18777/stat : 18777 (java) S 18759 18761 16141 0 -1 4202560 8926 0 0 0 107 1 0 0 15 0 19 0 826662299 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18778] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18778/stat : 18778 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18779] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18779/stat : 18779 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662299 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18780] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18780/stat : 18780 (java) S 18759 18761 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826662307 13962469376 25720 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 13635224
[startup+2.10134 s]
/proc/loadavg: 2.16 2.05 2.01 3/498 18780
/proc/meminfo: memFree=28133652/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13635224 CPUtime=3.69 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 30646 0 1 0 366 3 0 0 25 0 19 0 826662293 13962469376 25721 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3408806 25721 2252 9 0 3399540 0
[pid=18761/tid=18762] ppid=18759 vsize=13635224 CPUtime=2.04 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14657 0 1 0 203 1 0 0 22 0 19 0 826662294 13962469376 25722 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505748865 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18761/tid=18764] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18764/stat : 18764 (java) S 18759 18761 16141 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18765] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18765/stat : 18765 (java) S 18759 18761 16141 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18766] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18766/stat : 18766 (java) S 18759 18761 16141 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18767] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18767/stat : 18767 (java) S 18759 18761 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18768] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18768/stat : 18768 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18769] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18769/stat : 18769 (java) S 18759 18761 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18770] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18770/stat : 18770 (java) S 18759 18761 16141 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18771] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18771/stat : 18771 (java) S 18759 18761 16141 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18772] ppid=18759 vsize=13635224 CPUtime=0.03 cores=0,2,4,6
/proc/18761/task/18772/stat : 18772 (java) S 18759 18761 16141 0 -1 4202560 524 0 0 0 3 0 0 0 16 0 19 0 826662297 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 0 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18773] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18773/stat : 18773 (java) S 18759 18761 16141 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18774] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18774/stat : 18774 (java) S 18759 18761 16141 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18775] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18775/stat : 18775 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134537649 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18776] ppid=18759 vsize=13635224 CPUtime=0.48 cores=0,2,4,6
/proc/18761/task/18776/stat : 18776 (java) S 18759 18761 16141 0 -1 4202560 4849 0 0 0 48 0 0 0 15 0 19 0 826662299 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18777] ppid=18759 vsize=13635224 CPUtime=1.1 cores=0,2,4,6
/proc/18761/task/18777/stat : 18777 (java) S 18759 18761 16141 0 -1 4202560 8927 0 0 0 109 1 0 0 15 0 19 0 826662299 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18778] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18778/stat : 18778 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18779] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18779/stat : 18779 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662299 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18780] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18780/stat : 18780 (java) S 18759 18761 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826662307 13962469376 25723 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13635224
[startup+2.21731 s]
/proc/loadavg: 2.16 2.05 2.01 3/498 18780
/proc/meminfo: memFree=28133652/32951124 swapFree=41830676/67111528
[pid=18761] ppid=18759 vsize=13635224 CPUtime=3.81 cores=0,2,4,6
/proc/18761/stat : 18761 (java) S 18759 18761 16141 0 -1 4202496 31170 0 1 0 378 3 0 0 25 0 19 0 826662293 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18761/statm: 3408806 26243 2252 9 0 3399540 0
[pid=18761/tid=18762] ppid=18759 vsize=13635224 CPUtime=2.12 cores=0,2,4,6
/proc/18761/task/18762/stat : 18762 (java) R 18759 18761 16141 0 -1 4202560 14674 0 1 0 211 1 0 0 22 0 19 0 826662294 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 46912505786718 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18761/tid=18764] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18764/stat : 18764 (java) S 18759 18761 16141 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18765] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18765/stat : 18765 (java) S 18759 18761 16141 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18766] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18766/stat : 18766 (java) S 18759 18761 16141 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18767] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18767/stat : 18767 (java) S 18759 18761 16141 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18768] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18768/stat : 18768 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18769] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18769/stat : 18769 (java) S 18759 18761 16141 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18770] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18770/stat : 18770 (java) S 18759 18761 16141 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18771] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18771/stat : 18771 (java) S 18759 18761 16141 0 -1 4202560 291 0 0 0 0 0 0 0 16 0 19 0 826662296 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
[pid=18761/tid=18772] ppid=18759 vsize=13635224 CPUtime=0.05 cores=0,2,4,6
/proc/18761/task/18772/stat : 18772 (java) S 18759 18761 16141 0 -1 4202560 634 0 0 0 5 0 0 0 16 0 19 0 826662297 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 0 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18773] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18773/stat : 18773 (java) S 18759 18761 16141 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18774] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18774/stat : 18774 (java) S 18759 18761 16141 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 826662297 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18775] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18775/stat : 18775 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134537649 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18776] ppid=18759 vsize=13635224 CPUtime=0.48 cores=0,2,4,6
/proc/18761/task/18776/stat : 18776 (java) S 18759 18761 16141 0 -1 4202560 4849 0 0 0 48 0 0 0 15 0 19 0 826662299 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18777] ppid=18759 vsize=13635224 CPUtime=1.12 cores=0,2,4,6
/proc/18761/task/18777/stat : 18777 (java) S 18759 18761 16141 0 -1 4202560 8927 0 0 0 111 1 0 0 16 0 19 0 826662299 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 0 0 0 0
[pid=18761/tid=18778] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18778/stat : 18778 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662299 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134529945 0 4 0 16800975 18446604442657991744 0 0 -1 2 0 0 0
[pid=18761/tid=18779] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18779/stat : 18779 (java) S 18759 18761 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662299 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 4 0 0 0
[pid=18761/tid=18780] ppid=18759 vsize=13635224 CPUtime=0 cores=0,2,4,6
/proc/18761/task/18780/stat : 18780 (java) S 18759 18761 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826662307 13962469376 26243 33554432000 1073741824 1073778376 140733931853952 18446744073709551615 228134530560 0 4 0 16800975 18446604442657991744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13635224
Child status: 30
Real time (s): 2.22927
CPU time (s): 3.84042
CPU user time (s): 3.79642
CPU system time (s): 0.043993
CPU usage (%): 172.272
Max. virtual memory (cumulated for all children) (KiB): 13635224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.79642
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31196
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= 345
involuntary context switches= 101
runsolver used 0.014997 second user time and 0.038994 second system time
The end