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-3729264-1338678657/watcher-3729264-1338678657 -o /tmp/evaluation-result-3729264-1338678657/solver-3729264-1338678657 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729264-1338678657.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: 0.59 0.14 0.22 2/195 15802
/proc/meminfo: memFree=28519868/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15802/stat : 15802 (java) R 15800 15802 15565 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 333990657 23793664 716 33554432000 1073741824 1073778376 140733669642496 140733669631560 233211737448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 5809 717 531 9 0 128 0
[startup+0.101722 s]
/proc/loadavg: 0.59 0.14 0.22 2/195 15802
/proc/meminfo: memFree=28519868/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 4919 0 1 0 9 0 0 0 20 0 18 0 333990657 3028844544 6623 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 739464 6623 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.200258 s]
/proc/loadavg: 0.59 0.14 0.22 2/195 15802
/proc/meminfo: memFree=28519868/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024756 CPUtime=0.26 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 6948 0 1 0 25 1 0 0 20 0 19 0 333990657 3097350144 8615 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756189 8615 2235 9 0 746610 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 3024756
[startup+0.300265 s]
/proc/loadavg: 0.59 0.14 0.22 2/195 15802
/proc/meminfo: memFree=28519868/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 7647 0 1 0 52 1 0 0 20 0 19 0 333990657 3097006080 8864 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 8864 2253 9 0 746526 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 3024420
[startup+0.70022 s]
/proc/loadavg: 0.59 0.14 0.22 2/195 15802
/proc/meminfo: memFree=28519868/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 8249 0 1 0 107 1 0 0 20 0 19 0 333990657 3097006080 10929 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 10929 2258 9 0 746526 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 3024420
[startup+1.50068 s]
/proc/loadavg: 0.59 0.14 0.22 3/214 15821
/proc/meminfo: memFree=28478640/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=1.89 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 8257 0 1 0 187 2 0 0 20 0 19 0 333990657 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 13491 2259 9 0 746526 0
[pid=15802/tid=15804] ppid=15800 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/15802/task/15804/stat : 15804 (java) R 15800 15802 15565 0 -1 4202560 3055 0 1 0 146 1 0 0 20 0 19 0 333990658 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717894042176 139717719317257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717877467944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717876415144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717875362856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717874310056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717873256744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717872203944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717871151656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717870098856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333990660 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717857688296 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717856634360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717855581960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717854530448 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 15565 0 -1 4202560 1896 0 0 0 18 0 0 0 20 0 19 0 333990663 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717853477048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 15565 0 -1 4202560 2110 0 0 0 19 0 0 0 20 0 19 0 333990663 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717852424248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717851372152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717850319560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15821/stat : 15821 (java) S 15800 15802 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333990674 3097006080 13491 33554432000 1073741824 1073778376 140733669642496 139717848118696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 3024420
[startup+3.10071 s]
/proc/loadavg: 0.71 0.17 0.23 3/214 15821
/proc/meminfo: memFree=28467540/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=3.49 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 8264 0 1 0 347 2 0 0 20 0 19 0 333990657 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 17075 2259 9 0 746526 0
[pid=15802/tid=15804] ppid=15800 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/15802/task/15804/stat : 15804 (java) R 15800 15802 15565 0 -1 4202560 3062 0 1 0 305 1 0 0 20 0 19 0 333990658 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717894041960 139717719331623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717877467944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717876415144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717875362856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717874310056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717873256744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717872203944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717871151656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717870098856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333990660 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717857688296 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717856634360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717855581960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717854530448 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 15565 0 -1 4202560 1896 0 0 0 18 0 0 0 20 0 19 0 333990663 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717853477048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 15565 0 -1 4202560 2110 0 0 0 19 0 0 0 20 0 19 0 333990663 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717852424248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717851372152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717850319560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15821/stat : 15821 (java) S 15800 15802 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333990674 3097006080 17075 33554432000 1073741824 1073778376 140733669642496 139717848118696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 3024420
[startup+6.30073 s]
/proc/loadavg: 0.71 0.17 0.23 3/214 15821
/proc/meminfo: memFree=28446128/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 8275 0 1 0 666 2 0 0 20 0 19 0 333990657 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 21265 2260 9 0 746526 0
[pid=15802/tid=15804] ppid=15800 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/15802/task/15804/stat : 15804 (java) R 15800 15802 15565 0 -1 4202560 3072 0 1 0 623 2 0 0 20 0 19 0 333990658 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717894039952 139717719403974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717877467944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717876415144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717875362856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717874310056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717873256744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717872203944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717871151656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717870098856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333990660 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717857688296 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717856634360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717855581960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717854530448 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 15565 0 -1 4202560 1896 0 0 0 18 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717853477048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 15565 0 -1 4202560 2110 0 0 0 19 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717852424248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717851372152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717850319560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15821/stat : 15821 (java) S 15800 15802 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333990674 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717848118696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+6.30073 s]
/proc/loadavg: 0.71 0.17 0.23 3/214 15821
/proc/meminfo: memFree=28446128/32873844 swapFree=7120/7120
[pid=15802] ppid=15800 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/15802/stat : 15802 (java) S 15800 15802 15565 0 -1 4202496 8275 0 1 0 666 2 0 0 20 0 19 0 333990657 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 140733669633632 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15802/statm: 756105 21265 2260 9 0 746526 0
[pid=15802/tid=15804] ppid=15800 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/15802/task/15804/stat : 15804 (java) R 15800 15802 15565 0 -1 4202560 3072 0 1 0 623 2 0 0 20 0 19 0 333990658 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717894039952 139717719403974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717877467944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717876415144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717875362856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717874310056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717873256744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717872203944 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717871151656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333990659 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717870098856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333990660 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717857688296 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717856634360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333990661 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717855581960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717854530448 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 15565 0 -1 4202560 1896 0 0 0 18 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717853477048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 15565 0 -1 4202560 2110 0 0 0 19 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717852424248 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717851372152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333990663 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717850319560 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15802/task/15821/stat : 15821 (java) S 15800 15802 15565 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333990674 3097006080 21265 33554432000 1073741824 1073778376 140733669642496 139717848118696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 3024420
Child status: 20
Real time (s): 6.3056
CPU time (s): 6.68398
CPU user time (s): 6.63199
CPU system time (s): 0.051992
CPU usage (%): 106.001
Max. virtual memory (cumulated for all children) (KiB): 3024756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.63199
system time used= 0.051992
maximum resident set size= 87128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8286
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= 350
involuntary context switches= 29
runsolver used 0.020996 second user time and 0.030995 second system time
The end