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-3458159-1307158273/watcher-3458159-1307158273 -o /tmp/evaluation-result-3458159-1307158273/solver-3458159-1307158273 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458159-1307158273.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: 1.95 2.00 1.91 2/491 31947
/proc/meminfo: memFree=20292648/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 7159 0 1 0 0 0 0 0 25 0 2 0 827426956 13850947584 6861 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3381579 6874 917 9 0 3372735 0
[pid=31947/tid=31949] ppid=31945 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 6779 0 1 0 0 0 0 0 25 0 2 0 827426957 13850947584 7595 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.102636 s]
/proc/loadavg: 1.95 2.00 1.91 2/491 31947
/proc/meminfo: memFree=20292648/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13621868 CPUtime=0.11 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 15569 0 1 0 9 2 0 0 25 0 18 0 827426956 13948792832 15266 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3405467 15266 2092 9 0 3396201 0
[pid=31947/tid=31949] ppid=31945 vsize=13621868 CPUtime=0.08 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 13699 0 1 0 7 1 0 0 18 0 18 0 827426957 13948792832 15266 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485794251 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621868
[startup+0.240149 s]
/proc/loadavg: 1.95 2.00 1.91 2/491 31947
/proc/meminfo: memFree=20292648/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13625608 CPUtime=0.4 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 18341 0 1 0 38 2 0 0 25 0 19 0 827426956 13952622592 17156 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3406402 17156 2198 9 0 3397136 0
[pid=31947/tid=31949] ppid=31945 vsize=13625608 CPUtime=0.22 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14164 0 1 0 21 1 0 0 19 0 19 0 827426957 13952622592 17148 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 47996027474839 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 13625608
[startup+0.300594 s]
/proc/loadavg: 1.95 2.00 1.91 2/491 31947
/proc/meminfo: memFree=20292648/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13625616 CPUtime=0.55 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 18697 0 1 0 53 2 0 0 25 0 19 0 827426956 13952630784 17215 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3406404 17215 2200 9 0 3397138 0
[pid=31947/tid=31949] ppid=31945 vsize=13625616 CPUtime=0.28 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14223 0 1 0 27 1 0 0 19 0 19 0 827426957 13952630784 17215 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505612850 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625616
[startup+0.70059 s]
/proc/loadavg: 1.95 2.00 1.91 2/491 31947
/proc/meminfo: memFree=20292648/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13625332 CPUtime=1.02 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 20144 0 1 0 100 2 0 0 25 0 19 0 827426956 13952339968 18369 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3406333 18369 2236 9 0 3397067 0
[pid=31947/tid=31949] ppid=31945 vsize=13625332 CPUtime=0.68 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14689 0 1 0 66 2 0 0 19 0 19 0 827426957 13952339968 18369 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505539628 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13625332
[startup+1.50145 s]
/proc/loadavg: 1.95 2.00 1.91 3/510 31969
/proc/meminfo: memFree=20225608/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13625332 CPUtime=1.85 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 20653 0 1 0 183 2 0 0 25 0 19 0 827426956 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3406333 18877 2238 9 0 3397067 0
[pid=31947/tid=31949] ppid=31945 vsize=13625332 CPUtime=1.46 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14694 0 1 0 144 2 0 0 20 0 19 0 827426957 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505562422 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 323 0 0 0 0 0 0 0 16 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 827426959 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13625332 CPUtime=0.02 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 536 0 0 0 2 0 0 0 16 0 19 0 827426960 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13625332 CPUtime=0.15 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 1866 0 0 0 15 0 0 0 15 0 19 0 827426962 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13625332 CPUtime=0.2 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 1724 0 0 0 20 0 0 0 15 0 19 0 827426962 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13625332 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13952339968 18877 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13625332
[startup+3.10118 s]
/proc/loadavg: 1.95 2.00 1.91 4/510 31970
/proc/meminfo: memFree=20199940/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13638952 CPUtime=4.08 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 31365 0 1 0 404 4 0 0 25 0 19 0 827426956 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3409738 26115 2248 9 0 3400472 0
[pid=31947/tid=31949] ppid=31945 vsize=13638952 CPUtime=3 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14697 0 1 0 298 2 0 0 25 0 19 0 827426957 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505617409 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 328 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.07 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 838 0 0 0 7 0 0 0 16 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13638952 CPUtime=0.56 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 6848 0 0 0 56 0 0 0 16 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 13638952
Solver just ended. Dumping a history of the last processes samples
[startup+3.20117 s]
/proc/loadavg: 1.95 2.00 1.91 4/510 31970
/proc/meminfo: memFree=20199940/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13638952 CPUtime=4.18 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 31365 0 1 0 414 4 0 0 25 0 19 0 827426956 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3409738 26115 2248 9 0 3400472 0
[pid=31947/tid=31949] ppid=31945 vsize=13638952 CPUtime=3.1 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14697 0 1 0 308 2 0 0 25 0 19 0 827426957 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505505184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 328 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.07 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 838 0 0 0 7 0 0 0 16 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26115 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 369 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 21 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.08 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 1065 0 0 0 8 0 0 0 16 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13638952 CPUtime=0.58 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 6848 0 0 0 58 0 0 0 15 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 13638952
[startup+4.40095 s]
/proc/loadavg: 1.95 2.00 1.91 3/510 31970
/proc/meminfo: memFree=20193744/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13638952 CPUtime=5.43 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 31678 0 1 0 539 4 0 0 25 0 19 0 827426956 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3409738 26427 2248 9 0 3400472 0
[pid=31947/tid=31949] ppid=31945 vsize=13638952 CPUtime=4.3 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14699 0 1 0 428 2 0 0 25 0 19 0 827426957 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505728948 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 369 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 21 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.08 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 1065 0 0 0 8 0 0 0 16 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13638952 CPUtime=0.58 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 6848 0 0 0 58 0 0 0 16 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13966286848 26427 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 13638952
[startup+4.80075 s]
/proc/loadavg: 1.95 2.00 1.91 3/510 31970
/proc/meminfo: memFree=20193744/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13638952 CPUtime=5.82 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 31851 0 1 0 578 4 0 0 25 0 19 0 827426956 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3409738 26598 2248 9 0 3400472 0
[pid=31947/tid=31949] ppid=31945 vsize=13638952 CPUtime=4.66 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14701 0 1 0 464 2 0 0 25 0 19 0 827426957 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505522210 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.1 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 1217 0 0 0 10 0 0 0 16 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13638952 CPUtime=0.59 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 6848 0 0 0 59 0 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13638952
[startup+4.90073 s]
/proc/loadavg: 1.95 2.00 1.91 3/510 31970
/proc/meminfo: memFree=20193744/32950928 swapFree=61858088/67111528
[pid=31947] ppid=31945 vsize=13638952 CPUtime=5.92 cores=0,2,4,6
/proc/31947/stat : 31947 (java) S 31945 31947 27375 0 -1 4202496 31851 0 1 0 588 4 0 0 25 0 19 0 827426956 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31947/statm: 3409738 26598 2248 9 0 3400472 0
[pid=31947/tid=31949] ppid=31945 vsize=13638952 CPUtime=4.76 cores=0,2,4,6
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 27375 0 -1 4202560 14701 0 1 0 474 2 0 0 25 0 19 0 827426957 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 46912505521863 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 27375 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31952] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 27375 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31954] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 27375 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 27375 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31956] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 27375 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31957] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31957/stat : 31957 (java) S 31945 31947 27375 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31958] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31958/stat : 31958 (java) S 31945 31947 27375 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31959] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31959/stat : 31959 (java) S 31945 31947 27375 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 827426959 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31960] ppid=31945 vsize=13638952 CPUtime=0.1 cores=0,2,4,6
/proc/31947/task/31960/stat : 31960 (java) S 31945 31947 27375 0 -1 4202560 1217 0 0 0 10 0 0 0 16 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 0 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
[pid=31947/tid=31961] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31961/stat : 31961 (java) S 31945 31947 27375 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31962] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31962/stat : 31962 (java) S 31945 31947 27375 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827426960 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31963] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31963/stat : 31963 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485791153 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31964] ppid=31945 vsize=13638952 CPUtime=0.4 cores=0,2,4,6
/proc/31947/task/31964/stat : 31964 (java) S 31945 31947 27375 0 -1 4202560 7078 0 0 0 39 1 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 2 0 0 0
[pid=31947/tid=31965] ppid=31945 vsize=13638952 CPUtime=0.59 cores=0,2,4,6
/proc/31947/task/31965/stat : 31965 (java) S 31945 31947 27375 0 -1 4202560 6848 0 0 0 59 0 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31966] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31966/stat : 31966 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485783449 0 4 0 16800975 18446604453882628160 0 0 -1 6 0 0 0
[pid=31947/tid=31968] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31968/stat : 31968 (java) S 31945 31947 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827426962 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 4 0 0 0
[pid=31947/tid=31969] ppid=31945 vsize=13638952 CPUtime=0 cores=0,2,4,6
/proc/31947/task/31969/stat : 31969 (java) S 31945 31947 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827426972 13966286848 26598 33554432000 1073741824 1073778376 140734809455296 18446744073709551615 274485784064 0 4 0 16800975 18446604453882628160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13638952
Child status: 30
Real time (s): 4.94097
CPU time (s): 5.96409
CPU user time (s): 5.9131
CPU system time (s): 0.050992
CPU usage (%): 120.707
Max. virtual memory (cumulated for all children) (KiB): 13638952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9131
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31876
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= 520
involuntary context switches= 274
runsolver used 0.030995 second user time and 0.054991 second system time
The end