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-3458261-1307158504/watcher-3458261-1307158504 -o /tmp/evaluation-result-3458261-1307158504/solver-3458261-1307158504 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458261-1307158504.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.19 2.07 2.02 2/479 20381
/proc/meminfo: memFree=28522804/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 4476 0 1 0 0 0 0 0 25 0 2 0 827448341 13850947584 4177 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3381579 4190 917 9 0 3372735 0
[pid=20381/tid=20382] ppid=20379 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 6285 0 1 0 0 0 0 0 25 0 2 0 827448341 13850947584 7101 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.020222 s]
/proc/loadavg: 2.19 2.07 2.02 2/479 20381
/proc/meminfo: memFree=28522804/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 9596 0 1 0 0 1 0 0 25 0 2 0 827448341 13850947584 9298 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3381579 9317 917 9 0 3372735 0
[pid=20381/tid=20382] ppid=20379 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 8511 0 1 0 0 0 0 0 25 0 2 0 827448341 13850947584 9327 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100226 s]
/proc/loadavg: 2.19 2.07 2.02 2/479 20381
/proc/meminfo: memFree=28522804/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13621844 CPUtime=0.1 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 15527 0 1 0 9 1 0 0 25 0 18 0 827448341 13948768256 15221 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3405461 15226 2093 9 0 3396195 0
[pid=20381/tid=20382] ppid=20379 vsize=13621844 CPUtime=0.08 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 13661 0 1 0 7 1 0 0 18 0 18 0 827448341 13948768256 15227 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621844
[startup+0.301178 s]
/proc/loadavg: 2.19 2.07 2.02 2/479 20381
/proc/meminfo: memFree=28522804/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13624732 CPUtime=0.54 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 18043 0 1 0 52 2 0 0 25 0 19 0 827448341 13951725568 17074 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3406183 17074 2213 9 0 3396917 0
[pid=20381/tid=20382] ppid=20379 vsize=13624732 CPUtime=0.28 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14284 0 1 0 27 1 0 0 18 0 19 0 827448341 13951725568 17074 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505533569 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13624732
[startup+0.701117 s]
/proc/loadavg: 2.19 2.07 2.02 2/479 20381
/proc/meminfo: memFree=28522804/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13624512 CPUtime=1.02 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 19327 0 1 0 100 2 0 0 25 0 19 0 827448341 13951500288 18158 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3406128 18158 2248 9 0 3396862 0
[pid=20381/tid=20382] ppid=20379 vsize=13624512 CPUtime=0.67 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14688 0 1 0 66 1 0 0 18 0 19 0 827448341 13951500288 18158 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505530722 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13624512
[startup+1.50097 s]
/proc/loadavg: 2.19 2.07 2.02 3/498 20402
/proc/meminfo: memFree=28455392/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13643140 CPUtime=2.17 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 25975 0 1 0 214 3 0 0 25 0 19 0 827448341 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3410785 23165 2248 9 0 3401519 0
[pid=20381/tid=20382] ppid=20379 vsize=13643140 CPUtime=1.44 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14692 0 1 0 143 1 0 0 19 0 19 0 827448341 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505523712 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13643140 CPUtime=0.03 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 728 0 0 0 3 0 0 0 15 0 19 0 827448344 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13643140 CPUtime=0.19 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 2116 0 0 0 19 0 0 0 16 0 19 0 827448347 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13643140 CPUtime=0.46 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) R 20379 20381 16141 0 -1 4202560 6591 0 0 0 46 0 0 0 16 0 19 0 827448347 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 47185814119916 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13970575360 23165 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 13643140
[startup+3.10068 s]
/proc/loadavg: 2.19 2.07 2.02 4/498 20402
/proc/meminfo: memFree=28426604/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13643140 CPUtime=4.21 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 30938 0 1 0 418 3 0 0 25 0 19 0 827448341 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3410785 25815 2249 9 0 3401519 0
[pid=20381/tid=20382] ppid=20379 vsize=13643140 CPUtime=3 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14693 0 1 0 299 1 0 0 22 0 19 0 827448341 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505582589 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 19 0 827448343 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13643140 CPUtime=0.06 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 888 0 0 0 6 0 0 0 16 0 19 0 827448344 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13643140 CPUtime=0.55 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 6706 0 0 0 55 0 0 0 16 0 19 0 827448347 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13643140 CPUtime=0.54 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) S 20379 20381 16141 0 -1 4202560 6626 0 0 0 54 0 0 0 15 0 19 0 827448347 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13643140 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13970575360 25815 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 13643140
[startup+6.30111 s]
/proc/loadavg: 2.17 2.07 2.02 3/498 20403
/proc/meminfo: memFree=28427476/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13639360 CPUtime=7.46 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 31508 0 1 0 743 3 0 0 25 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3409840 25121 2249 9 0 3400574 0
[pid=20381/tid=20382] ppid=20379 vsize=13639360 CPUtime=6.09 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14708 0 1 0 608 1 0 0 21 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505578976 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13639360 CPUtime=0.16 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 1294 0 0 0 16 0 0 0 16 0 19 0 827448344 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13639360 CPUtime=0.56 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 6706 0 0 0 56 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13639360 CPUtime=0.57 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) S 20379 20381 16141 0 -1 4202560 6626 0 0 0 57 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 13639360
Solver just ended. Dumping a history of the last processes samples
[startup+7.10095 s]
/proc/loadavg: 2.17 2.07 2.02 3/498 20403
/proc/meminfo: memFree=28427472/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13639360 CPUtime=8.27 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 31509 0 1 0 824 3 0 0 25 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3409840 25121 2249 9 0 3400574 0
[pid=20381/tid=20382] ppid=20379 vsize=13639360 CPUtime=6.87 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14709 0 1 0 686 1 0 0 23 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505495936 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13639360 CPUtime=0.17 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 1294 0 0 0 17 0 0 0 16 0 19 0 827448344 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13639360 CPUtime=0.56 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 6706 0 0 0 56 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13639360 CPUtime=0.57 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) S 20379 20381 16141 0 -1 4202560 6626 0 0 0 57 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 13639360
[startup+7.50087 s]
/proc/loadavg: 2.17 2.07 2.02 3/498 20403
/proc/meminfo: memFree=28427472/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13639360 CPUtime=8.67 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 31509 0 1 0 864 3 0 0 25 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3409840 25121 2249 9 0 3400574 0
[pid=20381/tid=20382] ppid=20379 vsize=13639360 CPUtime=7.27 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14709 0 1 0 726 1 0 0 25 0 19 0 827448341 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505533652 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13639360 CPUtime=0.17 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 1294 0 0 0 17 0 0 0 16 0 19 0 827448344 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13639360 CPUtime=0.56 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 6706 0 0 0 56 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13639360 CPUtime=0.57 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) S 20379 20381 16141 0 -1 4202560 6626 0 0 0 57 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13966704640 25121 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 13639360
[startup+7.71785 s]
/proc/loadavg: 2.17 2.07 2.02 3/498 20403
/proc/meminfo: memFree=28427472/32951124 swapFree=41830676/67111528
[pid=20381] ppid=20379 vsize=13639360 CPUtime=8.91 cores=0,2,4,6
/proc/20381/stat : 20381 (java) S 20379 20381 16141 0 -1 4202496 31510 0 1 0 888 3 0 0 25 0 19 0 827448341 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20381/statm: 3409840 25122 2249 9 0 3400574 0
[pid=20381/tid=20382] ppid=20379 vsize=13639360 CPUtime=7.49 cores=0,2,4,6
/proc/20381/task/20382/stat : 20382 (java) R 20379 20381 16141 0 -1 4202560 14710 0 1 0 748 1 0 0 25 0 19 0 827448341 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 46912505728028 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20381/tid=20385] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20385/stat : 20385 (java) S 20379 20381 16141 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20386] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20386/stat : 20386 (java) S 20379 20381 16141 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20387] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20387/stat : 20387 (java) S 20379 20381 16141 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20388] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20388/stat : 20388 (java) S 20379 20381 16141 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20389] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20389/stat : 20389 (java) S 20379 20381 16141 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 6 0 0 0
[pid=20381/tid=20390] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20390/stat : 20390 (java) S 20379 20381 16141 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20391] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20391/stat : 20391 (java) S 20379 20381 16141 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20392] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20392/stat : 20392 (java) S 20379 20381 16141 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 827448343 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20394] ppid=20379 vsize=13639360 CPUtime=0.17 cores=0,2,4,6
/proc/20381/task/20394/stat : 20394 (java) S 20379 20381 16141 0 -1 4202560 1294 0 0 0 17 0 0 0 16 0 19 0 827448344 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 0 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20395] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20395/stat : 20395 (java) S 20379 20381 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20396] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20396/stat : 20396 (java) S 20379 20381 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827448345 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20397] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20397/stat : 20397 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134537649 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20398] ppid=20379 vsize=13639360 CPUtime=0.56 cores=0,2,4,6
/proc/20381/task/20398/stat : 20398 (java) S 20379 20381 16141 0 -1 4202560 6706 0 0 0 56 0 0 0 15 0 19 0 827448347 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20399] ppid=20379 vsize=13639360 CPUtime=0.6 cores=0,2,4,6
/proc/20381/task/20399/stat : 20399 (java) R 20379 20381 16141 0 -1 4202560 6626 0 0 0 60 0 0 0 15 0 19 0 827448347 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 47185815830422 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20381/tid=20400] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20400/stat : 20400 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827448347 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134529945 0 4 0 16800975 18446604446792955904 0 0 -1 4 0 0 0
[pid=20381/tid=20401] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20401/stat : 20401 (java) S 20379 20381 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827448347 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
[pid=20381/tid=20402] ppid=20379 vsize=13639360 CPUtime=0 cores=0,2,4,6
/proc/20381/task/20402/stat : 20402 (java) S 20379 20381 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827448358 13966704640 25122 33554432000 1073741824 1073778376 140736486820992 18446744073709551615 228134530560 0 4 0 16800975 18446604446792955904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 13639360
Child status: 30
Real time (s): 7.72846
CPU time (s): 8.93664
CPU user time (s): 8.89265
CPU system time (s): 0.043993
CPU usage (%): 115.633
Max. virtual memory (cumulated for all children) (KiB): 13643140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.89265
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31530
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= 675
involuntary context switches= 231
runsolver used 0.032994 second user time and 0.102984 second system time
The end