runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459640-1307642288/watcher-3459640-1307642288 -o /tmp/evaluation-result-3459640-1307642288/solver-3459640-1307642288 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459640-1307642288.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: 1.92 1.98 1.96 2/195 27939
/proc/meminfo: memFree=32335436/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/27939/stat : 27939 (java) R 27937 27939 26276 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 875831593 23580672 692 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27939/statm: 5757 693 510 9 0 124 0
[startup+0.0256129 s]
/proc/loadavg: 1.92 1.98 1.96 2/195 27939
/proc/meminfo: memFree=32335436/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 10558 0 1 0 0 1 0 0 25 0 2 0 875831593 13850947584 10259 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3381579 10282 917 9 0 3372735 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100601 s]
/proc/loadavg: 1.92 1.98 1.96 2/195 27939
/proc/meminfo: memFree=32335436/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13622300 CPUtime=0.1 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 15523 0 1 0 8 2 0 0 25 0 18 0 875831593 13949235200 15193 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3405575 15194 2092 9 0 3396309 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622300
[startup+0.300532 s]
/proc/loadavg: 1.92 1.98 1.96 2/195 27939
/proc/meminfo: memFree=32335436/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13626088 CPUtime=0.56 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 20457 0 1 0 53 3 0 0 25 0 18 0 875831593 13953114112 19337 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3406522 19338 2203 9 0 3397256 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13626088
[startup+0.700491 s]
/proc/loadavg: 1.92 1.98 1.96 2/195 27939
/proc/meminfo: memFree=32335436/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13628096 CPUtime=1.38 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 22299 0 1 0 135 3 0 0 25 0 19 0 875831593 13955170304 20744 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3407024 20744 2228 9 0 3397758 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 13628096
[startup+1.50131 s]
/proc/loadavg: 1.92 1.98 1.96 3/214 27958
/proc/meminfo: memFree=32260228/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13628096 CPUtime=2.25 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 22537 0 1 0 222 3 0 0 25 0 19 0 875831593 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3407024 20981 2233 9 0 3397758 0
[pid=27939/tid=27941] ppid=27937 vsize=13628096 CPUtime=1.48 cores=1,3,5,7
/proc/27939/task/27941/stat : 27941 (java) R 27937 27939 26276 0 -1 4202560 16933 0 1 0 146 2 0 0 25 0 19 0 875831593 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 47694106859644 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27939/tid=27942] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27942/stat : 27942 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27943] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27943/stat : 27943 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27944] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27944/stat : 27944 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27945] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27945/stat : 27945 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27946] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27946/stat : 27946 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27947] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27947/stat : 27947 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27948] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27948/stat : 27948 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27949] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27949/stat : 27949 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831596 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27950] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27950/stat : 27950 (java) S 27937 27939 26276 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 875831597 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 0 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27951] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27951/stat : 27951 (java) S 27937 27939 26276 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 875831597 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27952] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27952/stat : 27952 (java) S 27937 27939 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875831597 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27953] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27953/stat : 27953 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382780849 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27954] ppid=27937 vsize=13628096 CPUtime=0.39 cores=1,3,5,7
/proc/27939/task/27954/stat : 27954 (java) R 27937 27939 26276 0 -1 4202560 2129 0 0 0 39 0 0 0 16 0 19 0 875831599 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 47694101571492 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27939/tid=27955] ppid=27937 vsize=13628096 CPUtime=0.36 cores=1,3,5,7
/proc/27939/task/27955/stat : 27955 (java) S 27937 27939 26276 0 -1 4202560 2314 0 0 0 36 0 0 0 15 0 19 0 875831599 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 3 0 0 0
[pid=27939/tid=27956] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27956/stat : 27956 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27957] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27957/stat : 27957 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875831599 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27958] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27958/stat : 27958 (java) S 27937 27939 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875831625 13955170304 20981 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 13628096
[startup+3.10106 s]
/proc/loadavg: 1.93 1.98 1.96 3/214 27958
/proc/meminfo: memFree=32258740/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13628096 CPUtime=3.94 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 23451 0 1 0 391 3 0 0 25 0 19 0 875831593 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3407024 21889 2259 9 0 3397758 0
[pid=27939/tid=27941] ppid=27937 vsize=13628096 CPUtime=3.06 cores=1,3,5,7
/proc/27939/task/27941/stat : 27941 (java) R 27937 27939 26276 0 -1 4202560 17078 0 1 0 304 2 0 0 25 0 19 0 875831593 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 46912505823008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27939/tid=27942] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27942/stat : 27942 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27943] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27943/stat : 27943 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27944] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27944/stat : 27944 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27945] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27945/stat : 27945 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27946] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27946/stat : 27946 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27947] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27947/stat : 27947 (java) S 27937 27939 26276 0 -1 4202560 21 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27948] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27948/stat : 27948 (java) S 27937 27939 26276 0 -1 4202560 158 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27949] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27949/stat : 27949 (java) S 27937 27939 26276 0 -1 4202560 196 0 0 0 0 0 0 0 18 0 19 0 875831596 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27950] ppid=27937 vsize=13628096 CPUtime=0.01 cores=1,3,5,7
/proc/27939/task/27950/stat : 27950 (java) S 27937 27939 26276 0 -1 4202560 378 0 0 0 1 0 0 0 16 0 19 0 875831597 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 0 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27951] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27951/stat : 27951 (java) S 27937 27939 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875831597 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27952] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27952/stat : 27952 (java) S 27937 27939 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 875831597 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27953] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27953/stat : 27953 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382780849 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27954] ppid=27937 vsize=13628096 CPUtime=0.46 cores=1,3,5,7
/proc/27939/task/27954/stat : 27954 (java) S 27937 27939 26276 0 -1 4202560 2144 0 0 0 46 0 0 0 15 0 19 0 875831599 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27955] ppid=27937 vsize=13628096 CPUtime=0.39 cores=1,3,5,7
/proc/27939/task/27955/stat : 27955 (java) S 27937 27939 26276 0 -1 4202560 2320 0 0 0 39 0 0 0 16 0 19 0 875831599 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 3 0 0 0
[pid=27939/tid=27956] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27956/stat : 27956 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27957] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27957/stat : 27957 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875831599 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27958] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27958/stat : 27958 (java) S 27937 27939 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875831625 13955170304 21889 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13628096
[startup+6.3015 s]
/proc/loadavg: 1.93 1.98 1.96 3/214 27958
/proc/meminfo: memFree=32254508/32951124 swapFree=67050780/67111528
[pid=27939] ppid=27937 vsize=13628096 CPUtime=7.18 cores=1,3,5,7
/proc/27939/stat : 27939 (java) S 27937 27939 26276 0 -1 4202496 23779 0 1 0 715 3 0 0 25 0 19 0 875831593 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27939/statm: 3407024 22190 2260 9 0 3397758 0
[pid=27939/tid=27941] ppid=27937 vsize=13628096 CPUtime=6.22 cores=1,3,5,7
/proc/27939/task/27941/stat : 27941 (java) R 27937 27939 26276 0 -1 4202560 17084 0 1 0 620 2 0 0 25 0 19 0 875831593 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 46912505735295 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27939/tid=27942] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27942/stat : 27942 (java) S 27937 27939 26276 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27943] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27943/stat : 27943 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27944] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27944/stat : 27944 (java) S 27937 27939 26276 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27945] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27945/stat : 27945 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27946] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27946/stat : 27946 (java) S 27937 27939 26276 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27947] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27947/stat : 27947 (java) S 27937 27939 26276 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27948] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27948/stat : 27948 (java) S 27937 27939 26276 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27949] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27949/stat : 27949 (java) S 27937 27939 26276 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 875831596 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27950] ppid=27937 vsize=13628096 CPUtime=0.05 cores=1,3,5,7
/proc/27939/task/27950/stat : 27950 (java) S 27937 27939 26276 0 -1 4202560 522 0 0 0 5 0 0 0 15 0 19 0 875831597 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 0 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27951] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27951/stat : 27951 (java) S 27937 27939 26276 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 875831597 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27952] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27952/stat : 27952 (java) S 27937 27939 26276 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 875831597 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27953] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27953/stat : 27953 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382780849 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27954] ppid=27937 vsize=13628096 CPUtime=0.46 cores=1,3,5,7
/proc/27939/task/27954/stat : 27954 (java) S 27937 27939 26276 0 -1 4202560 2146 0 0 0 46 0 0 0 15 0 19 0 875831599 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 7 0 0 0
[pid=27939/tid=27955] ppid=27937 vsize=13628096 CPUtime=0.42 cores=1,3,5,7
/proc/27939/task/27955/stat : 27955 (java) S 27937 27939 26276 0 -1 4202560 2348 0 0 0 42 0 0 0 15 0 19 0 875831599 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 3 0 0 0
[pid=27939/tid=27956] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27956/stat : 27956 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 875831599 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773145 0 4 0 16800975 18446604457425810752 0 0 -1 5 0 0 0
[pid=27939/tid=27957] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27957/stat : 27957 (java) S 27937 27939 26276 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 875831599 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
[pid=27939/tid=27958] ppid=27937 vsize=13628096 CPUtime=0 cores=1,3,5,7
/proc/27939/task/27958/stat : 27958 (java) S 27937 27939 26276 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 875831625 13955170304 22190 33554432000 1073741824 1073778376 140734402697232 18446744073709551615 218382773760 0 4 0 16800975 18446604457425810752 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 13628096
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 6.32311
CPU time (s): 7.2199
CPU user time (s): 7.17691
CPU system time (s): 0.042993
CPU usage (%): 114.183
Max. virtual memory (cumulated for all children) (KiB): 13628096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.17691
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23808
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 514
involuntary context switches= 109
runsolver used 0.008998 second user time and 0.029995 second system time
The end