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-3740895-1338737870/watcher-3740895-1338737870 -o /tmp/evaluation-result-3740895-1338737870/solver-3740895-1338737870 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3740895-1338737870.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: 1.99 2.00 2.00 3/192 13487
/proc/meminfo: memFree=27923412/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13487/stat : 13487 (java) R 13485 13487 7296 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 339915566 23793664 717 33554432000 1073741824 1073778376 140733842023200 140733842012264 226320496720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 5809 717 531 9 0 128 0
[startup+0.075809 s]
/proc/loadavg: 1.99 2.00 2.00 3/192 13487
/proc/meminfo: memFree=27923412/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 4126 0 1 0 5 1 0 0 20 0 18 0 339915566 3028844544 5844 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 5844 1789 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100333 s]
/proc/loadavg: 1.99 2.00 2.00 3/192 13487
/proc/meminfo: memFree=27923412/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 4910 0 1 0 9 1 0 0 20 0 18 0 339915566 3028844544 6625 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 6625 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.30019 s]
/proc/loadavg: 1.99 2.00 2.00 3/192 13487
/proc/meminfo: memFree=27923412/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 5684 0 1 0 44 2 0 0 20 0 18 0 339915566 3028844544 9745 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 9745 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700204 s]
/proc/loadavg: 1.99 2.00 2.00 3/192 13487
/proc/meminfo: memFree=27923412/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=1.62 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 13949 0 1 0 156 6 0 0 20 0 18 0 339915566 3028844544 37314 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 37314 2255 9 0 729885 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 2957856
[startup+1.50075 s]
/proc/loadavg: 1.99 2.00 2.00 3/210 13505
/proc/meminfo: memFree=27627524/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=2.57 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 14160 0 1 0 242 15 0 0 20 0 18 0 339915566 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 118742 2270 9 0 729885 0
[pid=13487/tid=13489] ppid=13485 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) R 13485 13487 7296 0 -1 4202560 3229 0 1 0 134 9 0 0 20 0 18 0 339915566 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776166825592 139776036879298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776155887784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) S 13485 13487 7296 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776030796072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) S 13485 13487 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776029743528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) S 13485 13487 7296 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776028690984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) S 13485 13487 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776027638440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) S 13485 13487 7296 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776026585896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) S 13485 13487 7296 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776025533352 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) S 13485 13487 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339915567 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139776024480808 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339915568 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775541471336 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915571 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4639 0 0 0 46 1 0 0 20 0 18 0 339915571 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5051 0 0 0 47 1 0 0 20 0 18 0 339915571 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 118742 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 2957856
[startup+3.10075 s]
/proc/loadavg: 1.99 2.00 2.00 3/210 13505
/proc/meminfo: memFree=27416644/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=4.52 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 14308 0 1 0 425 27 0 0 20 0 18 0 339915566 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 136158 2270 9 0 729885 0
[pid=13487/tid=13489] ppid=13485 vsize=2957856 CPUtime=2.91 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) R 13485 13487 7296 0 -1 4202560 3231 0 1 0 282 9 0 0 20 0 18 0 339915566 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776166818192 139776036847169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) S 13485 13487 7296 0 -1 4202560 33 0 0 0 4 3 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776155887784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) S 13485 13487 7296 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776030796072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) S 13485 13487 7296 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776029743528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) S 13485 13487 7296 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776028690984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) S 13485 13487 7296 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776027638440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) S 13485 13487 7296 0 -1 4202560 14 0 0 0 3 1 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776026585896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) S 13485 13487 7296 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776025533352 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) S 13485 13487 7296 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 18 0 339915567 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139776024480808 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339915568 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775541471336 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915571 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4639 0 0 0 48 1 0 0 20 0 18 0 339915571 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5051 0 0 0 47 1 0 0 20 0 18 0 339915571 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 136158 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 2957856
[startup+6.3007 s]
/proc/loadavg: 1.99 2.00 2.00 3/210 13505
/proc/meminfo: memFree=27307288/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=2957856 CPUtime=8.93 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 14741 0 1 0 846 47 0 0 20 0 18 0 339915566 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 739464 163403 2270 9 0 729885 0
[pid=13487/tid=13489] ppid=13485 vsize=2957856 CPUtime=5.68 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) S 13485 13487 7296 0 -1 4202560 3236 0 1 0 558 10 0 0 20 0 18 0 339915566 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776166825576 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=2957856 CPUtime=0.26 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) R 13485 13487 7296 0 -1 4202560 62 0 0 0 21 5 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776155887960 139776173722534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=2957856 CPUtime=0.28 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) R 13485 13487 7296 0 -1 4202560 63 0 0 0 23 5 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776030796248 139776173722762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) R 13485 13487 7296 0 -1 4202560 64 0 0 0 23 4 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776029743704 139776171002031 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=2957856 CPUtime=0.23 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) R 13485 13487 7296 0 -1 4202560 59 0 0 0 19 4 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776028691160 139776169297585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=2957856 CPUtime=0.34 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) R 13485 13487 7296 0 -1 4202560 170 0 0 0 29 5 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776027638616 139776171002031 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) R 13485 13487 7296 0 -1 4202560 44 0 0 0 14 3 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776026585776 139776173722540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) R 13485 13487 7296 0 -1 4202560 58 0 0 0 22 5 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776025533528 139776170583180 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) R 13485 13487 7296 0 -1 4202560 114 0 0 0 23 4 0 0 20 0 18 0 339915567 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139776024480984 139776171002031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339915568 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775541470216 226333078588 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339915569 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915571 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4639 0 0 0 49 2 0 0 20 0 18 0 339915571 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5051 0 0 0 47 1 0 0 20 0 18 0 339915571 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339915572 3028844544 163403 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 2957856
[startup+12.7008 s]
/proc/loadavg: 1.99 2.00 2.00 3/211 13506
/proc/meminfo: memFree=27146384/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=3024420 CPUtime=16.82 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 15671 0 1 0 1622 60 0 0 20 0 19 0 339915566 3097006080 192808 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 756105 192808 2289 9 0 746526 0
[pid=13487/tid=13489] ppid=13485 vsize=3024420 CPUtime=11.7 cores=1,3,5,7
################
# More data... #
################
[pid=13487/tid=13502] ppid=13485 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4650 0 0 0 75 2 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5053 0 0 0 71 1 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=3024420 CPUtime=0.93 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 97 0 0 0 47 46 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13506] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13506/stat : 13506 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339916423 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775531971368 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.77
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 13657
/proc/meminfo: memFree=26538128/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=3024420 CPUtime=1728.8 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 16251 0 1 0 172710 170 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 756105 255533 2290 9 0 746526 0
[pid=13487/tid=13489] ppid=13485 vsize=3024420 CPUtime=1716.59 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) R 13485 13487 7296 0 -1 4202560 3262 0 1 0 171622 37 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776166825168 139776037427387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) S 13485 13487 7296 0 -1 4202560 150 0 0 0 48 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776155887784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) S 13485 13487 7296 0 -1 4202560 270 0 0 0 58 13 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776030796072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) S 13485 13487 7296 0 -1 4202560 177 0 0 0 48 8 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776029743528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) S 13485 13487 7296 0 -1 4202560 299 0 0 0 50 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776028690984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) S 13485 13487 7296 0 -1 4202560 240 0 0 0 54 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776027638440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) S 13485 13487 7296 0 -1 4202560 466 0 0 0 58 12 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776026585896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) S 13485 13487 7296 0 -1 4202560 209 0 0 0 43 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776025533352 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) S 13485 13487 7296 0 -1 4202560 180 0 0 0 45 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776024480808 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 12 0 0 0 1 2 0 0 20 0 19 0 339915568 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775541471336 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4650 0 0 0 75 2 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5053 0 0 0 71 1 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=3024420 CPUtime=0.97 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 101 0 0 0 49 48 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13506] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13506/stat : 13506 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339916423 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775531971368 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.8
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 13658
/proc/meminfo: memFree=26508712/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=3024420 CPUtime=1788.86 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 16253 0 1 0 178712 174 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 756105 255533 2290 9 0 746526 0
[pid=13487/tid=13489] ppid=13485 vsize=3024420 CPUtime=1776.44 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) R 13485 13487 7296 0 -1 4202560 3262 0 1 0 177606 38 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776166825168 139776037361067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) S 13485 13487 7296 0 -1 4202560 150 0 0 0 48 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776155887784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) S 13485 13487 7296 0 -1 4202560 270 0 0 0 58 13 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776030796072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) S 13485 13487 7296 0 -1 4202560 177 0 0 0 48 8 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776029743528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) S 13485 13487 7296 0 -1 4202560 299 0 0 0 50 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776028690984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) S 13485 13487 7296 0 -1 4202560 240 0 0 0 54 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776027638440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) S 13485 13487 7296 0 -1 4202560 466 0 0 0 58 12 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776026585896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) S 13485 13487 7296 0 -1 4202560 209 0 0 0 43 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776025533352 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) S 13485 13487 7296 0 -1 4202560 180 0 0 0 45 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776024480808 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 12 0 0 0 2 2 0 0 20 0 19 0 339915568 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775541471336 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4650 0 0 0 75 2 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5053 0 0 0 71 1 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 103 0 0 0 50 50 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13506] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13506/stat : 13506 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339916423 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775531971368 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.86
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 13658
/proc/meminfo: memFree=26508712/32873844 swapFree=6088/6088
[pid=13487] ppid=13485 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/13487/stat : 13487 (java) S 13485 13487 7296 0 -1 4202496 16255 0 1 0 179833 174 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 140733842014336 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13487/statm: 756105 255533 2290 9 0 746526 0
[pid=13487/tid=13489] ppid=13485 vsize=3024420 CPUtime=1787.62 cores=1,3,5,7
/proc/13487/task/13489/stat : 13489 (java) R 13485 13487 7296 0 -1 4202560 3262 0 1 0 178724 38 0 0 20 0 19 0 339915566 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776166825168 139776037427387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13487/tid=13490] ppid=13485 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/13487/task/13490/stat : 13490 (java) S 13485 13487 7296 0 -1 4202560 150 0 0 0 48 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776155887784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13491] ppid=13485 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/13487/task/13491/stat : 13491 (java) S 13485 13487 7296 0 -1 4202560 270 0 0 0 58 13 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776030796072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13492] ppid=13485 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/13487/task/13492/stat : 13492 (java) S 13485 13487 7296 0 -1 4202560 177 0 0 0 48 8 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776029743528 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13493] ppid=13485 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/13487/task/13493/stat : 13493 (java) S 13485 13487 7296 0 -1 4202560 299 0 0 0 50 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776028690984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13494] ppid=13485 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/13487/task/13494/stat : 13494 (java) S 13485 13487 7296 0 -1 4202560 240 0 0 0 54 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776027638440 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13495] ppid=13485 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/13487/task/13495/stat : 13495 (java) S 13485 13487 7296 0 -1 4202560 466 0 0 0 58 12 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776026585896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13496] ppid=13485 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/13487/task/13496/stat : 13496 (java) S 13485 13487 7296 0 -1 4202560 209 0 0 0 43 10 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776025533352 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13497] ppid=13485 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/13487/task/13497/stat : 13497 (java) S 13485 13487 7296 0 -1 4202560 180 0 0 0 45 9 0 0 20 0 19 0 339915567 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139776024480808 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13498] ppid=13485 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/13487/task/13498/stat : 13498 (java) S 13485 13487 7296 0 -1 4202560 12 0 0 0 2 2 0 0 20 0 19 0 339915568 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775541471336 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13499] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13499/stat : 13499 (java) S 13485 13487 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775540417656 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13500] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13500/stat : 13500 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339915569 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775539365000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13501] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13501/stat : 13501 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775538313744 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13502] ppid=13485 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/13487/task/13502/stat : 13502 (java) S 13485 13487 7296 0 -1 4202560 4650 0 0 0 75 2 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775537261112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13487/tid=13503] ppid=13485 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/13487/task/13503/stat : 13503 (java) S 13485 13487 7296 0 -1 4202560 5053 0 0 0 71 1 0 0 20 0 19 0 339915571 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775536208568 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13504] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13504/stat : 13504 (java) S 13485 13487 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775535156216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13487/tid=13505] ppid=13485 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/13487/task/13505/stat : 13505 (java) S 13485 13487 7296 0 -1 4202560 105 0 0 0 51 50 0 0 20 0 19 0 339915572 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775534103880 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13487/tid=13506] ppid=13485 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13487/task/13506/stat : 13506 (java) S 13485 13487 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339916423 3097006080 255533 33554432000 1073741824 1073778376 140733842023200 139775531971368 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13487 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=409360
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=870715
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.52
CPU time (s): 1800.07
CPU user time (s): 1798.33
CPU system time (s): 1.74
CPU usage (%): 100.365
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.41
system time used= 1.87071
maximum resident set size= 1022248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16285
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38387
involuntary context switches= 3611
runsolver used 13.08 second user time and 8.71467 second system time
The end