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-3742179-1338763782/watcher-3742179-1338763782 -o /tmp/evaluation-result-3742179-1338763782/solver-3742179-1338763782 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742179-1338763782.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 2/194 12505
/proc/meminfo: memFree=25391144/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12505/stat : 12505 (java) D 12503 12505 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 342505528 9515008 183 33554432000 1073741824 1073778376 140736021951264 140736021942296 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 2323 183 140 9 0 71 0
[startup+0.0914329 s]
/proc/loadavg: 1.93 1.99 1.99 2/194 12505
/proc/meminfo: memFree=25391144/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 4141 0 1 0 6 0 0 0 20 0 18 0 342505528 3028844544 5858 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 739464 5858 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.130659 s]
/proc/loadavg: 1.93 1.99 1.99 2/194 12505
/proc/meminfo: memFree=25391144/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=2957856 CPUtime=0.12 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 4915 0 1 0 11 1 0 0 20 0 18 0 342505528 3028844544 7137 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 739464 7137 2131 9 0 729885 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2957856
[startup+0.300162 s]
/proc/loadavg: 1.93 1.99 1.99 2/194 12505
/proc/meminfo: memFree=25391144/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=2957856 CPUtime=0.53 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 8202 0 1 0 51 2 0 0 20 0 18 0 342505528 3028844544 11303 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 739464 11303 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856
[startup+0.700176 s]
/proc/loadavg: 1.93 1.99 1.99 2/194 12505
/proc/meminfo: memFree=25391144/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=1.34 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 9258 0 1 0 132 2 0 0 20 0 19 0 342505528 3097006080 18709 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 18709 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.50066 s]
/proc/loadavg: 1.93 1.99 1.99 4/213 12524
/proc/meminfo: memFree=25324760/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 9263 0 1 0 214 2 0 0 20 0 19 0 342505528 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 19224 2275 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3059 0 1 0 144 2 0 0 20 0 19 0 342505529 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222238036424 140222109772656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2876 0 0 0 40 0 0 0 20 0 19 0 342505535 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2133 0 0 0 28 0 0 0 20 0 19 0 342505535 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 19224 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12524
/proc/meminfo: memFree=25320168/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=3.78 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 9266 0 1 0 376 2 0 0 20 0 19 0 342505528 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 20248 2275 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3062 0 1 0 304 2 0 0 20 0 19 0 342505529 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222238036432 140222109743989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2876 0 0 0 40 0 0 0 20 0 19 0 342505535 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2133 0 0 0 29 0 0 0 20 0 19 0 342505535 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 20248 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420
[startup+6.30072 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12524
/proc/meminfo: memFree=25307508/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=6.99 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 9274 0 1 0 696 3 0 0 20 0 19 0 342505528 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 23313 2276 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3069 0 1 0 623 2 0 0 20 0 19 0 342505529 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222238036432 140222109772656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342505530 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2876 0 0 0 40 0 0 0 20 0 19 0 342505535 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2133 0 0 0 29 0 0 0 20 0 19 0 342505535 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 23313 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 210 0 0 0 28 12 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 156 0 0 0 18 10 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 271 0 0 0 22 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 213 0 0 0 141 7 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2882 0 0 0 45 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2141 0 0 0 34 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 100 0 0 0 38 34 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.61
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12621
/proc/meminfo: memFree=23720984/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=1785.62 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 11702 0 1 0 178411 151 0 0 20 0 19 0 342505528 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 418277 2304 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=1779.48 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3252 0 1 0 177912 36 0 0 20 0 19 0 342505529 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222238035232 140222109772703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 161 0 0 0 16 8 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 213 0 0 0 29 11 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 363 0 0 0 28 19 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 284 0 0 0 24 17 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 269 0 0 0 25 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 210 0 0 0 28 12 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 156 0 0 0 18 10 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 271 0 0 0 22 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 215 0 0 0 181 7 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2882 0 0 0 45 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2141 0 0 0 34 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 104 0 0 0 40 35 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12621
/proc/meminfo: memFree=23720984/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 11702 0 1 0 179851 151 0 0 20 0 19 0 342505528 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 418277 2304 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=1793.89 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3252 0 1 0 179353 36 0 0 20 0 19 0 342505529 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222238035232 140222109638947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 161 0 0 0 16 8 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 213 0 0 0 29 11 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 363 0 0 0 28 19 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 284 0 0 0 24 17 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 269 0 0 0 25 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 210 0 0 0 28 12 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 156 0 0 0 18 10 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 271 0 0 0 22 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 215 0 0 0 181 7 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2882 0 0 0 45 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2141 0 0 0 34 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 104 0 0 0 41 35 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12621
/proc/meminfo: memFree=23720984/32873648 swapFree=7120/7120
[pid=12505] ppid=12503 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/12505/stat : 12505 (java) S 12503 12505 11123 0 -1 4202496 11702 0 1 0 179851 151 0 0 20 0 19 0 342505528 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140735419248160 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12505/statm: 756105 418277 2304 9 0 746526 0
[pid=12505/tid=12507] ppid=12503 vsize=3024420 CPUtime=1793.89 cores=0,2,4,6
/proc/12505/task/12507/stat : 12507 (java) R 12503 12505 11123 0 -1 4202560 3252 0 1 0 179353 36 0 0 20 0 19 0 342505529 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222238035232 140222109638947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12508] ppid=12503 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/12505/task/12508/stat : 12508 (java) S 12503 12505 11123 0 -1 4202560 161 0 0 0 16 8 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222103415720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12509] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12509/stat : 12509 (java) S 12503 12505 11123 0 -1 4202560 213 0 0 0 29 11 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222102363176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12510] ppid=12503 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12505/task/12510/stat : 12510 (java) S 12503 12505 11123 0 -1 4202560 363 0 0 0 28 19 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222101310120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12511] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12511/stat : 12511 (java) S 12503 12505 11123 0 -1 4202560 284 0 0 0 24 17 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222100257576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12512] ppid=12503 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12505/task/12512/stat : 12512 (java) S 12503 12505 11123 0 -1 4202560 269 0 0 0 25 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222099204520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12513] ppid=12503 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12505/task/12513/stat : 12513 (java) S 12503 12505 11123 0 -1 4202560 210 0 0 0 28 12 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222098151976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12514] ppid=12503 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12505/task/12514/stat : 12514 (java) S 12503 12505 11123 0 -1 4202560 156 0 0 0 18 10 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222097098920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12505/tid=12515] ppid=12503 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12505/task/12515/stat : 12515 (java) S 12503 12505 11123 0 -1 4202560 271 0 0 0 22 16 0 0 20 0 19 0 342505530 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140222096046376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12516] ppid=12503 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/12505/task/12516/stat : 12516 (java) S 12503 12505 11123 0 -1 4202560 215 0 0 0 181 7 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221613038440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12517] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12517/stat : 12517 (java) S 12503 12505 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221611984760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12518] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12518/stat : 12518 (java) S 12503 12505 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342505532 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221610931592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12519] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12519/stat : 12519 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221609880336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12520] ppid=12503 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12505/task/12520/stat : 12520 (java) S 12503 12505 11123 0 -1 4202560 2882 0 0 0 45 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221608827192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12505/tid=12521] ppid=12503 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12505/task/12521/stat : 12521 (java) S 12503 12505 11123 0 -1 4202560 2141 0 0 0 34 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221607774648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12522] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12522/stat : 12522 (java) S 12503 12505 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221606721784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12505/tid=12523] ppid=12503 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/12505/task/12523/stat : 12523 (java) S 12503 12505 11123 0 -1 4202560 104 0 0 0 41 35 0 0 20 0 19 0 342505535 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221605669448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12505/tid=12524] ppid=12503 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12505/task/12524/stat : 12524 (java) S 12503 12505 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342505573 3097006080 418277 33554432000 1073741824 1073778376 140735419257024 140221603538472 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1796.72
CPU time (s): 1800.58
CPU user time (s): 1798.58
CPU system time (s): 2.00169
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 2.00169
maximum resident set size= 1673224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38118
involuntary context switches= 6972
runsolver used 6.29904 second user time and 14.4338 second system time
The end