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-3455145-1307189162/watcher-3455145-1307189162 -o /tmp/evaluation-result-3455145-1307189162/solver-3455145-1307189162 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455145-1307189162.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.84 3.83 2.99 1/579 6213
/proc/meminfo: memFree=30022292/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 2235 0 1 0 0 0 0 0 25 0 2 0 830514867 10681323520 1937 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2607745 1949 906 9 0 2598901 0
[pid=6213/tid=6214] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) R 6211 6213 3716 0 -1 4202560 8820 0 1 0 0 0 0 0 25 0 10 0 830514867 10703900672 9645 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 47311258380944 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9647 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) R 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9648 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9648 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9649 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9649 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9650 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9651 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) R 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10703900672 9652 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0285761 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6213
/proc/meminfo: memFree=30022292/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 10762 0 1 0 1 1 0 0 25 0 10 0 830514867 10705932288 10461 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2613753 10462 1515 9 0 2604501 0
[pid=6213/tid=6214] ppid=6211 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) R 6211 6213 3716 0 -1 4202560 9640 0 1 0 1 0 0 0 25 0 10 0 830514867 10705932288 10462 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 47311262291480 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10463 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10465 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10466 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10467 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10468 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10471 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10455012 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830514869 10705932288 10472 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16784584 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.105556 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6213
/proc/meminfo: memFree=30022292/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10540132 CPUtime=0.11 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 13175 0 1 0 10 1 0 0 25 0 18 0 830514867 10793095168 12872 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2635033 12872 2107 9 0 2625767 0
[pid=6213/tid=6214] ppid=6211 vsize=10540132 CPUtime=0.09 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) R 6211 6213 3716 0 -1 4202560 11244 0 1 0 9 0 0 0 25 0 18 0 830514867 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 47311263726419 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10540132 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830514869 10793095168 12873 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540132
[startup+0.300462 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6213
/proc/meminfo: memFree=30022292/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10545752 CPUtime=0.4 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 14820 0 1 0 39 1 0 0 25 0 19 0 830514867 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2636438 14464 2205 9 0 2627172 0
[pid=6213/tid=6214] ppid=6211 vsize=10545752 CPUtime=0.23 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) S 6211 6213 3716 0 -1 4202560 12226 0 1 0 22 1 0 0 25 0 19 0 830514867 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10545752
[startup+0.700521 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6213
/proc/meminfo: memFree=30022292/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10545752 CPUtime=0.4 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 14820 0 1 0 39 1 0 0 25 0 19 0 830514867 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2636438 14464 2205 9 0 2627172 0
[pid=6213/tid=6214] ppid=6211 vsize=10545752 CPUtime=0.23 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) S 6211 6213 3716 0 -1 4202560 12226 0 1 0 22 1 0 0 25 0 19 0 830514867 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10798850048 14464 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10545752
[startup+1.50126 s]
/proc/loadavg: 3.84 3.83 2.99 3/576 6246
/proc/meminfo: memFree=30017588/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10548708 CPUtime=0.74 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 17274 0 1 0 72 2 0 0 25 0 19 0 830514867 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2637177 16119 2220 9 0 2627911 0
[pid=6213/tid=6214] ppid=6211 vsize=10548708 CPUtime=0.23 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) S 6211 6213 3716 0 -1 4202560 12291 0 1 0 22 1 0 0 17 0 19 0 830514867 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6224] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6224/stat : 6224 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 0 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6225] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6225/stat : 6225 (java) S 6211 6213 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6226] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6226/stat : 6226 (java) S 6211 6213 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6227] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6227/stat : 6227 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826063793 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6228] ppid=6211 vsize=10548708 CPUtime=0.19 cores=0,2,4,6
/proc/6213/task/6228/stat : 6228 (java) S 6211 6213 3716 0 -1 4202560 1316 0 0 0 19 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6229] ppid=6211 vsize=10548708 CPUtime=0.18 cores=0,2,4,6
/proc/6213/task/6229/stat : 6229 (java) S 6211 6213 3716 0 -1 4202560 2125 0 0 0 18 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6230] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6230/stat : 6230 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6231] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6231/stat : 6231 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 0 0 0 0
[pid=6213/tid=6234] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6234/stat : 6234 (java) S 6211 6213 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514891 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10548708
Solver just ended. Dumping a history of the last processes samples
[startup+1.70123 s]
/proc/loadavg: 3.84 3.83 2.99 3/576 6246
/proc/meminfo: memFree=30017588/32950928 swapFree=41528364/67111528
[pid=6213] ppid=6211 vsize=10548708 CPUtime=0.74 cores=0,2,4,6
/proc/6213/stat : 6213 (java) S 6211 6213 3716 0 -1 4202496 17274 0 1 0 72 2 0 0 25 0 19 0 830514867 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6213/statm: 2637177 16119 2220 9 0 2627911 0
[pid=6213/tid=6214] ppid=6211 vsize=10548708 CPUtime=0.23 cores=0,2,4,6
/proc/6213/task/6214/stat : 6214 (java) S 6211 6213 3716 0 -1 4202560 12291 0 1 0 22 1 0 0 17 0 19 0 830514867 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6215] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6215/stat : 6215 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6216] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6216/stat : 6216 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6217] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6217/stat : 6217 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6218] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6218/stat : 6218 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6219] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6219/stat : 6219 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6220] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6220/stat : 6220 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6221] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6221/stat : 6221 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6222] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6222/stat : 6222 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514869 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6224] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6224/stat : 6224 (java) S 6211 6213 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 0 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6225] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6225/stat : 6225 (java) S 6211 6213 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6226] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6226/stat : 6226 (java) S 6211 6213 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514870 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6227] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6227/stat : 6227 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826063793 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6228] ppid=6211 vsize=10548708 CPUtime=0.19 cores=0,2,4,6
/proc/6213/task/6228/stat : 6228 (java) S 6211 6213 3716 0 -1 4202560 1316 0 0 0 19 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6229] ppid=6211 vsize=10548708 CPUtime=0.18 cores=0,2,4,6
/proc/6213/task/6229/stat : 6229 (java) S 6211 6213 3716 0 -1 4202560 2125 0 0 0 18 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 4 0 0 0
[pid=6213/tid=6230] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6230/stat : 6230 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056089 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
[pid=6213/tid=6231] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6231/stat : 6231 (java) S 6211 6213 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514872 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 0 0 0 0
[pid=6213/tid=6234] ppid=6211 vsize=10548708 CPUtime=0 cores=0,2,4,6
/proc/6213/task/6234/stat : 6234 (java) S 6211 6213 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514891 10801876992 16119 33554432000 1073741824 1073778376 140733721437024 18446744073709551615 251826056704 0 4 0 16800975 18446604441423679872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10548708
Child status: 30
Real time (s): 1.76646
CPU time (s): 0.758884
CPU user time (s): 0.729889
CPU system time (s): 0.028995
CPU usage (%): 42.9608
Max. virtual memory (cumulated for all children) (KiB): 10548708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.729889
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17293
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= 235
involuntary context switches= 41
runsolver used 0.010998 second user time and 0.031995 second system time
The end