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-3742725-1338772063/watcher-3742725-1338772063 -o /tmp/evaluation-result-3742725-1338772063/solver-3742725-1338772063 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742725-1338772063.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: 1.93 1.99 1.99 3/195 13234
/proc/meminfo: memFree=25674824/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13234/stat : 13234 (java) D 13232 13234 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343333703 9515008 182 33554432000 1073741824 1073778376 140734075728400 140734075719432 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13234/statm: 2323 182 140 9 0 71 0
[startup+0.0437939 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 13234
/proc/meminfo: memFree=25674824/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 3906 0 1 0 1 0 0 0 20 0 13 0 343333703 2686889984 5113 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 655979 5113 1679 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916
[startup+0.100293 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 13234
/proc/meminfo: memFree=25674824/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 4902 0 1 0 8 1 0 0 20 0 18 0 343333703 3028844544 6605 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 739464 6605 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300257 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 13234
/proc/meminfo: memFree=25674824/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=2957856 CPUtime=0.55 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 8777 0 1 0 54 1 0 0 20 0 18 0 343333703 3028844544 10986 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 739464 10986 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856
[startup+0.700223 s]
/proc/loadavg: 1.93 1.99 1.99 3/195 13234
/proc/meminfo: memFree=25674824/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10251 0 1 0 132 2 0 0 20 0 19 0 343333703 3097006080 14778 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 14778 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.5006 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25622148/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=2.19 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10261 0 1 0 217 2 0 0 20 0 19 0 343333703 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 15809 2272 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3046 0 1 0 144 2 0 0 20 0 19 0 343333704 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629885706712 140629729008923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3038 0 0 0 36 0 0 0 20 0 19 0 343333710 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 33 0 0 0 20 0 19 0 343333710 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 15809 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420
[startup+3.10074 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25617680/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=3.81 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10266 0 1 0 379 2 0 0 20 0 19 0 343333703 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 17857 2272 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3051 0 1 0 304 2 0 0 20 0 19 0 343333704 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629885706704 140629729008992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3038 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 17857 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420
[startup+6.30068 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25602724/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=7.01 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10273 0 1 0 699 2 0 0 20 0 19 0 343333703 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 20418 2273 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3057 0 1 0 624 2 0 0 20 0 19 0 343333704 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629885706704 140629728936497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3038 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 20418 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3039 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 27075 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+14.3071 s]
/proc/loadavg: 1.94 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25570128/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=15.03 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10289 0 1 0 1500 3 0 0 20 0 19 0 343333703 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 28099 2273 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=14.27 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3072 0 1 0 1424 3 0 0 20 0 19 0 343333704 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629885706600 140629729008791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3039 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 28099 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.03
Current children cumulated vsize (KiB) 3024420
[startup+14.7007 s]
/proc/loadavg: 1.94 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25570128/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=15.42 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10290 0 1 0 1539 3 0 0 20 0 19 0 343333703 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 28611 2273 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=14.66 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3073 0 1 0 1463 3 0 0 20 0 19 0 343333704 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629885706600 140629728936598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3039 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 3024420
[startup+14.9007 s]
/proc/loadavg: 1.94 1.99 1.99 3/214 13253
/proc/meminfo: memFree=25570128/32873648 swapFree=7120/7120
[pid=13234] ppid=13232 vsize=3024420 CPUtime=15.62 cores=1,3,5,7
/proc/13234/stat : 13234 (java) S 13232 13234 11123 0 -1 4202496 10290 0 1 0 1559 3 0 0 20 0 19 0 343333703 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140737220493568 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13234/statm: 756105 28611 2273 9 0 746526 0
[pid=13234/tid=13236] ppid=13232 vsize=3024420 CPUtime=14.86 cores=1,3,5,7
/proc/13234/task/13236/stat : 13236 (java) R 13232 13234 11123 0 -1 4202560 3073 0 1 0 1483 3 0 0 20 0 19 0 343333704 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629885706600 140629729021690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13237] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13237/stat : 13237 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629869132584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13238] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13238/stat : 13238 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629868079784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13239] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13239/stat : 13239 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629867027496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13234/tid=13240] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13240/stat : 13240 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629865974696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13241] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13241/stat : 13241 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629864921384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13242] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13242/stat : 13242 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629863868584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13234/tid=13243] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13243/stat : 13243 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629862816296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13244] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13244/stat : 13244 (java) S 13232 13234 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343333706 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629861763496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13245] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13245/stat : 13245 (java) S 13232 13234 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629849352936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13246] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13246/stat : 13246 (java) S 13232 13234 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629848299000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13247] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13247/stat : 13247 (java) S 13232 13234 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343333707 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629847246600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13248] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13248/stat : 13248 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629728291728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13249] ppid=13232 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/13234/task/13249/stat : 13249 (java) S 13232 13234 11123 0 -1 4202560 3039 0 0 0 38 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629727238328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13250] ppid=13232 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/13234/task/13250/stat : 13250 (java) S 13232 13234 11123 0 -1 4202560 2976 0 0 0 34 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629726185528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13251] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13251/stat : 13251 (java) S 13232 13234 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629725133432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13234/tid=13252] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13252/stat : 13252 (java) S 13232 13234 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343333710 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629724080840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13234/tid=13253] ppid=13232 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13234/task/13253/stat : 13253 (java) S 13232 13234 11123 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343333744 3097006080 28611 33554432000 1073741824 1073778376 140737220502432 140629721949608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 14.9977
CPU time (s): 15.7536
CPU user time (s): 15.6816
CPU system time (s): 0.071989
CPU usage (%): 105.04
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6816
system time used= 0.071989
maximum resident set size= 116572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10315
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 568
involuntary context switches= 56
runsolver used 0.025996 second user time and 0.086986 second system time
The end