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-3735469-1338707547/watcher-3735469-1338707547 -o /tmp/evaluation-result-3735469-1338707547/solver-3735469-1338707547 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735469-1338707547.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: 2.02 2.03 2.00 3/194 22401
/proc/meminfo: memFree=28048548/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22401/stat : 22401 (java) R 22399 22401 15565 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 336879587 23793664 708 33554432000 1073741824 1073778376 140733717718704 140733717707768 233211737448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 5809 709 524 9 0 128 0
[startup+0.100521 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 22401
/proc/meminfo: memFree=28048548/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 4908 0 1 0 9 1 0 0 20 0 18 0 336879587 3028844544 6610 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 739464 6610 2129 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.200198 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 22401
/proc/meminfo: memFree=28048548/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7125 0 1 0 30 1 0 0 20 0 19 0 336879587 3097006080 8583 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 8583 2243 9 0 746526 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 3024420
[startup+0.300319 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 22401
/proc/meminfo: memFree=28048548/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7328 0 1 0 51 2 0 0 20 0 19 0 336879587 3097006080 9227 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 9227 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 3024420
[startup+0.700255 s]
/proc/loadavg: 2.02 2.03 2.00 3/194 22401
/proc/meminfo: memFree=28048548/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=1.01 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7374 0 1 0 99 2 0 0 20 0 19 0 336879587 3097006080 12264 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 12264 2260 9 0 746526 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 3024420
[startup+1.50078 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 22423
/proc/meminfo: memFree=27992780/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=1.82 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7398 0 1 0 179 3 0 0 20 0 19 0 336879587 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 21481 2260 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3087 0 1 0 145 2 0 0 20 0 19 0 336879588 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719464501960 140719319121191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1099 0 0 0 14 0 0 0 20 0 19 0 336879593 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2010 0 0 0 16 0 0 0 20 0 19 0 336879593 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22423] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22423/stat : 22423 (java) S 22399 22401 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336879672 3097006080 21481 33554432000 1073741824 1073778376 140733717718704 140718293083560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 3024420
[startup+3.1008 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 22423
/proc/meminfo: memFree=27938920/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=3.43 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7435 0 1 0 339 4 0 0 20 0 19 0 336879587 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 40425 2260 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3124 0 1 0 304 3 0 0 20 0 19 0 336879588 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719464501592 140719319120580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1099 0 0 0 15 0 0 0 20 0 19 0 336879593 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2010 0 0 0 16 0 0 0 20 0 19 0 336879593 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22423] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22423/stat : 22423 (java) S 22399 22401 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336879672 3097006080 40425 33554432000 1073741824 1073778376 140733717718704 140718293083560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 3024420
[startup+6.3008 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 22423
/proc/meminfo: memFree=27807252/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=6.63 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 7494 0 1 0 658 5 0 0 20 0 19 0 336879587 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 69583 2261 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3182 0 1 0 623 3 0 0 20 0 19 0 336879588 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719464501640 140719319089696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879589 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1099 0 0 0 15 0 0 0 20 0 19 0 336879593 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2010 0 0 0 16 0 0 0 20 0 19 0 336879593 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22423] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22423/stat : 22423 (java) S 22399 22401 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336879672 3097006080 69583 33554432000 1073741824 1073778376 140733717718704 140718293083560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1114 0 0 0 18 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2012 0 0 0 21 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 99 0 0 0 46 28 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22426] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22426/stat : 22426 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336881782 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718293082920 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1732.72
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 22502
/proc/meminfo: memFree=26919148/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=1792.72 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 11455 0 1 0 179160 112 0 0 20 0 19 0 336879587 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 402444 2284 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=1774.27 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3300 0 1 0 177395 32 0 0 20 0 19 0 336879588 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719464501536 140719319268131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=1.32 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 414 0 0 0 126 6 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 478 0 0 0 178 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=1.6 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 420 0 0 0 152 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=1.49 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 458 0 0 0 140 9 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=1.5 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 407 0 0 0 142 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 437 0 0 0 161 11 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 469 0 0 0 141 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 597 0 0 0 162 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 46 0 0 0 1 1 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1114 0 0 0 18 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2012 0 0 0 21 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 103 0 0 0 46 29 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22426] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22426/stat : 22426 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336881782 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718293082920 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.72
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 22502
/proc/meminfo: memFree=26919148/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 11455 0 1 0 179891 112 0 0 20 0 19 0 336879587 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 402444 2284 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=1781.55 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3300 0 1 0 178122 33 0 0 20 0 19 0 336879588 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719464501536 140719319268096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=1.32 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 414 0 0 0 126 6 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 478 0 0 0 178 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=1.6 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 420 0 0 0 152 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=1.49 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 458 0 0 0 140 9 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=1.5 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 407 0 0 0 142 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 437 0 0 0 161 11 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 469 0 0 0 141 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 597 0 0 0 162 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 46 0 0 0 1 1 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1114 0 0 0 18 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2012 0 0 0 21 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 103 0 0 0 47 29 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22426] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22426/stat : 22426 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336881782 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718293082920 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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+1789.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 22502
/proc/meminfo: memFree=26919148/32873844 swapFree=7120/7120
[pid=22401] ppid=22399 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/22401/stat : 22401 (java) S 22399 22401 15565 0 -1 4202496 11455 0 1 0 179891 112 0 0 20 0 19 0 336879587 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140733717709840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22401/statm: 756105 402444 2284 9 0 746526 0
[pid=22401/tid=22403] ppid=22399 vsize=3024420 CPUtime=1781.55 cores=0,2,4,6
/proc/22401/task/22403/stat : 22403 (java) R 22399 22401 15565 0 -1 4202560 3300 0 1 0 178122 33 0 0 20 0 19 0 336879588 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719464501536 140719319268096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22404] ppid=22399 vsize=3024420 CPUtime=1.32 cores=0,2,4,6
/proc/22401/task/22404/stat : 22404 (java) S 22399 22401 15565 0 -1 4202560 414 0 0 0 126 6 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719447927720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22405] ppid=22399 vsize=3024420 CPUtime=1.88 cores=0,2,4,6
/proc/22401/task/22405/stat : 22405 (java) S 22399 22401 15565 0 -1 4202560 478 0 0 0 178 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719446875176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22406] ppid=22399 vsize=3024420 CPUtime=1.6 cores=0,2,4,6
/proc/22401/task/22406/stat : 22406 (java) S 22399 22401 15565 0 -1 4202560 420 0 0 0 152 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719445822120 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22407] ppid=22399 vsize=3024420 CPUtime=1.49 cores=0,2,4,6
/proc/22401/task/22407/stat : 22407 (java) S 22399 22401 15565 0 -1 4202560 458 0 0 0 140 9 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719444769576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22408] ppid=22399 vsize=3024420 CPUtime=1.5 cores=0,2,4,6
/proc/22401/task/22408/stat : 22408 (java) S 22399 22401 15565 0 -1 4202560 407 0 0 0 142 8 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719443716520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22401/tid=22409] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22409/stat : 22409 (java) S 22399 22401 15565 0 -1 4202560 437 0 0 0 161 11 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719442663976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22410] ppid=22399 vsize=3024420 CPUtime=1.51 cores=0,2,4,6
/proc/22401/task/22410/stat : 22410 (java) S 22399 22401 15565 0 -1 4202560 469 0 0 0 141 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719441610920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22411] ppid=22399 vsize=3024420 CPUtime=1.72 cores=0,2,4,6
/proc/22401/task/22411/stat : 22411 (java) S 22399 22401 15565 0 -1 4202560 597 0 0 0 162 10 0 0 20 0 19 0 336879589 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719440558376 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22412] ppid=22399 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/22401/task/22412/stat : 22412 (java) S 22399 22401 15565 0 -1 4202560 46 0 0 0 1 1 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719310203752 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22413] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22413/stat : 22413 (java) S 22399 22401 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719309150072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22414] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22414/stat : 22414 (java) S 22399 22401 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336879590 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719308096904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22415] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22415/stat : 22415 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719307045648 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22416] ppid=22399 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/22401/task/22416/stat : 22416 (java) S 22399 22401 15565 0 -1 4202560 1114 0 0 0 18 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719305992504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22401/tid=22417] ppid=22399 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/22401/task/22417/stat : 22417 (java) S 22399 22401 15565 0 -1 4202560 2012 0 0 0 21 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719304939960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22418] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22418/stat : 22418 (java) S 22399 22401 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140719303887096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22401/tid=22419] ppid=22399 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/22401/task/22419/stat : 22419 (java) S 22399 22401 15565 0 -1 4202560 103 0 0 0 47 29 0 0 20 0 19 0 336879593 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718295214664 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22401/tid=22426] ppid=22399 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/22401/task/22426/stat : 22426 (java) S 22399 22401 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336881782 3097006080 402444 33554432000 1073741824 1073778376 140733717718704 140718293082920 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22401 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=248232
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=482774
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.62
CPU time (s): 1800.03
CPU user time (s): 1798.91
CPU system time (s): 1.12
CPU usage (%): 100.581
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.48277
maximum resident set size= 1609888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11486
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38951
involuntary context switches= 19879
runsolver used 5.21021 second user time and 16.2235 second system time
The end