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-3737741-1338755118/watcher-3737741-1338755118 -o /tmp/evaluation-result-3737741-1338755118/solver-3737741-1338755118 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737741-1338755118.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.07 3.41 3.54 4/197 5684
/proc/meminfo: memFree=27551500/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5684/stat : 5684 (java) R 5682 5684 3937 0 -1 4202496 1077 0 0 0 0 0 0 0 20 0 1 0 341637766 23793664 804 33554432000 1073741824 1073778376 140737357917792 140737357906856 140432048646096 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 5809 824 619 9 0 128 0
[startup+0.078399 s]
/proc/loadavg: 3.07 3.41 3.54 4/197 5684
/proc/meminfo: memFree=27551500/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 4306 0 1 0 7 0 0 0 20 0 18 0 341637766 2764726272 6006 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 674982 6006 2000 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.10018 s]
/proc/loadavg: 3.07 3.41 3.54 4/197 5684
/proc/meminfo: memFree=27551500/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 4849 0 1 0 11 0 0 0 20 0 18 0 341637766 2764726272 6526 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 674982 6526 2144 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300167 s]
/proc/loadavg: 3.07 3.41 3.54 4/197 5684
/proc/meminfo: memFree=27551500/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 8069 0 1 0 47 3 0 0 20 0 20 0 341637766 3037372416 10421 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 741546 10421 2239 9 0 732240 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2966184
[startup+0.700203 s]
/proc/loadavg: 3.07 3.41 3.54 4/197 5684
/proc/meminfo: memFree=27551500/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 8236 0 1 0 50 3 0 0 20 0 20 0 341637766 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 741546 10588 2239 9 0 732240 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.10697 s]
/proc/loadavg: 3.06 3.40 3.54 3/217 5706
/proc/meminfo: memFree=27518324/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 8236 0 1 0 50 3 0 0 20 0 20 0 341637766 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 741546 10588 2239 9 0 732240 0
[pid=5684/tid=5686] ppid=5682 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/5684/task/5686/stat : 5686 (java) S 5682 5684 3937 0 -1 4202560 2808 0 1 0 23 0 0 0 20 0 20 0 341637766 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432046101656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5687/stat : 5687 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432030382632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5688] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5688/stat : 5688 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432029329832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5689] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5689/stat : 5689 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432028277032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5684/tid=5690] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5690/stat : 5690 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432027224232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5691] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5691/stat : 5691 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432026172456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5692] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5692/stat : 5692 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432025119656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5693] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432024066856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5694] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432023014056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5695] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432010602984 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5696] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431891358968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5697] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431890306056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5698] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431889254544 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5699] ppid=5682 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3937 0 -1 4202560 3017 0 0 0 12 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431888202680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5700] ppid=5682 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3937 0 -1 4202560 1122 0 0 0 8 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431887149880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5701] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5701/stat : 5701 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431886097272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5702] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5702/stat : 5702 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431885044680 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5705] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5705/stat : 5705 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637792 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431881884584 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5706] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5706/stat : 5706 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637792 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431880831784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2966184
[startup+1.20068 s]
/proc/loadavg: 3.06 3.40 3.54 3/217 5706
/proc/meminfo: memFree=27518324/32873648 swapFree=6864/6864
[pid=5684] ppid=5682 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/5684/stat : 5684 (java) S 5682 5684 3937 0 -1 4202496 8236 0 1 0 50 3 0 0 20 0 20 0 341637766 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140737357908928 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5684/statm: 741546 10588 2239 9 0 732240 0
[pid=5684/tid=5686] ppid=5682 vsize=2966184 CPUtime=0.23 cores=1,3,5,7
/proc/5684/task/5686/stat : 5686 (java) S 5682 5684 3937 0 -1 4202560 2808 0 1 0 23 0 0 0 20 0 20 0 341637766 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432046101656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5687] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5687/stat : 5687 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432030382632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5688] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5688/stat : 5688 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432029329832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5689] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5689/stat : 5689 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432028277032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5684/tid=5690] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5690/stat : 5690 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432027224232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5691] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5691/stat : 5691 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432026172456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5692] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5692/stat : 5692 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432025119656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5693] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432024066856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5694] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341637767 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432023014056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5695] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140432010602984 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5696] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431891358968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5697] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637768 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431890306056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5698] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431889254544 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5699] ppid=5682 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3937 0 -1 4202560 3017 0 0 0 12 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431888202680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5684/tid=5700] ppid=5682 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3937 0 -1 4202560 1122 0 0 0 8 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431887149880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5701] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5701/stat : 5701 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431886097272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5702] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5702/stat : 5702 (java) S 5682 5684 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341637771 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431885044680 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5684/tid=5705] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5705/stat : 5705 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637792 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431881884584 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5684/tid=5706] ppid=5682 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5684/task/5706/stat : 5706 (java) S 5682 5684 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341637792 3037372416 10588 33554432000 1073741824 1073778376 140737357917792 140431880831784 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 1.26092
CPU time (s): 0.553915
CPU user time (s): 0.503923
CPU system time (s): 0.049992
CPU usage (%): 43.9296
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.503923
system time used= 0.049992
maximum resident set size= 44408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8242
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= 264
involuntary context switches= 19
runsolver used 0.002999 second user time and 0.013997 second system time
The end