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-3744640-1338811558/watcher-3744640-1338811558 -o /tmp/evaluation-result-3744640-1338811558/solver-3744640-1338811558 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744640-1338811558.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.77 3.90 3.86 4/199 30747
/proc/meminfo: memFree=28250364/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/30747/stat : 30747 (java) R 30745 30747 30057 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 347280596 23793664 279 33554432000 1073741824 1073778376 140735257678576 140735257667640 215115414067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 5809 295 228 9 0 128 0
[startup+0.0829059 s]
/proc/loadavg: 3.77 3.90 3.86 4/199 30747
/proc/meminfo: memFree=28250364/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 3904 0 1 0 4 1 0 0 20 0 18 0 347280596 2764726272 5112 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 674982 5112 1759 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100298 s]
/proc/loadavg: 3.77 3.90 3.86 4/199 30747
/proc/meminfo: memFree=28250364/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 3954 0 1 0 5 1 0 0 20 0 18 0 347280596 2764726272 5162 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 674982 5163 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.300261 s]
/proc/loadavg: 3.77 3.90 3.86 4/199 30747
/proc/meminfo: memFree=28250364/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2699928 CPUtime=0.47 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 5724 0 1 0 45 2 0 0 20 0 18 0 347280596 2764726272 8697 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 674982 8697 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2699928
[startup+0.700173 s]
/proc/loadavg: 3.77 3.90 3.86 4/199 30747
/proc/meminfo: memFree=28250364/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=1.68 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 14488 0 1 0 163 5 0 0 20 0 20 0 347280596 3037372416 19743 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 19743 2258 9 0 732240 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 2966184
[startup+1.50056 s]
/proc/loadavg: 3.77 3.90 3.86 3/219 30769
/proc/meminfo: memFree=28179196/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=1.95 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 16666 0 1 0 187 8 0 0 20 0 20 0 347280596 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 22503 2258 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2883 0 1 0 37 2 0 0 20 0 20 0 347280597 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309932446872 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) R 30745 30747 30057 0 -1 4202560 7967 0 0 0 58 1 0 0 20 0 20 0 347280604 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309775001656 140309935352205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) R 30745 30747 30057 0 -1 4202560 4510 0 0 0 57 0 0 0 20 0 20 0 347280604 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309773946384 140309938145759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 22503 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2966184
[startup+3.10069 s]
/proc/loadavg: 3.77 3.90 3.86 3/219 30771
/proc/meminfo: memFree=28168832/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=2.19 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 17336 0 1 0 210 9 0 0 20 0 20 0 347280596 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 24400 2259 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2885 0 1 0 38 2 0 0 20 0 20 0 347280597 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309932446872 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=0.71 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) S 30745 30747 30057 0 -1 4202560 8617 0 0 0 70 1 0 0 20 0 20 0 347280604 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309775001656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=0.65 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) S 30745 30747 30057 0 -1 4202560 4520 0 0 0 65 0 0 0 20 0 20 0 347280604 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309773949112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 24400 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 2966184
heavy processes:
[startup+6.30074 s]
/proc/loadavg: 3.86 3.92 3.86 5/221 30777
/proc/meminfo: memFree=27850888/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=7 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 20314 0 1 0 681 19 0 0 20 0 22 0 347280596 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 103419 2288 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2886 0 1 0 38 2 0 0 20 0 22 0 347280597 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309932446888 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347280599 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 347280600 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347280600 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347280600 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347280604 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=1.25 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) S 30745 30747 30057 0 -1 4202560 9101 0 0 0 124 1 0 0 20 0 22 0 347280604 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309775001656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) S 30745 30747 30057 0 -1 4202560 6765 0 0 0 114 1 0 0 20 0 22 0 347280604 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309773949112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347280604 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 347280604 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347280642 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347280642 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30776] ppid=30745 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/30747/task/30776/stat : 30776 (java) R 30745 30747 30057 0 -1 4202560 82 0 0 0 171 3 0 0 20 0 22 0 347281041 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309770789816 140309872831732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30777] ppid=30745 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/30747/task/30777/stat : 30777 (java) R 30745 30747 30057 0 -1 4202560 69 0 0 0 172 2 0 0 20 0 22 0 347281041 3037372416 103419 33554432000 1073741824 1073778376 140735257678576 140309769736872 140309872941364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+7.10072 s]
/proc/loadavg: 3.86 3.92 3.86 3/219 30777
/proc/meminfo: memFree=27840772/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=7.34 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 20314 0 1 0 714 20 0 0 20 0 20 0 347280596 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 103411 2288 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2886 0 1 0 38 2 0 0 20 0 20 0 347280597 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309932446888 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=1.25 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) S 30745 30747 30057 0 -1 4202560 9101 0 0 0 124 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309775001656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) S 30745 30747 30057 0 -1 4202560 6765 0 0 0 114 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309773949112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 2966184
[startup+7.30071 s]
/proc/loadavg: 3.86 3.92 3.86 3/219 30777
/proc/meminfo: memFree=27840772/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=7.34 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 20314 0 1 0 714 20 0 0 20 0 20 0 347280596 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 103411 2288 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2886 0 1 0 38 2 0 0 20 0 20 0 347280597 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309932446888 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=1.25 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) S 30745 30747 30057 0 -1 4202560 9101 0 0 0 124 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309775001656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) S 30745 30747 30057 0 -1 4202560 6765 0 0 0 114 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309773949112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 2966184
[startup+7.40072 s]
/proc/loadavg: 3.86 3.92 3.86 3/219 30777
/proc/meminfo: memFree=27840772/32873844 swapFree=7620/7620
[pid=30747] ppid=30745 vsize=2966184 CPUtime=7.34 cores=0,2,4,6
/proc/30747/stat : 30747 (java) S 30745 30747 30057 0 -1 4202496 20314 0 1 0 714 20 0 0 20 0 20 0 347280596 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140735257669712 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30747/statm: 741546 103411 2288 9 0 732240 0
[pid=30747/tid=30749] ppid=30745 vsize=2966184 CPUtime=0.4 cores=0,2,4,6
/proc/30747/task/30749/stat : 30749 (java) S 30745 30747 30057 0 -1 4202560 2886 0 1 0 38 2 0 0 20 0 20 0 347280597 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309932446888 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30750] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30750/stat : 30750 (java) S 30745 30747 30057 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309798779560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30751] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30751/stat : 30751 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309797727016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30752] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30752/stat : 30752 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309796674472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30753] ppid=30745 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/30747/task/30753/stat : 30753 (java) S 30745 30747 30057 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309795621928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30754] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30754/stat : 30754 (java) S 30745 30747 30057 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309794568360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30755] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30755/stat : 30755 (java) S 30745 30747 30057 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309793515816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30756] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30756/stat : 30756 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309792463272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30757] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30757/stat : 30757 (java) S 30745 30747 30057 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347280599 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309791410728 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30758] ppid=30745 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/30747/task/30758/stat : 30758 (java) S 30745 30747 30057 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309779212904 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30759] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30759/stat : 30759 (java) S 30745 30747 30057 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309778159224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30760] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30760/stat : 30760 (java) S 30745 30747 30057 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347280600 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309777106568 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30761] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30761/stat : 30761 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309776055312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30762] ppid=30745 vsize=2966184 CPUtime=1.25 cores=0,2,4,6
/proc/30747/task/30762/stat : 30762 (java) S 30745 30747 30057 0 -1 4202560 9101 0 0 0 124 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309775001656 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30763] ppid=30745 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/30747/task/30763/stat : 30763 (java) S 30745 30747 30057 0 -1 4202560 6765 0 0 0 114 1 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309773949112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30747/tid=30764] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30764/stat : 30764 (java) S 30745 30747 30057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309772896760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30747/tid=30765] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30765/stat : 30765 (java) S 30745 30747 30057 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 347280604 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309771844424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30747/tid=30768] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30768/stat : 30768 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309768685096 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30747/tid=30769] ppid=30745 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/30747/task/30769/stat : 30769 (java) S 30745 30747 30057 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347280642 3037372416 103411 33554432000 1073741824 1073778376 140735257678576 140309767632552 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 7.48802
CPU time (s): 7.48186
CPU user time (s): 7.15991
CPU system time (s): 0.321951
CPU usage (%): 99.9177
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.15991
system time used= 0.321951
maximum resident set size= 415720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20327
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= 717
involuntary context switches= 356
runsolver used 0.012998 second user time and 0.049992 second system time
The end