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-3453754-1307194177/watcher-3453754-1307194177 -o /tmp/evaluation-result-3453754-1307194177/solver-3453754-1307194177 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453754-1307194177.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.48 3.46 3.52 4/485 18272
/proc/meminfo: memFree=29777700/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 3423 0 1 0 0 0 0 0 25 0 2 0 831017497 10694979584 3124 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2611079 3137 917 9 0 2602235 0
[pid=18272/tid=18273] ppid=18270 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 13462 0 -1 4202560 6415 0 1 0 0 0 0 0 25 0 2 0 831017498 10694979584 7231 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0483959 s]
/proc/loadavg: 2.48 3.46 3.52 4/485 18272
/proc/meminfo: memFree=29777700/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 11404 0 1 0 3 1 0 0 25 0 13 0 831017497 10718838784 11100 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2616904 11100 1684 9 0 2607652 0
[pid=18272/tid=18273] ppid=18270 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 13462 0 -1 4202560 10257 0 1 0 3 1 0 0 25 0 13 0 831017498 10718838784 11102 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 47130710160920 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100413 s]
/proc/loadavg: 2.48 3.46 3.52 4/485 18272
/proc/meminfo: memFree=29777700/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10540412 CPUtime=0.1 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 13108 0 1 0 9 1 0 0 25 0 18 0 831017497 10793381888 12804 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2635103 12804 2093 9 0 2625837 0
[pid=18272/tid=18273] ppid=18270 vsize=10540412 CPUtime=0.09 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 13462 0 -1 4202560 11195 0 1 0 8 1 0 0 25 0 18 0 831017498 10793381888 12805 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 47130711595859 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) 10540412
[startup+0.300303 s]
/proc/loadavg: 2.48 3.46 3.52 4/485 18272
/proc/meminfo: memFree=29777700/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10548544 CPUtime=0.73 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 18041 0 1 0 71 2 0 0 25 0 22 0 831017497 10801709056 16338 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637136 16338 2200 9 0 2627870 0
[pid=18272/tid=18273] ppid=18270 vsize=10548544 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11668 0 1 0 13 1 0 0 25 0 22 0 831017498 10801709056 16338 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 10548544
[startup+0.700293 s]
/proc/loadavg: 2.48 3.46 3.52 4/485 18272
/proc/meminfo: memFree=29777700/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10549696 CPUtime=1.45 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 25817 0 1 0 142 3 0 0 25 0 22 0 831017497 10802888704 22190 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637424 22190 2211 9 0 2628158 0
[pid=18272/tid=18273] ppid=18270 vsize=10549696 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11670 0 1 0 13 1 0 0 21 0 22 0 831017498 10802888704 22190 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10549696
[startup+1.50109 s]
/proc/loadavg: 2.48 3.46 3.52 3/504 18300
/proc/meminfo: memFree=29487240/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10558108 CPUtime=1.92 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 32171 0 1 0 189 3 0 0 25 0 19 0 831017497 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2639527 28232 2222 9 0 2630261 0
[pid=18272/tid=18273] ppid=18270 vsize=10558108 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11673 0 1 0 13 1 0 0 17 0 19 0 831017498 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017500 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017501 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017501 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10558108 CPUtime=0.54 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6429 0 0 0 53 1 0 0 22 0 19 0 831017503 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10558108 CPUtime=0.5 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 4588 0 0 0 50 0 0 0 22 0 19 0 831017503 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017503 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017513 10811502592 28232 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10558108
[startup+3.10081 s]
/proc/loadavg: 2.76 3.51 3.53 1/501 18306
/proc/meminfo: memFree=29370332/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10558108 CPUtime=2.57 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 49926 0 1 0 251 6 0 0 25 0 19 0 831017497 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2639527 45986 2224 9 0 2630261 0
[pid=18272/tid=18273] ppid=18270 vsize=10558108 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11681 0 1 0 13 1 0 0 16 0 19 0 831017498 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017499 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017500 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831017501 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017501 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10558108 CPUtime=0.66 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6447 0 0 0 65 1 0 0 15 0 19 0 831017503 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10558108 CPUtime=0.63 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 4600 0 0 0 63 0 0 0 15 0 19 0 831017503 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017503 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10558108 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017513 10811502592 45986 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10558108
Solver just ended. Dumping a history of the last processes samples
[startup+4.70153 s]
/proc/loadavg: 2.76 3.51 3.53 5/507 18370
/proc/meminfo: memFree=29376020/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10563416 CPUtime=4.44 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 119048 0 1 0 431 13 0 0 25 0 22 0 831017497 10816937984 113857 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2640854 113860 2251 9 0 2631588 0
[pid=18272/tid=18273] ppid=18270 vsize=10563416 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11684 0 1 0 13 1 0 0 15 0 22 0 831017498 10816937984 113862 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 331 0 0 0 0 0 0 0 16 0 22 0 831017499 10816937984 113865 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 332 0 0 0 0 0 0 0 16 0 22 0 831017499 10816937984 113867 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017499 10816937984 113869 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017499 10816937984 113871 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 251 0 0 0 0 0 0 0 16 0 22 0 831017499 10816937984 113873 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 193 0 0 0 0 0 0 0 18 0 22 0 831017499 10816937984 113874 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 22 0 831017499 10816937984 113875 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 308 0 0 0 0 0 0 0 18 0 22 0 831017499 10816937984 113877 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10563416 CPUtime=0.04 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 1668 0 0 0 4 0 0 0 15 0 22 0 831017500 10816937984 113878 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017501 10816937984 113880 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017501 10816937984 113883 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10563416 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017503 10816937984 113884 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10563416 CPUtime=0.72 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6453 0 0 0 71 1 0 0 15 0 22 0 831017503 10816937984 113887 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10563052 CPUtime=0.07 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) R 18270 18272 13462 0 -1 4202560 2041 0 0 0 7 0 0 0 15 0 22 0 831017500 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 47130707842729 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017501 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017501 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017503 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10563052 CPUtime=0.8 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6466 0 0 0 79 1 0 0 15 0 22 0 831017503 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10563052 CPUtime=1.58 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 8563 0 0 0 158 0 0 0 15 0 22 0 831017503 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017503 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017503 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017513 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18368] ppid=18270 vsize=10563052 CPUtime=1.25 cores=0,2,4,6
/proc/18272/task/18368/stat : 18368 (java) S 18270 18272 13462 0 -1 4202560 591 0 0 0 125 0 0 0 17 0 22 0 831017916 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18369] ppid=18270 vsize=10563052 CPUtime=1.25 cores=0,2,4,6
/proc/18272/task/18369/stat : 18369 (java) S 18270 18272 13462 0 -1 4202560 74420 0 0 0 118 7 0 0 19 0 22 0 831017916 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18370] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18370/stat : 18370 (java) S 18270 18272 13462 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017916 10816565248 144675 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10563052
[startup+5.90131 s]
/proc/loadavg: 2.76 3.51 3.53 5/507 18370
/proc/meminfo: memFree=29063548/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10563052 CPUtime=7.46 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 151318 0 1 0 729 17 0 0 25 0 22 0 831017497 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2640763 144750 2258 9 0 2631497 0
[pid=18272/tid=18273] ppid=18270 vsize=10563052 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11684 0 1 0 13 1 0 0 15 0 22 0 831017498 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 335 0 0 0 0 0 0 0 16 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 22 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10563052 CPUtime=0.09 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 2116 0 0 0 9 0 0 0 15 0 22 0 831017500 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10563052 CPUtime=0.8 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6466 0 0 0 79 1 0 0 15 0 22 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10563052 CPUtime=1.59 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 8563 0 0 0 159 0 0 0 15 0 22 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831017513 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18368] ppid=18270 vsize=10563052 CPUtime=1.61 cores=0,2,4,6
/proc/18272/task/18368/stat : 18368 (java) R 18270 18272 13462 0 -1 4202560 591 0 0 0 161 0 0 0 17 0 22 0 831017916 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 46912505538550 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18272/tid=18369] ppid=18270 vsize=10563052 CPUtime=1.61 cores=0,2,4,6
/proc/18272/task/18369/stat : 18369 (java) R 18270 18272 13462 0 -1 4202560 74420 0 0 0 154 7 0 0 19 0 22 0 831017916 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 46912505601670 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18272/tid=18370] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18370/stat : 18370 (java) S 18270 18272 13462 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017916 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10563052
[startup+6.10128 s]
/proc/loadavg: 2.76 3.51 3.53 5/507 18370
/proc/meminfo: memFree=29063548/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10563052 CPUtime=7.73 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 151318 0 1 0 756 17 0 0 25 0 19 0 831017497 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2640763 144750 2258 9 0 2631497 0
[pid=18272/tid=18273] ppid=18270 vsize=10563052 CPUtime=0.14 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) S 18270 18272 13462 0 -1 4202560 11684 0 1 0 13 1 0 0 15 0 19 0 831017498 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 335 0 0 0 0 0 0 0 16 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10563052 CPUtime=0.09 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 2116 0 0 0 9 0 0 0 15 0 19 0 831017500 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10563052 CPUtime=0.8 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6466 0 0 0 79 1 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10563052 CPUtime=1.59 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 8563 0 0 0 159 0 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017513 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 10563052
[startup+6.20126 s]
/proc/loadavg: 2.76 3.51 3.53 5/507 18370
/proc/meminfo: memFree=29063548/32950928 swapFree=45617076/67111528
[pid=18272] ppid=18270 vsize=10563052 CPUtime=7.74 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 13462 0 -1 4202496 151318 0 1 0 757 17 0 0 25 0 19 0 831017497 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2640763 144750 2258 9 0 2631497 0
[pid=18272/tid=18273] ppid=18270 vsize=10563052 CPUtime=0.15 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 13462 0 -1 4202560 11684 0 1 0 14 1 0 0 15 0 19 0 831017498 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 46912506181164 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 13462 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 13462 0 -1 4202560 335 0 0 0 0 0 0 0 16 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 13462 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 13462 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 13462 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 13462 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 13462 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 13462 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 831017499 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10563052 CPUtime=0.09 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 13462 0 -1 4202560 2116 0 0 0 9 0 0 0 15 0 19 0 831017500 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 0 0 16800975 18446604440900606912 0 0 -1 4 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 13462 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831017501 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101521841 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10563052 CPUtime=0.8 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 13462 0 -1 4202560 6466 0 0 0 79 1 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10563052 CPUtime=1.59 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 13462 0 -1 4202560 8563 0 0 0 159 0 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514137 0 4 0 16800975 18446604440900606912 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017503 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
[pid=18272/tid=18293] ppid=18270 vsize=10563052 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18293/stat : 18293 (java) S 18270 18272 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831017513 10816565248 144750 33554432000 1073741824 1073778376 140736656291344 18446744073709551615 248101514752 0 4 0 16800975 18446604440900606912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 10563052
Child status: 30
Real time (s): 6.27321
CPU time (s): 7.81681
CPU user time (s): 7.61984
CPU system time (s): 0.19697
CPU usage (%): 124.606
Max. virtual memory (cumulated for all children) (KiB): 10567296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.61984
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151323
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= 548
involuntary context switches= 204
runsolver used 0.023996 second user time and 0.079987 second system time
The end