runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709750-1338126523/watcher-3709750-1338126523 -o /tmp/evaluation-result-3709750-1338126523/solver-3709750-1338126523 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709750-1338126523.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28629
/proc/meminfo: memFree=30507156/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28629/stat : 28629 (java) R 28627 28629 28151 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 278777434 23793664 557 33554432000 1073741824 1073778376 140737363371856 140737363360920 213410429491 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 5809 569 427 9 0 128 0
[startup+0.099591 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28629
/proc/meminfo: memFree=30507156/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 4285 0 1 0 9 1 0 0 20 0 18 0 278777434 9787842560 6003 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 6003 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.100305 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28629
/proc/meminfo: memFree=30507156/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 4285 0 1 0 9 1 0 0 20 0 18 0 278777434 9787842560 6003 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 6003 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300157 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28629
/proc/meminfo: memFree=30507156/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 5618 0 1 0 45 2 0 0 20 0 18 0 278777434 9787842560 8457 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 8457 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440
[startup+0.70027 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28629
/proc/meminfo: memFree=30507156/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=1.12 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 7226 0 1 0 108 4 0 0 20 0 18 0 278777434 9787842560 40506 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 40506 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9558440
[startup+1.50075 s]
/proc/loadavg: 2.06 2.02 2.00 3/212 28647
/proc/meminfo: memFree=30340804/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=2.09 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 7473 0 1 0 197 12 0 0 20 0 18 0 278777434 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 79033 2253 9 0 2380296 0
[pid=28629/tid=28631] ppid=28627 vsize=9558440 CPUtime=1.4 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 2631 0 1 0 134 6 0 0 20 0 18 0 278777435 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416625429880 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 278777436 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) S 28627 28629 28151 0 -1 4202560 1267 0 0 0 19 0 0 0 20 0 18 0 278777439 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416444742456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9558440 CPUtime=0.2 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) S 28627 28629 28151 0 -1 4202560 2113 0 0 0 20 0 0 0 20 0 18 0 278777439 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416443689912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777440 9787842560 79033 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9558440
[startup+3.1008 s]
/proc/loadavg: 2.06 2.02 2.00 3/212 28647
/proc/meminfo: memFree=30169704/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=4.02 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 8073 0 1 0 375 27 0 0 20 0 18 0 278777434 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 153119 2255 9 0 2380296 0
[pid=28629/tid=28631] ppid=28627 vsize=9558440 CPUtime=2.89 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 2744 0 1 0 279 10 0 0 20 0 18 0 278777435 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416625429768 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 22 0 0 0 4 1 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9558440 CPUtime=0.12 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 53 0 0 0 8 4 0 0 20 0 18 0 278777436 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 470 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) S 28627 28629 28151 0 -1 4202560 1267 0 0 0 19 0 0 0 20 0 18 0 278777439 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416444742456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9558440 CPUtime=0.2 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) S 28627 28629 28151 0 -1 4202560 2115 0 0 0 20 0 0 0 20 0 18 0 278777439 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416443689912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777440 9787842560 153119 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9558440
[startup+6.30082 s]
/proc/loadavg: 2.22 2.05 2.01 7/212 28647
/proc/meminfo: memFree=29391032/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=7.8 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 9573 0 1 0 730 50 0 0 20 0 18 0 278777434 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2389610 297765 2255 9 0 2380296 0
[pid=28629/tid=28631] ppid=28627 vsize=9558440 CPUtime=5.87 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 3444 0 1 0 569 18 0 0 20 0 18 0 278777435 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416625429784 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9558440 CPUtime=0.12 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 63 0 0 0 10 2 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9558440 CPUtime=0.18 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 66 0 0 0 14 4 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 73 0 0 0 15 4 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 74 0 0 0 13 4 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9558440 CPUtime=0.16 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 70 0 0 0 13 3 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9558440 CPUtime=0.21 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 94 0 0 0 16 5 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9558440 CPUtime=0.21 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 88 0 0 0 16 5 0 0 20 0 18 0 278777436 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 993 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) S 28627 28629 28151 0 -1 4202560 1267 0 0 0 19 0 0 0 20 0 18 0 278777439 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416444742456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9558440 CPUtime=0.22 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) S 28627 28629 28151 0 -1 4202560 2115 0 0 0 22 0 0 0 20 0 18 0 278777439 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416443689912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777440 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 9558440
Solver just ended. Dumping a history of the last processes samples
[startup+6.40097 s]
/proc/loadavg: 2.22 2.05 2.01 7/212 28647
/proc/meminfo: memFree=29391032/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9558440 CPUtime=7.9 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 9573 0 1 0 740 50 0 0 20 0 18 0 278777434 9787842560 297765 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
/proc/28629/task/28631/stat : 28631 (java) S 28627 28629 28151 0 -1 4202560 3889 0 1 0 934 33 0 0 20 0 18 0 278777435 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416625429896 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) R 28627 28629 28151 0 -1 4202560 130 0 0 0 21 6 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416586922584 140416632327084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) R 28627 28629 28151 0 -1 4202560 77 0 0 0 14 3 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416585869744 140416629606575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) R 28627 28629 28151 0 -1 4202560 98 0 0 0 19 5 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416584816984 140416629606575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9558440 CPUtime=0.38 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) R 28627 28629 28151 0 -1 4202560 163 0 0 0 30 8 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416583764440 140416629606575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) R 28627 28629 28151 0 -1 4202560 182 0 0 0 36 9 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416582712408 140416632326894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9558440 CPUtime=0.34 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) R 28627 28629 28151 0 -1 4202560 131 0 0 0 27 7 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416581659864 140416629606575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9558440 CPUtime=0.35 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) R 28627 28629 28151 0 -1 4202560 159 0 0 0 28 7 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416580606808 140416629592755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) R 28627 28629 28151 0 -1 4202560 114 0 0 0 21 6 0 0 20 0 18 0 278777436 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416579554264 140416627902195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 1018 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416448951560 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 278777437 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) S 28627 28629 28151 0 -1 4202560 1267 0 0 0 19 0 0 0 20 0 18 0 278777439 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416444742456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9558440 CPUtime=0.23 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) S 28627 28629 28151 0 -1 4202560 2121 0 0 0 23 0 0 0 20 0 18 0 278777439 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416443689912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777439 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 278777440 9787842560 583047 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 9558440
[startup+11.2007 s]
/proc/loadavg: 2.20 2.05 2.01 3/213 28648
/proc/meminfo: memFree=28163372/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9625004 CPUtime=14.02 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 16057 0 1 0 1312 90 0 0 20 0 19 0 278777434 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2406251 587349 2268 9 0 2396937 0
[pid=28629/tid=28631] ppid=28627 vsize=9625004 CPUtime=10.43 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 3905 0 1 0 1009 34 0 0 20 0 19 0 278777435 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416625422648 140416456451082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 136 0 0 0 23 6 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 83 0 0 0 15 3 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 100 0 0 0 20 5 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 169 0 0 0 33 9 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 192 0 0 0 39 10 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 133 0 0 0 28 7 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 162 0 0 0 30 7 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 114 0 0 0 22 6 0 0 20 0 19 0 278777436 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587349 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587371 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) R 28627 28629 28151 0 -1 4202560 2953 0 0 0 32 0 0 0 20 0 19 0 278777439 9856004096 587382 33554432000 1073741824 1073778376 140737363371856 140416444742456 140416629007970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) R 28627 28629 28151 0 -1 4202560 5698 0 0 0 44 2 0 0 20 0 19 0 278777439 9856004096 587382 33554432000 1073741824 1073778376 140737363371856 140416443677200 140416631894700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587382 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777440 9856004096 587382 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28648] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28648/stat : 28648 (java) S 28627 28629 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278778530 9856004096 587382 33554432000 1073741824 1073778376 140737363371856 140415432909864 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.02
Current children cumulated vsize (KiB) 9625004
[startup+11.4008 s]
/proc/loadavg: 2.20 2.05 2.01 3/213 28648
/proc/meminfo: memFree=28163372/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9625004 CPUtime=14.39 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 16525 0 1 0 1349 90 0 0 20 0 19 0 278777434 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2406251 587381 2271 9 0 2396937 0
[pid=28629/tid=28631] ppid=28627 vsize=9625004 CPUtime=10.63 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 3905 0 1 0 1029 34 0 0 20 0 19 0 278777435 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416625431144 140416457197626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 136 0 0 0 23 6 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 83 0 0 0 15 3 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 100 0 0 0 20 5 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 169 0 0 0 33 9 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 192 0 0 0 39 10 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 133 0 0 0 28 7 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 162 0 0 0 30 7 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 114 0 0 0 22 6 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) S 28627 28629 28151 0 -1 4202560 3358 0 0 0 41 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416444742456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) S 28627 28629 28151 0 -1 4202560 5728 0 0 0 51 2 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416443689912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777440 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28648] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28648/stat : 28648 (java) S 28627 28629 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278778530 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140415432909864 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 9625004
[startup+11.5008 s]
/proc/loadavg: 2.20 2.05 2.01 3/213 28648
/proc/meminfo: memFree=28163372/32873844 swapFree=6600/6600
[pid=28629] ppid=28627 vsize=9625004 CPUtime=14.54 cores=1,3,5,7
/proc/28629/stat : 28629 (java) S 28627 28629 28151 0 -1 4202496 16525 0 1 0 1364 90 0 0 20 0 19 0 278777434 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140737363362992 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28629/statm: 2406251 587381 2271 9 0 2396937 0
[pid=28629/tid=28631] ppid=28627 vsize=9625004 CPUtime=10.73 cores=1,3,5,7
/proc/28629/task/28631/stat : 28631 (java) R 28627 28629 28151 0 -1 4202560 3905 0 1 0 1039 34 0 0 20 0 19 0 278777435 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416625431144 140416456425953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28629/tid=28632] ppid=28627 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/28629/task/28632/stat : 28632 (java) S 28627 28629 28151 0 -1 4202560 136 0 0 0 23 6 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416586922408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28633] ppid=28627 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/28629/task/28633/stat : 28633 (java) S 28627 28629 28151 0 -1 4202560 83 0 0 0 15 3 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416585869864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28634] ppid=28627 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/28629/task/28634/stat : 28634 (java) S 28627 28629 28151 0 -1 4202560 100 0 0 0 20 5 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416584816808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28635] ppid=28627 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/28629/task/28635/stat : 28635 (java) S 28627 28629 28151 0 -1 4202560 169 0 0 0 33 9 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416583764264 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28636] ppid=28627 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/28629/task/28636/stat : 28636 (java) S 28627 28629 28151 0 -1 4202560 192 0 0 0 39 10 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416582712232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28637] ppid=28627 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/28629/task/28637/stat : 28637 (java) S 28627 28629 28151 0 -1 4202560 133 0 0 0 28 7 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416581659688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28638] ppid=28627 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/28629/task/28638/stat : 28638 (java) S 28627 28629 28151 0 -1 4202560 162 0 0 0 30 7 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416580606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28639] ppid=28627 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/28629/task/28639/stat : 28639 (java) S 28627 28629 28151 0 -1 4202560 114 0 0 0 22 6 0 0 20 0 19 0 278777436 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416579554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28640] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28640/stat : 28640 (java) S 28627 28629 28151 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416448952680 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28641] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28641/stat : 28641 (java) S 28627 28629 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416447899000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28642] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28642/stat : 28642 (java) S 28627 28629 28151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278777437 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416446845832 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28643] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28643/stat : 28643 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416445794576 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28644] ppid=28627 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/28629/task/28644/stat : 28644 (java) R 28627 28629 28151 0 -1 4202560 3358 0 0 0 43 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416444742456 140416628306033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28629/tid=28645] ppid=28627 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/28629/task/28645/stat : 28645 (java) R 28627 28629 28151 0 -1 4202560 5728 0 0 0 54 2 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416443667984 140416628357236 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28646] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28646/stat : 28646 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777439 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416442637048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28629/tid=28647] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28647/stat : 28647 (java) S 28627 28629 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278777440 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140416441584712 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28629/tid=28648] ppid=28627 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/28629/task/28648/stat : 28648 (java) S 28627 28629 28151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278778530 9856004096 587381 33554432000 1073741824 1073778376 140737363371856 140415432909864 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (KiB) 9625004
Child status: 10
Real time (s): 11.5496
CPU time (s): 14.6318
CPU user time (s): 13.6189
CPU system time (s): 1.01285
CPU usage (%): 126.686
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6189
system time used= 1.01285
maximum resident set size= 2350496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16548
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 821
involuntary context switches= 882
runsolver used 0.021996 second user time and 0.12698 second system time
The end