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-3742712-1338772059/watcher-3742712-1338772059 -o /tmp/evaluation-result-3742712-1338772059/solver-3742712-1338772059 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742712-1338772059.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 18894
/proc/meminfo: memFree=23866952/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18894/stat : 18894 (java) R 18892 18894 16961 0 -1 4202496 1066 0 0 0 0 0 0 0 20 0 1 0 343330227 23793664 792 33554432000 1073741824 1073778376 140737222769744 140737222758808 140420570203968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 5809 792 587 9 0 128 0
[startup+0.0579241 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 18894
/proc/meminfo: memFree=23866952/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=2623916 CPUtime=0.05 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 3960 0 1 0 4 1 0 0 20 0 13 0 343330227 2686889984 5678 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 655979 5678 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2623916
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 18894
/proc/meminfo: memFree=23866952/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 4921 0 1 0 9 1 0 0 20 0 18 0 343330227 3028844544 6621 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 739464 6621 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 18894
/proc/meminfo: memFree=23866952/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 8357 0 1 0 53 2 0 0 20 0 18 0 343330227 3028844544 10849 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 739464 10849 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 18894
/proc/meminfo: memFree=23866952/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=1.37 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 10562 0 1 0 134 3 0 0 20 0 19 0 343330227 3097006080 14995 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 14995 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23813812/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11065 0 1 0 219 3 0 0 20 0 19 0 343330227 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 16027 2272 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3072 0 1 0 146 2 0 0 20 0 19 0 343330228 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420563870136 140420416485289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3391 0 0 0 38 0 0 0 20 0 19 0 343330233 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 32 0 0 0 20 0 19 0 343330233 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 16027 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23809096/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=3.84 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11070 0 1 0 381 3 0 0 20 0 19 0 343330227 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 17563 2272 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3076 0 1 0 306 2 0 0 20 0 19 0 343330228 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420563870224 140420416389488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 33 0 0 0 20 0 19 0 343330233 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 17563 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23795016/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=7.04 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11079 0 1 0 701 3 0 0 20 0 19 0 343330227 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 21006 2273 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3084 0 1 0 625 2 0 0 20 0 19 0 343330228 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420563870224 140420416452059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 34 0 0 0 20 0 19 0 343330233 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 21006 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 34 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 3024420
[startup+10.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23778532/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=11.45 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11086 0 1 0 1142 3 0 0 20 0 19 0 343330227 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 24590 2273 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=10.65 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3091 0 1 0 1063 2 0 0 20 0 19 0 343330228 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420563870056 140420416389769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 34 0 0 0 20 0 19 0 343330233 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 24590 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 3024420
[startup+10.9007 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23774188/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=11.66 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11087 0 1 0 1162 4 0 0 20 0 19 0 343330227 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 25102 2273 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=10.85 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3092 0 1 0 1083 2 0 0 20 0 19 0 343330228 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420563870056 140420416434992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 34 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 3024420
[startup+11.0072 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18913
/proc/meminfo: memFree=23774188/32873844 swapFree=7628/7628
[pid=18894] ppid=18892 vsize=3024420 CPUtime=11.76 cores=0,2,4,6
/proc/18894/stat : 18894 (java) S 18892 18894 16961 0 -1 4202496 11087 0 1 0 1172 4 0 0 20 0 19 0 343330227 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140737222760880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18894/statm: 756105 25102 2273 9 0 746526 0
[pid=18894/tid=18896] ppid=18892 vsize=3024420 CPUtime=10.95 cores=0,2,4,6
/proc/18894/task/18896/stat : 18896 (java) R 18892 18894 16961 0 -1 4202560 3092 0 1 0 1093 2 0 0 20 0 19 0 343330228 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420563870056 140420416460362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18897] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18897/stat : 18897 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420547295528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18898] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18898/stat : 18898 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420546242728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18899] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18899/stat : 18899 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420545190440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18894/tid=18900] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18900/stat : 18900 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420544137640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18901] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18901/stat : 18901 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420543085352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18902] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18902/stat : 18902 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420542032552 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18903] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18903/stat : 18903 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420540980264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18894/tid=18904] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18904/stat : 18904 (java) S 18892 18894 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343330229 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420539927464 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18905] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18905/stat : 18905 (java) S 18892 18894 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343330230 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420409428200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18906] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18906/stat : 18906 (java) S 18892 18894 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420408374264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18907] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18907/stat : 18907 (java) S 18892 18894 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343330231 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420407321864 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18908] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18908/stat : 18908 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420406270352 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18909] ppid=18892 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/18894/task/18909/stat : 18909 (java) S 18892 18894 16961 0 -1 4202560 3392 0 0 0 39 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420405217976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18910] ppid=18892 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18894/task/18910/stat : 18910 (java) S 18892 18894 16961 0 -1 4202560 3401 0 0 0 34 0 0 0 20 0 19 0 343330233 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420404165176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18911] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18911/stat : 18911 (java) S 18892 18894 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420403113080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18894/tid=18912] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18912/stat : 18912 (java) S 18892 18894 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343330234 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140420402060488 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18894/tid=18913] ppid=18892 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18894/task/18913/stat : 18913 (java) S 18892 18894 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343330269 3097006080 25102 33554432000 1073741824 1073778376 140737222769744 140419392332712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 11.0954
CPU time (s): 11.8342
CPU user time (s): 11.7702
CPU system time (s): 0.06399
CPU usage (%): 106.658
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7702
system time used= 0.06399
maximum resident set size= 102488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11104
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= 500
involuntary context switches= 33
runsolver used 0.032994 second user time and 0.103984 second system time
The end