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-3455425-1307196629/watcher-3455425-1307196629 -o /tmp/evaluation-result-3455425-1307196629/solver-3455425-1307196629 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455425-1307196629.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: 1.83 3.19 3.55 3/551 15013
/proc/meminfo: memFree=24905044/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 2479 0 1 0 0 0 0 0 23 0 2 0 831259976 10681323520 2181 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2607745 2194 906 9 0 2598901 0
[pid=15013/tid=15014] ppid=15011 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) R 15011 15013 14981 0 -1 4202560 5608 0 1 0 0 0 0 0 25 0 2 0 831259977 10694979584 6425 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.059873 s]
/proc/loadavg: 1.83 3.19 3.55 3/551 15013
/proc/meminfo: memFree=24905044/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 11504 0 1 0 3 1 0 0 23 0 13 0 831259976 10718838784 11201 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2616904 11201 1685 9 0 2607652 0
[pid=15013/tid=15014] ppid=15011 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) R 15011 15013 14981 0 -1 4202560 10354 0 1 0 3 0 0 0 21 0 13 0 831259977 10718838784 11201 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239476391507 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100899 s]
/proc/loadavg: 1.83 3.19 3.55 3/551 15013
/proc/meminfo: memFree=24905044/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10539516 CPUtime=0.1 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 12946 0 1 0 8 2 0 0 23 0 18 0 831259976 10792464384 12643 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2634879 12644 2092 9 0 2625613 0
[pid=15013/tid=15014] ppid=15011 vsize=10539516 CPUtime=0.07 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) R 15011 15013 14981 0 -1 4202560 11024 0 1 0 6 1 0 0 25 0 18 0 831259977 10792464384 12644 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 47757026449427 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539516
[startup+0.300819 s]
/proc/loadavg: 1.83 3.19 3.55 3/551 15013
/proc/meminfo: memFree=24905044/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10543468 CPUtime=0.5 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 16232 0 1 0 48 2 0 0 23 0 20 0 831259976 10796511232 15452 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2635867 15452 2209 9 0 2626601 0
[pid=15013/tid=15014] ppid=15011 vsize=10543468 CPUtime=0.27 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) S 15011 15013 14981 0 -1 4202560 12977 0 1 0 26 1 0 0 25 0 20 0 831259977 10796511232 15452 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543468
[startup+0.700825 s]
/proc/loadavg: 1.83 3.19 3.55 3/551 15013
/proc/meminfo: memFree=24905044/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10546596 CPUtime=0.7 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 18531 0 1 0 67 3 0 0 23 0 19 0 831259976 10799714304 16887 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2636649 16887 2217 9 0 2627383 0
[pid=15013/tid=15014] ppid=15011 vsize=10546596 CPUtime=0.27 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) S 15011 15013 14981 0 -1 4202560 12977 0 1 0 26 1 0 0 25 0 19 0 831259977 10799714304 16887 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10546596
[startup+1.50165 s]
/proc/loadavg: 1.83 3.19 3.55 8/595 15065
/proc/meminfo: memFree=24616280/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10557124 CPUtime=2.05 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 43622 0 1 0 199 6 0 0 23 0 19 0 831259976 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2639281 39520 2228 9 0 2630015 0
[pid=15013/tid=15014] ppid=15011 vsize=10557124 CPUtime=0.28 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) S 15011 15013 14981 0 -1 4202560 13343 0 1 0 27 1 0 0 17 0 19 0 831259977 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15017] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15017/stat : 15017 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15018] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15018/stat : 15018 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15019] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15019/stat : 15019 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15020] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15020/stat : 15020 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15021] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15021/stat : 15021 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15022] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15022/stat : 15022 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15023] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15023/stat : 15023 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15024] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15024/stat : 15024 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15030] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15030/stat : 15030 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831259979 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15031] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15031/stat : 15031 (java) S 15011 15013 14981 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831259980 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15032] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15032/stat : 15032 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831259980 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15043] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15043/stat : 15043 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831259982 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15044] ppid=15011 vsize=10557124 CPUtime=0.47 cores=0,2,4,6
/proc/15013/task/15044/stat : 15044 (java) S 15011 15013 14981 0 -1 4202560 5373 0 0 0 46 1 0 0 16 0 19 0 831259982 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15045] ppid=15011 vsize=10557124 CPUtime=0.54 cores=0,2,4,6
/proc/15013/task/15045/stat : 15045 (java) R 15011 15013 14981 0 -1 4202560 5248 0 0 0 53 1 0 0 16 0 19 0 831259982 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 47757027241048 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15013/tid=15046] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15046/stat : 15046 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259982 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15047] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15047/stat : 15047 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831259982 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15057] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15057/stat : 15057 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831260007 10810494976 39520 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10557124
[startup+3.10136 s]
/proc/loadavg: 1.83 3.19 3.55 1/591 15074
/proc/meminfo: memFree=24374156/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10557124 CPUtime=3.1 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 101814 0 1 0 297 13 0 0 23 0 20 0 831259976 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2639281 97710 2231 9 0 2630015 0
[pid=15013/tid=15014] ppid=15011 vsize=10557124 CPUtime=0.3 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) S 15011 15013 14981 0 -1 4202560 13882 0 1 0 29 1 0 0 16 0 20 0 831259977 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15017/stat : 15017 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15018] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15018/stat : 15018 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15019] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15019/stat : 15019 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15020] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15020/stat : 15020 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97710 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15021] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15021/stat : 15021 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15022] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15022/stat : 15022 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15023] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15023/stat : 15023 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15024] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15024/stat : 15024 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259978 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15030] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15030/stat : 15030 (java) S 15011 15013 14981 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 831259979 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15031] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15031/stat : 15031 (java) S 15011 15013 14981 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 831259980 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15032] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15032/stat : 15032 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831259980 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15043] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15043/stat : 15043 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 831259982 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15044] ppid=15011 vsize=10557124 CPUtime=0.63 cores=0,2,4,6
/proc/15013/task/15044/stat : 15044 (java) S 15011 15013 14981 0 -1 4202560 5446 0 0 0 62 1 0 0 16 0 20 0 831259982 10810494976 97711 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15045] ppid=15011 vsize=10557124 CPUtime=0.74 cores=0,2,4,6
/proc/15013/task/15045/stat : 15045 (java) S 15011 15013 14981 0 -1 4202560 5296 0 0 0 73 1 0 0 16 0 20 0 831259982 10810494976 97712 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15046] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15046/stat : 15046 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831259982 10810494976 97712 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15047] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15047/stat : 15047 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831259982 10810494976 97712 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15057] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15057/stat : 15057 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831260007 10810494976 97712 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10557124
Solver just ended. Dumping a history of the last processes samples
[startup+3.32137 s]
/proc/loadavg: 1.83 3.19 3.55 2/570 15087
/proc/meminfo: memFree=24518540/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=10557124 CPUtime=3.1 cores=0,2,4,6
/proc/15013/stat : 15013 (java) S 15011 15013 14981 0 -1 4202496 101920 0 1 0 297 13 0 0 23 0 19 0 831259976 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 2639281 97816 2231 9 0 2630015 0
[pid=15013/tid=15014] ppid=15011 vsize=10557124 CPUtime=0.3 cores=0,2,4,6
/proc/15013/task/15014/stat : 15014 (java) S 15011 15013 14981 0 -1 4202560 13882 0 1 0 29 1 0 0 16 0 19 0 831259977 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15017] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15017/stat : 15017 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15018] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15018/stat : 15018 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15019] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15019/stat : 15019 (java) S 15011 15013 14981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15020] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15020/stat : 15020 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15021] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15021/stat : 15021 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15022] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15022/stat : 15022 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15023] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15023/stat : 15023 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15024] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15024/stat : 15024 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259978 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=15013/tid=15030] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15030/stat : 15030 (java) S 15011 15013 14981 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831259979 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15031] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15031/stat : 15031 (java) S 15011 15013 14981 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 831259980 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15032] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15032/stat : 15032 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831259980 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15043] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15043/stat : 15043 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831259982 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15044] ppid=15011 vsize=10557124 CPUtime=0.63 cores=0,2,4,6
/proc/15013/task/15044/stat : 15044 (java) S 15011 15013 14981 0 -1 4202560 5446 0 0 0 62 1 0 0 16 0 19 0 831259982 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=15013/tid=15045] ppid=15011 vsize=10557124 CPUtime=0.74 cores=0,2,4,6
/proc/15013/task/15045/stat : 15045 (java) S 15011 15013 14981 0 -1 4202560 5296 0 0 0 73 1 0 0 15 0 19 0 831259982 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15046] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15046/stat : 15046 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831259982 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=15013/tid=15047] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15047/stat : 15047 (java) S 15011 15013 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831259982 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=15013/tid=15057] ppid=15011 vsize=10557124 CPUtime=0 cores=0,2,4,6
/proc/15013/task/15057/stat : 15057 (java) S 15011 15013 14981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831260007 10810494976 97816 33554432000 1073741824 1073778376 140735461244272 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10557124
[startup+3.40132 s]
/proc/loadavg: 1.83 3.19 3.55 2/570 15087
/proc/meminfo: memFree=24518540/32950928 swapFree=67056580/67111528
[pid=15013] ppid=15011 vsize=0 CPUtime=3.15 cores=0,2,4,6
/proc/15013/stat : 15013 (java) Z 15011 15013 14981 0 -1 4203548 101966 0 1 0 300 15 0 0 18 0 2 0 831259976 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15013/statm: 0 0 0 0 0 0 0
[pid=15013/tid=15024] ppid=15011 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/15013/task/15024/stat : 15024 (java) R 15011 15013 14981 0 -1 4203588 1 0 0 0 0 1 0 0 18 0 2 0 831259978 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.4054
CPU time (s): 3.16452
CPU user time (s): 3.00754
CPU system time (s): 0.156976
CPU usage (%): 92.9265
Max. virtual memory (cumulated for all children) (KiB): 10557124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.00754
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101966
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= 399
involuntary context switches= 98
runsolver used 0.026995 second user time and 0.056991 second system time
The end