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-3736896-1338752435/watcher-3736896-1338752435 -o /tmp/evaluation-result-3736896-1338752435/solver-3736896-1338752435 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736896-1338752435.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: 3.19 3.41 3.60 4/198 4856
/proc/meminfo: memFree=27210800/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 1207 0 0 0 0 0 0 0 20 0 2 0 341369453 94019584 917 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 22954 917 697 9 0 16769 0
[pid=4856/tid=4857] ppid=4854 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) R 4854 4856 3937 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 341369454 95129600 927 33554432000 1073741824 1073778376 140733649383344 140160557575720 140160555468368 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.0525039 s]
/proc/loadavg: 3.19 3.41 3.60 4/198 4856
/proc/meminfo: memFree=27210800/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 3874 0 1 0 4 0 0 0 20 0 18 0 341369453 2764726272 5592 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 674982 5592 1757 9 0 665676 0
[pid=4856/tid=4857] ppid=4854 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) R 4854 4856 3937 0 -1 4202560 2663 0 1 0 3 0 0 0 20 0 18 0 341369454 2764726272 5592 33554432000 1073741824 1073778376 140733649383344 140160557583008 226087724301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2699928
[startup+0.100229 s]
/proc/loadavg: 3.19 3.41 3.60 4/198 4856
/proc/meminfo: memFree=27210800/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 4865 0 1 0 10 1 0 0 20 0 18 0 341369453 2764726272 6556 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 674982 6556 2142 9 0 665676 0
[pid=4856/tid=4857] ppid=4854 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) R 4854 4856 3937 0 -1 4202560 2804 0 1 0 8 0 0 0 20 0 18 0 341369454 2764726272 6558 33554432000 1073741824 1073778376 140733649383344 140160557568120 140160560032611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300412 s]
/proc/loadavg: 3.19 3.41 3.60 4/198 4856
/proc/meminfo: memFree=27210800/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 4947 0 1 0 13 1 0 0 20 0 20 0 341369453 3037372416 8147 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 741546 8147 2157 9 0 732240 0
[pid=4856/tid=4857] ppid=4854 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) S 4854 4856 3937 0 -1 4202560 2812 0 1 0 10 0 0 0 20 0 20 0 341369454 3037372416 8147 33554432000 1073741824 1073778376 140733649383344 140160557581464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+0.700155 s]
/proc/loadavg: 3.19 3.41 3.60 4/198 4856
/proc/meminfo: memFree=27210800/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 4947 0 1 0 13 1 0 0 20 0 20 0 341369453 3037372416 8147 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 741546 8147 2157 9 0 732240 0
[pid=4856/tid=4857] ppid=4854 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) S 4854 4856 3937 0 -1 4202560 2812 0 1 0 10 0 0 0 20 0 20 0 341369454 3037372416 8147 33554432000 1073741824 1073778376 140733649383344 140160557581464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+1.50057 s]
/proc/loadavg: 3.19 3.41 3.60 2/218 4878
/proc/meminfo: memFree=27186616/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2966184 CPUtime=0.15 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 5006 0 1 0 14 1 0 0 20 0 20 0 341369453 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 741546 9207 2157 9 0 732240 0
[pid=4856/tid=4857] ppid=4854 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) S 4854 4856 3937 0 -1 4202560 2812 0 1 0 10 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160557581464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4859] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4859/stat : 4859 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160423922728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4860] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4860/stat : 4860 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160422869928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4861] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4861/stat : 4861 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160421817128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4862] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4862/stat : 4862 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160420764328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4863] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4863/stat : 4863 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160217901608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4864] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4864/stat : 4864 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160216848808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4865] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4865/stat : 4865 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160215796008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4866] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4866/stat : 4866 (java) S 4854 4856 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160214743208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4867] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4867/stat : 4867 (java) S 4854 4856 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341369455 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160202546152 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4868] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4868/stat : 4868 (java) S 4854 4856 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341369456 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160201492216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4869] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4869/stat : 4869 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369456 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160200439304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4870] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4870/stat : 4870 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160199387792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4871] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4871/stat : 4871 (java) S 4854 4856 3937 0 -1 4202560 369 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160198334904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4872] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4872/stat : 4872 (java) S 4854 4856 3937 0 -1 4202560 523 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160197282104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4873] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4873/stat : 4873 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160196229496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4874] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4874/stat : 4874 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160195176904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4877] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4877/stat : 4877 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369466 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160192017832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4878] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4878/stat : 4878 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369466 3037372416 9207 33554432000 1073741824 1073778376 140733649383344 140160190965032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+3.10055 s]
/proc/loadavg: 3.19 3.41 3.60 2/218 4880
/proc/meminfo: memFree=27182140/32873648 swapFree=6864/6864
[pid=4856] ppid=4854 vsize=2966184 CPUtime=0.15 cores=0,2,4,6
/proc/4856/stat : 4856 (java) S 4854 4856 3937 0 -1 4202496 5015 0 1 0 14 1 0 0 20 0 20 0 341369453 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140733649374480 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4856/statm: 741546 10231 2157 9 0 732240 0
[pid=4856/tid=4857] ppid=4854 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/4856/task/4857/stat : 4857 (java) S 4854 4856 3937 0 -1 4202560 2812 0 1 0 10 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160557581464 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4859] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4859/stat : 4859 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160423922728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4860] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4860/stat : 4860 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160422869928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4861] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4861/stat : 4861 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160421817128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4862] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4862/stat : 4862 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160420764328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4863] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4863/stat : 4863 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160217901608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4864] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4864/stat : 4864 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160216848808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4865] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4865/stat : 4865 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160215796008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4866] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4866/stat : 4866 (java) S 4854 4856 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341369454 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160214743208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4867] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4867/stat : 4867 (java) S 4854 4856 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341369455 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160202546152 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4868] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4868/stat : 4868 (java) S 4854 4856 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341369456 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160201492216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4869] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4869/stat : 4869 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369456 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160200439304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4870] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4870/stat : 4870 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160199387792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4871] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4871/stat : 4871 (java) S 4854 4856 3937 0 -1 4202560 369 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160198334904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4856/tid=4872] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4872/stat : 4872 (java) S 4854 4856 3937 0 -1 4202560 523 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160197282104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4873] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4873/stat : 4873 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160196229496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4856/tid=4874] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4874/stat : 4874 (java) S 4854 4856 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341369458 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160195176904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4856/tid=4877] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4877/stat : 4877 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369466 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160192017832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4856/tid=4878] ppid=4854 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/4856/task/4878/stat : 4878 (java) S 4854 4856 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341369466 3037372416 10231 33554432000 1073741824 1073778376 140733649383344 140160190965032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.13003
CPU time (s): 0.162975
CPU user time (s): 0.13098
CPU system time (s): 0.031995
CPU usage (%): 5.20682
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.13098
system time used= 0.031995
maximum resident set size= 43008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5028
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= 269
involuntary context switches= 12
runsolver used 0.006998 second user time and 0.028995 second system time
The end