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-3734387-1338700361/watcher-3734387-1338700361 -o /tmp/evaluation-result-3734387-1338700361/solver-3734387-1338700361 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734387-1338700361.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.85 1.97 1.99 3/194 21042
/proc/meminfo: memFree=28714276/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21042/stat : 21042 (java) R 21040 21042 15565 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 336161027 23793664 722 33554432000 1073741824 1073778376 140736194911920 140736194900984 140622107048752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 5809 737 545 9 0 128 0
[startup+0.0965089 s]
/proc/loadavg: 1.85 1.97 1.99 3/194 21042
/proc/meminfo: memFree=28714276/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 4909 0 1 0 9 1 0 0 20 0 18 0 336161027 3028844544 6623 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 739464 6623 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.100306 s]
/proc/loadavg: 1.85 1.97 1.99 3/194 21042
/proc/meminfo: memFree=28714276/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 4909 0 1 0 9 1 0 0 20 0 18 0 336161027 3028844544 6623 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 739464 6623 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300271 s]
/proc/loadavg: 1.85 1.97 1.99 3/194 21042
/proc/meminfo: memFree=28714276/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 7450 0 1 0 49 2 0 0 20 0 19 0 336161027 3097006080 8861 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 8861 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3024420
[startup+0.700251 s]
/proc/loadavg: 1.85 1.97 1.99 3/194 21042
/proc/meminfo: memFree=28714276/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=0.99 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 7459 0 1 0 97 2 0 0 20 0 19 0 336161027 3097006080 9892 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 9892 2260 9 0 746526 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 3024420
[startup+1.5007 s]
/proc/loadavg: 1.85 1.97 1.99 3/213 21064
/proc/meminfo: memFree=28681504/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=1.79 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 7464 0 1 0 177 2 0 0 20 0 19 0 336161027 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 11429 2260 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3050 0 1 0 146 1 0 0 20 0 19 0 336161027 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622099022184 140621944151620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161029 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.12 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 12 0 0 0 20 0 19 0 336161032 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21064] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21064/stat : 21064 (java) S 21040 21042 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336161041 3097006080 11429 33554432000 1073741824 1073778376 140736194911920 140621935216168 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 3024420
[startup+3.10081 s]
/proc/loadavg: 1.86 1.97 1.99 3/213 21064
/proc/meminfo: memFree=28672940/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=3.39 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 7469 0 1 0 337 2 0 0 20 0 19 0 336161027 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 13989 2260 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3055 0 1 0 306 1 0 0 20 0 19 0 336161027 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622099022184 140621944081632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161029 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21064] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21064/stat : 21064 (java) S 21040 21042 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336161041 3097006080 13989 33554432000 1073741824 1073778376 140736194911920 140621935216168 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 3024420
[startup+6.30081 s]
/proc/loadavg: 1.86 1.97 1.99 3/213 21064
/proc/meminfo: memFree=28654508/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=6.59 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 7478 0 1 0 657 2 0 0 20 0 19 0 336161027 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 17335 2261 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3063 0 1 0 625 1 0 0 20 0 19 0 336161027 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622099022336 140621944167997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161028 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336161029 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21064] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21064/stat : 21064 (java) S 21040 21042 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336161041 3097006080 17335 33554432000 1073741824 1073778376 140736194911920 140621935216168 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 100 0 0 0 43 37 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21065] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21065/stat : 21065 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336166225 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621935215528 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.38
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21140
/proc/meminfo: memFree=26626580/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=1784.4 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 8447 0 1 0 178338 102 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 194009 2274 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=1777.28 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3249 0 1 0 177692 36 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622099021192 140621944151620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 77 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 86 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 81 0 0 0 10 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 91 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 83 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 82 0 0 0 9 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 118 0 0 0 13 8 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 60 0 0 0 5 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 10 0 0 0 1 1 0 0 20 0 19 0 336161029 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 104 0 0 0 45 38 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21065] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21065/stat : 21065 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336166225 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621935215528 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21140
/proc/meminfo: memFree=26626580/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 8449 0 1 0 179900 103 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 194009 2274 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=1792.85 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3249 0 1 0 179249 36 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622099021192 140621944122715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 77 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 86 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 81 0 0 0 10 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 91 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 83 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 82 0 0 0 9 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 118 0 0 0 13 8 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 60 0 0 0 5 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 10 0 0 0 1 1 0 0 20 0 19 0 336161029 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 106 0 0 0 45 38 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21065] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21065/stat : 21065 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336166225 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621935215528 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+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21140
/proc/meminfo: memFree=26626580/32873844 swapFree=7120/7120
[pid=21042] ppid=21040 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/21042/stat : 21042 (java) S 21040 21042 15565 0 -1 4202496 8449 0 1 0 179900 103 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140736194903056 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21042/statm: 756105 194009 2274 9 0 746526 0
[pid=21042/tid=21044] ppid=21040 vsize=3024420 CPUtime=1792.85 cores=0,2,4,6
/proc/21042/task/21044/stat : 21044 (java) R 21040 21042 15565 0 -1 4202560 3249 0 1 0 179249 36 0 0 20 0 19 0 336161027 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622099021192 140621944122715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21045] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21045/stat : 21045 (java) S 21040 21042 15565 0 -1 4202560 77 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622082448168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21046] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21046/stat : 21046 (java) S 21040 21042 15565 0 -1 4202560 86 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622081395368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21047] ppid=21040 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/21042/task/21047/stat : 21047 (java) S 21040 21042 15565 0 -1 4202560 81 0 0 0 10 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622080343080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21042/tid=21048] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21048/stat : 21048 (java) S 21040 21042 15565 0 -1 4202560 91 0 0 0 8 6 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622079290280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21049] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21049/stat : 21049 (java) S 21040 21042 15565 0 -1 4202560 83 0 0 0 10 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622078236968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21050] ppid=21040 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/21042/task/21050/stat : 21050 (java) S 21040 21042 15565 0 -1 4202560 82 0 0 0 9 5 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622077184168 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21051] ppid=21040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/21042/task/21051/stat : 21051 (java) S 21040 21042 15565 0 -1 4202560 118 0 0 0 13 8 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622076131880 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21052] ppid=21040 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/21042/task/21052/stat : 21052 (java) S 21040 21042 15565 0 -1 4202560 60 0 0 0 5 4 0 0 20 0 19 0 336161028 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622075079080 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21053] ppid=21040 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/21042/task/21053/stat : 21053 (java) S 21040 21042 15565 0 -1 4202560 10 0 0 0 1 1 0 0 20 0 19 0 336161029 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140622062668520 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21054] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21054/stat : 21054 (java) S 21040 21042 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621943662072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21055] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21055/stat : 21055 (java) S 21040 21042 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336161030 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621942609672 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21056] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21056/stat : 21056 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621941558160 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21057] ppid=21040 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/21042/task/21057/stat : 21057 (java) S 21040 21042 15565 0 -1 4202560 2059 0 0 0 16 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621940504760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21042/tid=21058] ppid=21040 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/21042/task/21058/stat : 21058 (java) S 21040 21042 15565 0 -1 4202560 1146 0 0 0 13 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621939451960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21059] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21059/stat : 21059 (java) S 21040 21042 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621938399864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21042/tid=21060] ppid=21040 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/21042/task/21060/stat : 21060 (java) S 21040 21042 15565 0 -1 4202560 106 0 0 0 45 38 0 0 20 0 19 0 336161032 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621937347272 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21042/tid=21065] ppid=21040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21042/task/21065/stat : 21065 (java) S 21040 21042 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336166225 3097006080 194009 33554432000 1073741824 1073778376 140736194911920 140621935215528 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 21042 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=99255
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=300802
# CPU time returned by wait4() is 1795.4
# 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): 1797.92
CPU time (s): 1800.03
CPU user time (s): 1799
CPU system time (s): 1.03
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.1
system time used= 1.3008
maximum resident set size= 776148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8480
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37932
involuntary context switches= 2733
runsolver used 10.9583 second user time and 10.7254 second system time
The end