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-3688700-1337879084/watcher-3688700-1337879084 -o /tmp/evaluation-result-3688700-1337879084/solver-3688700-1337879084 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688700-1337879084.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: 3.35 3.73 3.77 4/197 28311
/proc/meminfo: memFree=27906464/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/28311/stat : 28311 (java) D 28309 28311 24583 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254033818 2560000 47 33554432000 1073741824 1073778376 140735726915248 140735726912376 270698376487 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28311/statm: 625 47 37 9 0 29 0
[startup+0.0808191 s]
/proc/loadavg: 3.35 3.73 3.77 4/197 28311
/proc/meminfo: memFree=27906464/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 3282 0 1 0 4 1 0 0 20 0 18 0 254033818 9787813888 4490 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2389603 4490 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100207 s]
/proc/loadavg: 3.35 3.73 3.77 4/197 28311
/proc/meminfo: memFree=27906464/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 4270 0 1 0 7 1 0 0 20 0 18 0 254033818 9787813888 5447 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2389603 5447 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300178 s]
/proc/loadavg: 3.35 3.73 3.77 4/197 28311
/proc/meminfo: memFree=27906464/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 6506 0 1 0 44 3 0 0 20 0 19 0 254033818 10060460032 9760 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2456167 9760 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824668
[startup+0.700124 s]
/proc/loadavg: 3.35 3.73 3.77 4/197 28311
/proc/meminfo: memFree=27906464/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 6506 0 1 0 44 3 0 0 20 0 19 0 254033818 10060460032 9760 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2456167 9760 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9824668
[startup+1.50058 s]
/proc/loadavg: 3.35 3.73 3.77 3/216 28336
/proc/meminfo: memFree=27868880/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 8120 0 1 0 53 3 0 0 20 0 19 0 254033818 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2456167 12714 2236 9 0 2446860 0
[pid=28311/tid=28313] ppid=28309 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/28311/task/28313/stat : 28313 (java) S 28309 28311 24583 0 -1 4202560 2454 0 1 0 23 0 0 0 20 0 19 0 254033819 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716889830392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28314/stat : 28314 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716851321000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28315/stat : 28315 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716850268456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28316/stat : 28316 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716849215912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28317/stat : 28317 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716848163368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28318/stat : 28318 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716847110824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28319] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28319/stat : 28319 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716846058280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28320] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28320/stat : 28320 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716845005736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28321] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28321/stat : 28321 (java) S 28309 28311 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716843953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28322] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28322/stat : 28322 (java) S 28309 28311 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716831541352 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28323] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28323/stat : 28323 (java) S 28309 28311 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716712195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28324] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28324/stat : 28324 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716711142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28325] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28325/stat : 28325 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716710091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28326] ppid=28309 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/28311/task/28326/stat : 28326 (java) S 28309 28311 24583 0 -1 4202560 2683 0 0 0 15 0 0 0 20 0 19 0 254033825 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716709038648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28327] ppid=28309 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/28311/task/28327/stat : 28327 (java) S 28309 28311 24583 0 -1 4202560 1710 0 0 0 11 0 0 0 20 0 19 0 254033825 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716707986104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28328] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28328/stat : 28328 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716706933752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28329] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28329/stat : 28329 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716705881416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28333] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28333/stat : 28333 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033846 10060460032 12714 33554432000 1073741824 1073778376 140737384427776 139716701668520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+2.3006 s]
/proc/loadavg: 3.35 3.73 3.77 2/216 28342
/proc/meminfo: memFree=27855436/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 8575 0 1 0 73 4 0 0 20 0 22 0 254033818 10060460032 15422 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2456167 15422 2238 9 0 2446860 0
[pid=28311/tid=28313] ppid=28309 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/28311/task/28313/stat : 28313 (java) S 28309 28311 24583 0 -1 4202560 2455 0 1 0 23 0 0 0 20 0 22 0 254033819 10060460032 15422 33554432000 1073741824 1073778376 140737384427776 139716889830392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28314/stat : 28314 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15422 33554432000 1073741824 1073778376 140737384427776 139716851321000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28315/stat : 28315 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15422 33554432000 1073741824 1073778376 140737384427776 139716850268456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28316/stat : 28316 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716849215912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28317/stat : 28317 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716848163368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28318/stat : 28318 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716847110824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28319] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28319/stat : 28319 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716846058280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28320] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28320/stat : 28320 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716845005736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28321] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28321/stat : 28321 (java) S 28309 28311 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254033821 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716843953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28322] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28322/stat : 28322 (java) S 28309 28311 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254033822 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716831541352 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28323] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28323/stat : 28323 (java) S 28309 28311 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254033822 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716712195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28324] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28324/stat : 28324 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254033822 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716711142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28325] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28325/stat : 28325 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033825 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716710091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28326] ppid=28309 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/28311/task/28326/stat : 28326 (java) R 28309 28311 24583 0 -1 4202560 2857 0 0 0 22 0 0 0 20 0 22 0 254033825 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716709038648 139716893946307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28327] ppid=28309 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/28311/task/28327/stat : 28327 (java) R 28309 28311 24583 0 -1 4202560 1921 0 0 0 20 0 0 0 20 0 22 0 254033825 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716707986104 139716893919238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28328] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28328/stat : 28328 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033825 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716706933752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28329] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28329/stat : 28329 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254033825 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716705881416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28333] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28333/stat : 28333 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254033846 10060460032 15934 33554432000 1073741824 1073778376 140737384427776 139716701668520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9824668
[startup+2.70065 s]
/proc/loadavg: 3.35 3.73 3.77 2/216 28342
/proc/meminfo: memFree=27855436/32873648 swapFree=6856/6856
[pid=28311] ppid=28309 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/28311/stat : 28311 (java) S 28309 28311 24583 0 -1 4202496 9503 0 1 0 94 6 0 0 20 0 19 0 254033818 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 140737384418912 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28311/statm: 2456167 16448 2240 9 0 2446860 0
[pid=28311/tid=28313] ppid=28309 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/28311/task/28313/stat : 28313 (java) S 28309 28311 24583 0 -1 4202560 2455 0 1 0 23 0 0 0 20 0 19 0 254033819 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716889830392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28314/stat : 28314 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716851321000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28315/stat : 28315 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716850268456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28316/stat : 28316 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716849215912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28317/stat : 28317 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716848163368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28318/stat : 28318 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716847110824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28319] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28319/stat : 28319 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716846058280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28320] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28320/stat : 28320 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716845005736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28321] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28321/stat : 28321 (java) S 28309 28311 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254033821 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716843953192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28322] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28322/stat : 28322 (java) S 28309 28311 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716831541352 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28323] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28323/stat : 28323 (java) S 28309 28311 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716712195192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28324] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28324/stat : 28324 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033822 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716711142536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28325] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28325/stat : 28325 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716710091280 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28326] ppid=28309 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/28311/task/28326/stat : 28326 (java) S 28309 28311 24583 0 -1 4202560 3367 0 0 0 31 0 0 0 20 0 19 0 254033825 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716709038648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28311/tid=28327] ppid=28309 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/28311/task/28327/stat : 28327 (java) S 28309 28311 24583 0 -1 4202560 2334 0 0 0 28 0 0 0 20 0 19 0 254033825 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716707986104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28328] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28328/stat : 28328 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716706933752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28311/tid=28329] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28329/stat : 28329 (java) S 28309 28311 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254033825 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716705881416 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28311/tid=28333] ppid=28309 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28311/task/28333/stat : 28333 (java) S 28309 28311 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254033846 10060460032 16448 33554432000 1073741824 1073778376 140737384427776 139716701668520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 2.78979
CPU time (s): 1.03384
CPU user time (s): 0.960853
CPU system time (s): 0.072988
CPU usage (%): 37.058
Max. virtual memory (cumulated for all children) (KiB): 9825128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.960853
system time used= 0.072988
maximum resident set size= 67876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9516
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= 400
involuntary context switches= 54
runsolver used 0.001999 second user time and 0.023996 second system time
The end