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-3709729-1338131135/watcher-3709729-1338131135 -o /tmp/evaluation-result-3709729-1338131135/solver-3709729-1338131135 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709729-1338131135.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.00 2.03 2.00 3/194 1375
/proc/meminfo: memFree=28558172/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1375/stat : 1375 (java) D 1373 1375 32120 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 279238889 9515008 185 33554432000 1073741824 1073778376 140735190723088 140735190712152 270698376487 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2323 185 143 9 0 71 0
[startup+0.0939941 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 1375
/proc/meminfo: memFree=28558172/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 279238889 9787842560 6013 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2389610 6013 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.100202 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 1375
/proc/meminfo: memFree=28558172/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 4389 0 1 0 9 1 0 0 20 0 18 0 279238889 9787842560 6107 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2389610 6107 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300169 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 1375
/proc/meminfo: memFree=28558172/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 7073 0 1 0 51 1 0 0 20 0 19 0 279238889 9856004096 9797 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 9797 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004
[startup+0.700171 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 1375
/proc/meminfo: memFree=28558172/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 7481 0 1 0 110 2 0 0 20 0 19 0 279238889 9856004096 10765 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 10765 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9625004
[startup+1.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 1395
/proc/meminfo: memFree=28517740/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 7734 0 1 0 197 2 0 0 20 0 19 0 279238889 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 16989 2278 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2528 0 1 0 144 2 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867900449192 139867772629267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 279238891 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 1417 0 0 0 21 0 0 0 20 0 19 0 279238894 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 26 0 0 0 20 0 19 0 279238894 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 16989 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9625004
[startup+3.10072 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 1395
/proc/meminfo: memFree=28498864/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=3.64 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 7764 0 1 0 361 3 0 0 20 0 19 0 279238889 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 21091 2278 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2530 0 1 0 302 2 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867900449304 139867772629388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 279238891 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 1417 0 0 0 23 0 0 0 20 0 19 0 279238894 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 21091 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9625004
[startup+6.30064 s]
/proc/loadavg: 2.00 2.03 2.00 4/213 1395
/proc/meminfo: memFree=28475308/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=6.94 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 8472 0 1 0 690 4 0 0 20 0 19 0 279238889 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 24558 2278 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2531 0 1 0 617 2 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867900449072 139867772629324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238890 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 19 0 279238891 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 2089 0 0 0 29 0 0 0 20 0 19 0 279238894 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 24558 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 202 0 0 0 86 4 0 0 20 0 19 0 279238890 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 292 0 0 0 71 4 0 0 20 0 19 0 279238890 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 248 0 0 0 67 3 0 0 20 0 19 0 279238890 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=3.89 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 139 0 0 0 386 3 0 0 20 0 19 0 279238891 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 2244 0 0 0 31 0 0 0 20 0 19 0 279238894 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 95 0 0 0 28 36 0 0 20 0 19 0 279238894 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 110466 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.05
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 1481
/proc/meminfo: memFree=28000864/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=1728.24 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 10965 0 1 0 172754 70 0 0 20 0 19 0 279238889 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 110524 2279 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=1716.52 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2652 0 1 0 171623 29 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867900449072 139867772629056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 375 0 0 0 78 5 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 419 0 0 0 80 4 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 164 0 0 0 79 4 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 163 0 0 0 85 4 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 246 0 0 0 79 3 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 202 0 0 0 88 4 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 292 0 0 0 73 4 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 248 0 0 0 71 3 0 0 20 0 19 0 279238890 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=4.03 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 143 0 0 0 400 3 0 0 20 0 19 0 279238891 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 2244 0 0 0 31 0 0 0 20 0 19 0 279238894 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 99 0 0 0 30 37 0 0 20 0 19 0 279238894 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 110524 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.24
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 1481
/proc/meminfo: memFree=27978092/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=1788.39 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 11006 0 1 0 178765 74 0 0 20 0 19 0 279238889 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 115132 2279 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=1776.35 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2654 0 1 0 177604 31 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867900449072 139867772692513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 375 0 0 0 80 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 422 0 0 0 82 4 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 172 0 0 0 79 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 163 0 0 0 86 4 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 247 0 0 0 80 3 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 210 0 0 0 92 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 297 0 0 0 75 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 256 0 0 0 75 3 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 145 0 0 0 412 3 0 0 20 0 19 0 279238891 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 2244 0 0 0 31 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 103 0 0 0 31 38 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.06 2.03 2.00 3/213 1481
/proc/meminfo: memFree=27969472/32873648 swapFree=6864/6864
[pid=1375] ppid=1373 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1373 1375 32120 0 -1 4202496 11006 0 1 0 179936 74 0 0 20 0 19 0 279238889 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 140735190714224 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1375/statm: 2406251 115132 2279 9 0 2396937 0
[pid=1375/tid=1377] ppid=1373 vsize=9625004 CPUtime=1788.07 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) R 1373 1375 32120 0 -1 4202560 2654 0 1 0 178776 31 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867900449072 139867772629264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1378] ppid=1373 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1373 1375 32120 0 -1 4202560 375 0 0 0 80 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867744368808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1379] ppid=1373 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1373 1375 32120 0 -1 4202560 422 0 0 0 82 4 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867743316264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1380] ppid=1373 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1373 1375 32120 0 -1 4202560 172 0 0 0 79 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867742263720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1381] ppid=1373 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1373 1375 32120 0 -1 4202560 163 0 0 0 86 4 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867741211176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1382] ppid=1373 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1373 1375 32120 0 -1 4202560 247 0 0 0 80 3 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867740158632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1375/tid=1384] ppid=1373 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1373 1375 32120 0 -1 4202560 210 0 0 0 92 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867739106088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1385] ppid=1373 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1373 1375 32120 0 -1 4202560 297 0 0 0 75 5 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867738053544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1386] ppid=1373 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1373 1375 32120 0 -1 4202560 256 0 0 0 75 3 0 0 20 0 19 0 279238890 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867737001000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1375/tid=1387] ppid=1373 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1373 1375 32120 0 -1 4202560 145 0 0 0 412 3 0 0 20 0 19 0 279238891 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867724589160 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1388] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1373 1375 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867723535480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1389] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1373 1375 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279238892 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867722482824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1390] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1390/stat : 1390 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867721431568 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1391] ppid=1373 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1373 1375 32120 0 -1 4202560 2244 0 0 0 31 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867720378936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1392] ppid=1373 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/1375/task/1392/stat : 1392 (java) S 1373 1375 32120 0 -1 4202560 2532 0 0 0 28 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867719326392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1393] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1373 1375 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867718274040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1375/tid=1394] ppid=1373 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1373 1375 32120 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 279238894 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867717221704 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1375/tid=1395] ppid=1373 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1373 1375 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279238915 9856004096 115132 33554432000 1073741824 1073778376 140735190723088 139867716166440 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.06
CPU time (s): 1800.71
CPU user time (s): 1799.5
CPU system time (s): 1.21181
CPU usage (%): 100.371
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.21182
maximum resident set size= 460688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11050
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40122
involuntary context switches= 11707
runsolver used 5.99109 second user time and 15.5226 second system time
The end