runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459037-1307148519/watcher-3459037-1307148519 -o /tmp/evaluation-result-3459037-1307148519/solver-3459037-1307148519 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459037-1307148519.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.12 2.05 1.96 2/529 3078
/proc/meminfo: memFree=16354592/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 1198 0 0 0 0 0 0 0 23 0 2 0 807268005 31313920 923 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 7645 930 706 9 0 383 0
[pid=3078/tid=3079] ppid=3076 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 7468 0 1 0 0 0 0 0 25 0 2 0 807268005 13850947584 8284 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0267969 s]
/proc/loadavg: 2.12 2.05 1.96 2/529 3078
/proc/meminfo: memFree=16354592/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 12516 0 1 0 0 1 0 0 23 0 10 0 807268005 13859868672 12217 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3383757 12217 993 9 0 3374913 0
[pid=3078/tid=3079] ppid=3076 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 11394 0 1 0 0 1 0 0 25 0 10 0 807268005 13859868672 12218 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 47556255899985 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13535028
[startup+0.100783 s]
/proc/loadavg: 2.12 2.05 1.96 2/529 3078
/proc/meminfo: memFree=16354592/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13622080 CPUtime=0.11 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 15498 0 1 0 9 2 0 0 23 0 18 0 807268005 13949009920 15194 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3405520 15194 2092 9 0 3396254 0
[pid=3078/tid=3079] ppid=3076 vsize=13622080 CPUtime=0.08 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 13611 0 1 0 7 1 0 0 25 0 18 0 807268005 13949009920 15194 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 47556253227488 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622080
[startup+0.300715 s]
/proc/loadavg: 2.12 2.05 1.96 2/529 3078
/proc/meminfo: memFree=16354592/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13624140 CPUtime=0.48 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 18445 0 1 0 46 2 0 0 23 0 18 0 807268005 13951119360 17926 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406035 17926 2199 9 0 3396769 0
[pid=3078/tid=3079] ppid=3076 vsize=13624140 CPUtime=0.29 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 15538 0 1 0 27 2 0 0 25 0 18 0 807268005 13951119360 17927 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505539814 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624140
[startup+0.70068 s]
/proc/loadavg: 2.12 2.05 1.96 2/529 3078
/proc/meminfo: memFree=16354592/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13623956 CPUtime=1.01 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 57291 0 1 0 93 8 0 0 23 0 18 0 807268005 13950930944 55778 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3405989 55783 2213 9 0 3396723 0
[pid=3078/tid=3079] ppid=3076 vsize=13623956 CPUtime=0.69 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 52469 0 1 0 62 7 0 0 25 0 18 0 807268005 13950930944 55785 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13623956
[startup+1.50156 s]
/proc/loadavg: 2.12 2.05 1.96 3/548 3098
/proc/meminfo: memFree=16093800/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=2.07 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 67978 0 1 0 199 8 0 0 23 0 19 0 807268005 13955006464 66222 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 66222 2233 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=1.48 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 62129 0 1 0 141 7 0 0 25 0 19 0 807268005 13955006464 66222 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505742194 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268007 13955006464 66224 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807268008 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807268009 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268009 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.28 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2763 0 0 0 28 0 0 0 20 0 19 0 807268011 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.29 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1925 0 0 0 29 0 0 0 17 0 19 0 807268011 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 66225 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13627936
[startup+3.10127 s]
/proc/loadavg: 2.12 2.05 1.96 3/548 3098
/proc/meminfo: memFree=16070240/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=3.76 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 82103 0 1 0 366 10 0 0 23 0 19 0 807268005 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 80341 2262 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=3.02 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 66151 0 1 0 294 8 0 0 25 0 19 0 807268005 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505802180 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 1908 0 0 0 1 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 2879 0 0 0 1 0 0 0 18 0 19 0 807268007 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=0.03 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 5022 0 0 0 3 0 0 0 16 0 19 0 807268008 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.32 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2781 0 0 0 32 0 0 0 15 0 19 0 807268011 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.31 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1931 0 0 0 31 0 0 0 15 0 19 0 807268011 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 80341 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13627936
[startup+6.30071 s]
/proc/loadavg: 2.11 2.05 1.96 3/548 3098
/proc/meminfo: memFree=15972652/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=7.02 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 99837 0 1 0 690 12 0 0 23 0 19 0 807268005 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 97873 2262 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=6.13 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 66156 0 1 0 605 8 0 0 25 0 19 0 807268005 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505802180 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 2809 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 1127 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 3004 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 1466 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=0.02 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 2554 0 0 0 2 0 0 0 16 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=0.01 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 3907 0 0 0 1 0 0 0 16 0 19 0 807268007 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=0.1 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 12379 0 0 0 9 1 0 0 16 0 19 0 807268008 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.34 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2783 0 0 0 34 0 0 0 15 0 19 0 807268011 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.33 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1933 0 0 0 33 0 0 0 15 0 19 0 807268011 13955006464 97873 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.39 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2894 0 0 0 39 0 0 0 16 0 19 0 807268011 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.36 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1938 0 0 0 36 0 0 0 15 0 19 0 807268011 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 434490 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1669.59
Current children cumulated vsize (KiB) 13627936
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/548 3161
/proc/meminfo: memFree=13489668/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=1729.76 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 439494 0 1 0 172914 62 0 0 23 0 19 0 807268005 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 436754 2263 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=1710.01 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 118333 0 1 0 170983 18 0 0 25 0 19 0 807268005 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505761927 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=1.51 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 27524 0 0 0 147 4 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 23203 0 0 0 133 3 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=1.37 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 29491 0 0 0 133 4 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=1.17 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 27286 0 0 0 114 3 0 0 15 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=1.09 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 19639 0 0 0 107 2 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=1.19 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 15125 0 0 0 117 2 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=1.03 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 18471 0 0 0 101 2 0 0 16 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=1.38 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 23518 0 0 0 135 3 0 0 15 0 19 0 807268007 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=8.76 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 130823 0 0 0 863 13 0 0 15 0 19 0 807268008 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 3 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.39 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2894 0 0 0 39 0 0 0 16 0 19 0 807268011 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.36 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1938 0 0 0 36 0 0 0 15 0 19 0 807268011 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 436754 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.76
Current children cumulated vsize (KiB) 13627936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 3190
/proc/meminfo: memFree=15010824/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=1789.86 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 441044 0 1 0 178924 62 0 0 23 0 19 0 807268005 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 438297 2263 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=1769.72 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 119875 0 1 0 176954 18 0 0 25 0 19 0 807268005 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505802180 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=1.54 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 27524 0 0 0 150 4 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 23203 0 0 0 133 3 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=1.37 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 29491 0 0 0 133 4 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=1.19 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 27288 0 0 0 116 3 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=1.09 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 19639 0 0 0 107 2 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=1.23 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 15125 0 0 0 121 2 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=1.03 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 18471 0 0 0 101 2 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=1.45 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 23518 0 0 0 142 3 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=8.99 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 130825 0 0 0 886 13 0 0 15 0 19 0 807268008 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 3 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.39 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2894 0 0 0 39 0 0 0 16 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.36 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1938 0 0 0 36 0 0 0 15 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.86
Current children cumulated vsize (KiB) 13627936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/548 3215
/proc/meminfo: memFree=14689600/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=13627936 CPUtime=1800.06 cores=1,3,5,7
/proc/3078/stat : 3078 (java) S 3076 3078 1240 0 -1 4202496 441044 0 1 0 179944 62 0 0 23 0 19 0 807268005 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 3406984 438297 2263 9 0 3397718 0
[pid=3078/tid=3079] ppid=3076 vsize=13627936 CPUtime=1779.94 cores=1,3,5,7
/proc/3078/task/3079/stat : 3079 (java) R 3076 3078 1240 0 -1 4202560 119875 0 1 0 177976 18 0 0 25 0 19 0 807268005 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 46912505771338 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3078/tid=3081] ppid=3076 vsize=13627936 CPUtime=1.54 cores=1,3,5,7
/proc/3078/task/3081/stat : 3081 (java) S 3076 3078 1240 0 -1 4202560 27524 0 0 0 150 4 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3082] ppid=3076 vsize=13627936 CPUtime=1.36 cores=1,3,5,7
/proc/3078/task/3082/stat : 3082 (java) S 3076 3078 1240 0 -1 4202560 23203 0 0 0 133 3 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3083] ppid=3076 vsize=13627936 CPUtime=1.37 cores=1,3,5,7
/proc/3078/task/3083/stat : 3083 (java) S 3076 3078 1240 0 -1 4202560 29491 0 0 0 133 4 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3084] ppid=3076 vsize=13627936 CPUtime=1.19 cores=1,3,5,7
/proc/3078/task/3084/stat : 3084 (java) S 3076 3078 1240 0 -1 4202560 27288 0 0 0 116 3 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3085] ppid=3076 vsize=13627936 CPUtime=1.09 cores=1,3,5,7
/proc/3078/task/3085/stat : 3085 (java) S 3076 3078 1240 0 -1 4202560 19639 0 0 0 107 2 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3086] ppid=3076 vsize=13627936 CPUtime=1.23 cores=1,3,5,7
/proc/3078/task/3086/stat : 3086 (java) S 3076 3078 1240 0 -1 4202560 15125 0 0 0 121 2 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3087] ppid=3076 vsize=13627936 CPUtime=1.03 cores=1,3,5,7
/proc/3078/task/3087/stat : 3087 (java) S 3076 3078 1240 0 -1 4202560 18471 0 0 0 101 2 0 0 15 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3088] ppid=3076 vsize=13627936 CPUtime=1.45 cores=1,3,5,7
/proc/3078/task/3088/stat : 3088 (java) S 3076 3078 1240 0 -1 4202560 23518 0 0 0 142 3 0 0 16 0 19 0 807268007 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3090] ppid=3076 vsize=13627936 CPUtime=8.99 cores=1,3,5,7
/proc/3078/task/3090/stat : 3090 (java) S 3076 3078 1240 0 -1 4202560 130825 0 0 0 886 13 0 0 15 0 19 0 807268008 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 0 0 16800975 18446604463829285952 0 0 -1 3 0 0 0
[pid=3078/tid=3091] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3091/stat : 3091 (java) S 3076 3078 1240 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) S 3076 3078 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807268009 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3093] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3093/stat : 3093 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118592433 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3094] ppid=3076 vsize=13627936 CPUtime=0.39 cores=1,3,5,7
/proc/3078/task/3094/stat : 3094 (java) S 3076 3078 1240 0 -1 4202560 2894 0 0 0 39 0 0 0 16 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 1 0 0 0
[pid=3078/tid=3095] ppid=3076 vsize=13627936 CPUtime=0.36 cores=1,3,5,7
/proc/3078/task/3095/stat : 3095 (java) S 3076 3078 1240 0 -1 4202560 1938 0 0 0 36 0 0 0 15 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 7 0 0 0
[pid=3078/tid=3096] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3096/stat : 3096 (java) S 3076 3078 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118584729 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3097] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3097/stat : 3097 (java) S 3076 3078 1240 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807268011 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
[pid=3078/tid=3098] ppid=3076 vsize=13627936 CPUtime=0 cores=1,3,5,7
/proc/3078/task/3098/stat : 3098 (java) S 3076 3078 1240 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807268082 13955006464 438297 33554432000 1073741824 1073778376 140737157032048 18446744073709551615 255118585344 0 4 0 16800975 18446604463829285952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13627936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.63 s]
/proc/loadavg: 2.00 2.02 2.00 3/548 3215
/proc/meminfo: memFree=14689600/32951124 swapFree=67111204/67111528
[pid=3078] ppid=3076 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/3078/stat : 3078 (java) Z 3076 3078 1240 0 -1 4203548 441103 0 1 0 179955 68 0 0 17 0 2 0 807268005 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3078/statm: 0 0 0 0 0 0 0
[pid=3078/tid=3092] ppid=3076 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/3078/task/3092/stat : 3092 (java) R 3076 3078 1240 0 -1 4203588 9 0 0 0 0 6 0 0 18 0 2 0 807268009 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.64
CPU time (s): 1800.26
CPU user time (s): 1799.56
CPU system time (s): 0.699893
CPU usage (%): 100.425
Max. virtual memory (cumulated for all children) (KiB): 13627936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.699893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441103
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39501
involuntary context switches= 23601
runsolver used 9.51255 second user time and 21.4877 second system time
The end