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-3689675-1337892297/watcher-3689675-1337892297 -o /tmp/evaluation-result-3689675-1337892297/solver-3689675-1337892297 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689675-1337892297.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 11898
/proc/meminfo: memFree=25054016/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11898/stat : 11898 (java) D 11896 11898 8709 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 255354536 9515008 175 33554432000 1073741824 1073778376 140736254916864 140736254899592 213419639696 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11898/statm: 2323 175 133 9 0 71 0
[startup+0.0151279 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 11898
/proc/meminfo: memFree=25054016/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 255354536 98570240 978 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 24065 978 744 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260
[startup+0.100275 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 11898
/proc/meminfo: memFree=25054016/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 4330 0 1 0 7 1 0 0 20 0 18 0 255354536 9787813888 5021 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2389603 5022 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300292 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 11898
/proc/meminfo: memFree=25054016/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 7346 0 1 0 53 2 0 0 20 0 18 0 255354536 9787813888 10874 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2389603 10874 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412
[startup+0.700313 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 11898
/proc/meminfo: memFree=25054016/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 9893 0 1 0 144 4 0 0 20 0 19 0 255354536 9855975424 35387 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 35387 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976
[startup+1.50079 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 11917
/proc/meminfo: memFree=24921444/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=2.42 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 9920 0 1 0 238 4 0 0 20 0 19 0 255354536 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 35925 2251 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2559 0 1 0 143 3 0 0 20 0 19 0 255354537 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211757433352 140211697951082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255354539 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3438 0 0 0 51 0 0 0 20 0 19 0 255354542 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 2729 0 0 0 41 0 0 0 20 0 19 0 255354542 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 35925 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9624976
[startup+3.10079 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 11917
/proc/meminfo: memFree=24918636/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=4.54 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 15660 0 1 0 446 8 0 0 20 0 19 0 255354536 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 44859 2281 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2564 0 1 0 299 3 0 0 20 0 19 0 255354537 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211757433304 140211697944181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255354539 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3463 0 0 0 56 0 0 0 20 0 19 0 255354542 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8383 0 0 0 82 3 0 0 20 0 19 0 255354542 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 44859 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9624976
[startup+6.30077 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 11917
/proc/meminfo: memFree=24878744/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=7.79 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 15680 0 1 0 770 9 0 0 20 0 19 0 255354536 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 45784 2281 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=6.18 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2568 0 1 0 615 3 0 0 20 0 19 0 255354537 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211757433312 140211697961656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255354538 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 255354539 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3463 0 0 0 58 0 0 0 20 0 19 0 255354542 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8383 0 0 0 85 3 0 0 20 0 19 0 255354542 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 45784 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3471 0 0 0 58 0 0 0 20 0 19 0 255354542 9855975424 121771 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8404 0 0 0 101 3 0 0 20 0 19 0 255354542 9855975424 121771 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 121771 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 95 0 0 0 36 32 0 0 20 0 19 0 255354542 9855975424 121771 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 121771 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.35
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 12014
/proc/meminfo: memFree=25050544/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=1737.95 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 27909 0 1 0 173667 128 0 0 20 0 19 0 255354536 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 123975 2282 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=1705.37 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2825 0 1 0 170507 30 0 0 20 0 19 0 255354537 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211757432192 140211697904784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=2.28 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 1103 0 0 0 220 8 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=2.28 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1775 0 0 0 220 8 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=2.34 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 2203 0 0 0 225 9 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=2.5 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 2118 0 0 0 238 12 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=2.23 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 1568 0 0 0 213 10 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=2.38 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 885 0 0 0 229 9 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=2.37 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 807 0 0 0 227 10 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 857 0 0 0 218 8 0 0 20 0 19 0 255354538 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=7.06 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 614 0 0 0 701 5 0 0 20 0 19 0 255354539 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3471 0 0 0 58 0 0 0 20 0 19 0 255354542 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8404 0 0 0 101 3 0 0 20 0 19 0 255354542 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 99 0 0 0 38 33 0 0 20 0 19 0 255354542 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 123975 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1737.95
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 12014
/proc/meminfo: memFree=24871748/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=1799.16 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 28523 0 1 0 179783 133 0 0 20 0 19 0 255354536 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 128744 2282 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=1764.48 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2843 0 1 0 176417 31 0 0 20 0 19 0 255354537 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211757432208 140211697982968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=2.47 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 1103 0 0 0 238 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=2.55 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1906 0 0 0 246 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 2296 0 0 0 244 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=2.67 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 2123 0 0 0 254 13 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=2.45 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 1701 0 0 0 234 11 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=2.58 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 984 0 0 0 249 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=2.56 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 865 0 0 0 246 10 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 899 0 0 0 241 8 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=7.33 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 645 0 0 0 728 5 0 0 20 0 19 0 255354539 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3471 0 0 0 58 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8404 0 0 0 101 3 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 103 0 0 0 38 35 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1783.2 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 12014
/proc/meminfo: memFree=24871748/32873844 swapFree=6592/6592
[pid=11898] ppid=11896 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/11898/stat : 11898 (java) S 11896 11898 8709 0 -1 4202496 28523 0 1 0 179874 133 0 0 20 0 19 0 255354536 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140735287670944 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11898/statm: 2406244 128744 2282 9 0 2396937 0
[pid=11898/tid=11900] ppid=11896 vsize=9624976 CPUtime=1765.38 cores=1,3,5,7
/proc/11898/task/11900/stat : 11900 (java) R 11896 11898 8709 0 -1 4202560 2843 0 1 0 176507 31 0 0 20 0 19 0 255354537 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211757432208 140211697188757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11901] ppid=11896 vsize=9624976 CPUtime=2.47 cores=1,3,5,7
/proc/11898/task/11901/stat : 11901 (java) S 11896 11898 8709 0 -1 4202560 1103 0 0 0 238 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211696163624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11902] ppid=11896 vsize=9624976 CPUtime=2.55 cores=1,3,5,7
/proc/11898/task/11902/stat : 11902 (java) S 11896 11898 8709 0 -1 4202560 1906 0 0 0 246 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211695110824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11903] ppid=11896 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/11898/task/11903/stat : 11903 (java) S 11896 11898 8709 0 -1 4202560 2296 0 0 0 244 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211694058536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11904] ppid=11896 vsize=9624976 CPUtime=2.67 cores=1,3,5,7
/proc/11898/task/11904/stat : 11904 (java) S 11896 11898 8709 0 -1 4202560 2123 0 0 0 254 13 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211693005736 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11905] ppid=11896 vsize=9624976 CPUtime=2.45 cores=1,3,5,7
/proc/11898/task/11905/stat : 11905 (java) S 11896 11898 8709 0 -1 4202560 1701 0 0 0 234 11 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211691952424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11906] ppid=11896 vsize=9624976 CPUtime=2.58 cores=1,3,5,7
/proc/11898/task/11906/stat : 11906 (java) S 11896 11898 8709 0 -1 4202560 984 0 0 0 249 9 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211595720872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11907] ppid=11896 vsize=9624976 CPUtime=2.56 cores=1,3,5,7
/proc/11898/task/11907/stat : 11907 (java) S 11896 11898 8709 0 -1 4202560 865 0 0 0 246 10 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211594668584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11908] ppid=11896 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/11898/task/11908/stat : 11908 (java) S 11896 11898 8709 0 -1 4202560 899 0 0 0 241 8 0 0 20 0 19 0 255354538 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211593615784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11909] ppid=11896 vsize=9624976 CPUtime=7.33 cores=1,3,5,7
/proc/11898/task/11909/stat : 11909 (java) S 11896 11898 8709 0 -1 4202560 645 0 0 0 728 5 0 0 20 0 19 0 255354539 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211581418216 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11910] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11910/stat : 11910 (java) S 11896 11898 8709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211580364280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11911] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11911/stat : 11911 (java) S 11896 11898 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255354540 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211579311880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11912] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11912/stat : 11912 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211578260368 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11898/tid=11913] ppid=11896 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/11898/task/11913/stat : 11913 (java) S 11896 11898 8709 0 -1 4202560 3471 0 0 0 58 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211577206968 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11914] ppid=11896 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/11898/task/11914/stat : 11914 (java) S 11896 11898 8709 0 -1 4202560 8404 0 0 0 101 3 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211576154168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11898/tid=11915] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11915/stat : 11915 (java) S 11896 11898 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211575102072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11898/tid=11916] ppid=11896 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/11898/task/11916/stat : 11916 (java) S 11896 11898 8709 0 -1 4202560 103 0 0 0 38 35 0 0 20 0 19 0 255354542 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211574049480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11898/tid=11917] ppid=11896 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11898/task/11917/stat : 11917 (java) S 11896 11898 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255354599 9855975424 128744 33554432000 1073741824 1073778376 140735287679808 140211572995496 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11898 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=662747
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1783.28
CPU time (s): 1800.07
CPU user time (s): 1798.74
CPU system time (s): 1.33
CPU usage (%): 100.941
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.1
system time used= 1.66275
maximum resident set size= 591056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28556
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45973
involuntary context switches= 41588
runsolver used 6.15906 second user time and 15.7136 second system time
The end