0.00/0.03 c --- Preproc Stats ---
32.98/33.46 c start processing
32.98/33.47 c start relation processing
32.98/33.49 c start cnf exporting
201.08/220.33 c parsing time : 33.334
201.08/220.33 c preprocessing time : 220.202
201.08/220.34
201.08/220.34 c Nary constraints - conflicts : 0 supports : 0
201.08/220.34 c Binary constraints - conflicts : 21540 supports :0
201.08/220.34 c max arity constraint : 2
201.08/220.34 c Max Tuples generated 14400
201.08/220.34 c relations : 120
201.08/220.34 c relations BDD: 0
201.08/220.34 c sampling 120/120
201.08/220.34 c vars : 28801 - clauses : 7711560
201.08/220.34
201.08/220.39
201.08/220.39 c --- SAT Solver Stats ---
201.08/220.39
201.08/220.39 c eSAT 0.1 : minisat core with additionnal features
201.08/220.39 c ============================[ Problem Statistics ]=============================
201.08/220.39 c | |
201.08/220.40 c | Number of variables: 28800 |
201.08/220.40 c | Number of clauses: 7711560 |
204.33/223.67 c | Parsing time: 2.70 s |
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084134-1215230117/watcher-1084134-1215230117 -o /tmp/evaluation-result-1084134-1215230117/solver-1084134-1215230117 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1084134-1215230117.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13883
/proc/meminfo: memFree=1719344/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=8652 CPUtime=0
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 346 0 0 0 0 0 0 0 16 0 1 0 150397009 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 2163 280 208 79 0 156 0
[pid=13884] ppid=13883 vsize=8688 CPUtime=0
/proc/13884/stat : 13884 (galacE.sh) S 13883 13883 13071 0 -1 4194368 36 0 0 0 0 0 0 0 17 0 1 0 150397010 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 217871777874 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/13884/statm: 2172 286 209 79 0 165 0
[pid=13885] ppid=13884 vsize=8728 CPUtime=0
/proc/13885/stat : 13885 (galacE.sh) R 13884 13883 13071 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 150397010 8937472 290 996147200 4194304 4520092 548682068832 18446744073709551615 217871609127 0 0 3674112 73728 0 0 0 17 1 0 0
/proc/13885/statm: 2182 290 209 79 0 175 0
[startup+0.02175 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13883
/proc/meminfo: memFree=1719344/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=8748 CPUtime=0
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 454 948 0 0 0 0 0 0 17 0 1 0 150397009 8957952 312 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 2187 312 217 79 0 180 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8748
[startup+0.101954 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13883
/proc/meminfo: memFree=1719344/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.301975 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13883
/proc/meminfo: memFree=1719344/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.702026 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13883
/proc/meminfo: memFree=1719344/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.50212 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13905
/proc/meminfo: memFree=1689184/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13897] ppid=13883 vsize=812548 CPUtime=1.43
/proc/13897/stat : 13897 (java) S 13883 13883 13071 0 -1 0 12066 0 1 0 134 9 0 0 18 0 9 0 150397013 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13897/statm: 203137 11473 1919 9 0 197171 0
[pid=13897/tid=13898] ppid=13883 vsize=812548 CPUtime=1.22
/proc/13897/task/13898/stat : 13898 (java) R 13883 13883 13071 0 -1 64 10558 0 1 0 115 7 0 0 25 0 9 0 150397014 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4126738577 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13899] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13899/stat : 13899 (java) S 13883 13883 13071 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 150397016 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13900] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13900/stat : 13900 (java) S 13883 13883 13071 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 150397016 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13901] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13901/stat : 13901 (java) S 13883 13883 13071 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 150397016 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13902] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13902/stat : 13902 (java) S 13883 13883 13071 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 150397018 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13903] ppid=13883 vsize=812548 CPUtime=0.18
/proc/13897/task/13903/stat : 13903 (java) S 13883 13883 13071 0 -1 64 804 0 0 0 18 0 0 0 16 0 9 0 150397018 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13904] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13904/stat : 13904 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 150397018 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13905] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13905/stat : 13905 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 150397019 832049152 11473 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860100
[startup+3.1023 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 13905
/proc/meminfo: memFree=1666528/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13897] ppid=13883 vsize=812548 CPUtime=3.02
/proc/13897/stat : 13897 (java) S 13883 13883 13071 0 -1 0 20008 0 1 0 289 13 0 0 18 0 9 0 150397013 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13897/statm: 203137 19413 1931 9 0 197171 0
[pid=13897/tid=13898] ppid=13883 vsize=812548 CPUtime=2.62
/proc/13897/task/13898/stat : 13898 (java) R 13883 13883 13071 0 -1 64 14580 0 1 0 253 9 0 0 25 0 9 0 150397014 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 101444392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13899] ppid=13883 vsize=812548 CPUtime=0.04
/proc/13897/task/13899/stat : 13899 (java) S 13883 13883 13071 0 -1 64 3813 0 0 0 2 2 0 0 16 0 9 0 150397016 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13900] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13900/stat : 13900 (java) S 13883 13883 13071 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 150397016 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13901] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13901/stat : 13901 (java) S 13883 13883 13071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 150397016 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13902] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13902/stat : 13902 (java) S 13883 13883 13071 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 150397018 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13903] ppid=13883 vsize=812548 CPUtime=0.32
/proc/13897/task/13903/stat : 13903 (java) S 13883 13883 13071 0 -1 64 914 0 0 0 32 0 0 0 15 0 9 0 150397018 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13904] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13904/stat : 13904 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 150397018 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13905] ppid=13883 vsize=812548 CPUtime=0
/proc/13897/task/13905/stat : 13905 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 150397019 832049152 19413 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 860100
[startup+6.30168 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 13905
/proc/meminfo: memFree=1642336/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13897] ppid=13883 vsize=812680 CPUtime=6.19
/proc/13897/stat : 13897 (java) S 13883 13883 13071 0 -1 0 21470 0 1 0 605 14 0 0 18 0 9 0 150397013 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13897/statm: 203170 20870 1931 9 0 197204 0
[pid=13897/tid=13898] ppid=13883 vsize=812680 CPUtime=5.75
/proc/13897/task/13898/stat : 13898 (java) R 13883 13883 13071 0 -1 64 14586 0 1 0 566 9 0 0 25 0 9 0 150397014 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4126095823 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13899] ppid=13883 vsize=812680 CPUtime=0.06
/proc/13897/task/13899/stat : 13899 (java) S 13883 13883 13071 0 -1 64 5254 0 0 0 4 2 0 0 16 0 9 0 150397016 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13900] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13900/stat : 13900 (java) S 13883 13883 13071 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13901] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13901/stat : 13901 (java) S 13883 13883 13071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13902] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13902/stat : 13902 (java) S 13883 13883 13071 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 150397018 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13903] ppid=13883 vsize=812680 CPUtime=0.34
/proc/13897/task/13903/stat : 13903 (java) S 13883 13883 13071 0 -1 64 929 0 0 0 34 0 0 0 15 0 9 0 150397018 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13904] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13904/stat : 13904 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 150397018 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13905] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13905/stat : 13905 (java) R 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 150397019 832184320 20870 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 860232
[startup+12.7024 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 13905
/proc/meminfo: memFree=1641632/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13897] ppid=13883 vsize=812680 CPUtime=12.51
/proc/13897/stat : 13897 (java) S 13883 13883 13071 0 -1 0 21601 0 1 0 1237 14 0 0 18 0 9 0 150397013 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13897/statm: 203170 20995 1931 9 0 197204 0
[pid=13897/tid=13898] ppid=13883 vsize=812680 CPUtime=12.05
/proc/13897/task/13898/stat : 13898 (java) R 13883 13883 13071 0 -1 64 14592 0 1 0 1196 9 0 0 25 0 9 0 150397014 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4126762416 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13899] ppid=13883 vsize=812680 CPUtime=0.08
/proc/13897/task/13899/stat : 13899 (java) S 13883 13883 13071 0 -1 64 5379 0 0 0 6 2 0 0 16 0 9 0 150397016 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13900] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13900/stat : 13900 (java) S 13883 13883 13071 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13901] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13901/stat : 13901 (java) S 13883 13883 13071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13902] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13902/stat : 13902 (java) S 13883 13883 13071 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 150397018 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13903] ppid=13883 vsize=812680 CPUtime=0.34
/proc/13897/task/13903/stat : 13903 (java) S 13883 13883 13071 0 -1 64 929 0 0 0 34 0 0 0 15 0 9 0 150397018 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13904] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13904/stat : 13904 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 150397018 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13905] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13905/stat : 13905 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 150397019 832184320 20995 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 860232
[startup+25.5019 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 13905
/proc/meminfo: memFree=1640608/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=0.01
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13897] ppid=13883 vsize=812680 CPUtime=25.16
/proc/13897/stat : 13897 (java) S 13883 13883 13071 0 -1 0 21857 0 1 0 2501 15 0 0 18 0 9 0 150397013 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13897/statm: 203170 21241 1931 9 0 197204 0
[pid=13897/tid=13898] ppid=13883 vsize=812680 CPUtime=24.63
/proc/13897/task/13898/stat : 13898 (java) R 13883 13883 13071 0 -1 64 14602 0 1 0 2453 10 0 0 25 0 9 0 150397014 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4126416186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13899] ppid=13883 vsize=812680 CPUtime=0.15
/proc/13897/task/13899/stat : 13899 (java) S 13883 13883 13071 0 -1 64 5625 0 0 0 12 3 0 0 16 0 9 0 150397016 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13900] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13900/stat : 13900 (java) S 13883 13883 13071 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13901] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13901/stat : 13901 (java) S 13883 13883 13071 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 150397016 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13902] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13902/stat : 13902 (java) S 13883 13883 13071 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 150397018 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13903] ppid=13883 vsize=812680 CPUtime=0.34
/proc/13897/task/13903/stat : 13903 (java) S 13883 13883 13071 0 -1 64 929 0 0 0 34 0 0 0 16 0 9 0 150397018 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13904] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13904/stat : 13904 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 150397018 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13897/tid=13905] ppid=13883 vsize=812680 CPUtime=0
/proc/13897/task/13905/stat : 13905 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 150397019 832184320 21241 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
################
# More data... #
################
/proc/13897/task/13905/stat : 13905 (java) S 13883 13883 13071 0 -1 64 1 0 0 0 23 41 0 0 15 0 9 0 150397019 832184320 22011 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 148.59
Current children cumulated vsize (KiB) 860232
[startup+222.302 s]
/proc/loadavg: 2.08 2.06 2.02 3/74 13906
/proc/meminfo: memFree=1502560/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=172748 CPUtime=1.88
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 42162 0 0 0 156 32 0 0 25 0 1 0 150419049 176893952 42144 996147200 134512640 135177480 4294955968 18446744073709551615 134518887 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 43187 42144 63 162 0 43022 0
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (KiB) 220300
[startup+282.302 s]
/proc/loadavg: 2.02 2.05 2.01 3/74 13906
/proc/meminfo: memFree=1200992/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=403872 CPUtime=61.57
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 100521 0 0 0 6082 75 0 0 25 0 1 0 150419049 413564928 100503 996147200 134512640 135177480 4294955968 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 100968 100503 78 162 0 100803 0
Current children cumulated CPU time (s) 262.72
Current children cumulated vsize (KiB) 451424
[startup+342.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/74 13906
/proc/meminfo: memFree=1163040/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=444612 CPUtime=121.27
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 110696 0 0 0 12046 81 0 0 25 0 1 0 150419049 455282688 110678 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 111153 110678 78 162 0 110988 0
Current children cumulated CPU time (s) 322.42
Current children cumulated vsize (KiB) 492164
[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 13912
/proc/meminfo: memFree=1074400/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=531392 CPUtime=180.94
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 132392 0 0 0 17998 96 0 0 25 0 1 0 150419049 544145408 132374 996147200 134512640 135177480 4294955968 18446744073709551615 134564590 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 132848 132374 78 162 0 132683 0
Current children cumulated CPU time (s) 382.09
Current children cumulated vsize (KiB) 578944
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 13912
/proc/meminfo: memFree=1048032/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=556624 CPUtime=240.64
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 138689 0 0 0 23963 101 0 0 25 0 1 0 150419049 569982976 138671 996147200 134512640 135177480 4294955968 18446744073709551615 134547878 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 139156 138671 78 162 0 138991 0
Current children cumulated CPU time (s) 441.79
Current children cumulated vsize (KiB) 604176
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 13912
/proc/meminfo: memFree=979296/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=625368 CPUtime=300.34
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 155871 0 0 0 29922 112 0 0 25 0 1 0 150419049 640376832 155853 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 156342 155853 78 162 0 156177 0
Current children cumulated CPU time (s) 501.49
Current children cumulated vsize (KiB) 672920
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 13912
/proc/meminfo: memFree=947360/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=657280 CPUtime=360.05
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 163837 0 0 0 35887 118 0 0 25 0 1 0 150419049 673054720 163819 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 164320 163819 78 162 0 164155 0
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (KiB) 704832
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 13912
/proc/meminfo: memFree=947296/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=657280 CPUtime=419.74
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 163840 0 0 0 41856 118 0 0 25 0 1 0 150419049 673054720 163822 996147200 134512640 135177480 4294955968 18446744073709551615 134564641 0 0 4096 3 0 0 0 17 1 0 0
/proc/13906/statm: 164320 163822 78 162 0 164155 0
Current children cumulated CPU time (s) 620.89
Current children cumulated vsize (KiB) 704832
[startup+702.306 s]
/proc/loadavg: 1.93 1.98 1.99 3/76 13963
/proc/meminfo: memFree=935952/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=728400 CPUtime=479.12
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 181606 0 0 0 47781 131 0 0 25 0 1 0 150419049 745881600 181588 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/13906/statm: 182100 181588 78 162 0 181935 0
Current children cumulated CPU time (s) 680.27
Current children cumulated vsize (KiB) 775952
[startup+762.301 s]
/proc/loadavg: 1.97 1.98 1.99 3/76 13963
/proc/meminfo: memFree=902992/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=759936 CPUtime=539.04
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 189512 0 0 0 53767 137 0 0 25 0 1 0 150419049 778174464 189494 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/13906/statm: 189984 189494 78 162 0 189819 0
Current children cumulated CPU time (s) 740.19
Current children cumulated vsize (KiB) 807488
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 13963
/proc/meminfo: memFree=902480/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=759936 CPUtime=599
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 189512 0 0 0 59763 137 0 0 25 0 1 0 150419049 778174464 189494 996147200 134512640 135177480 4294955968 18446744073709551615 134564590 0 0 4096 3 0 0 0 17 0 0 0
/proc/13906/statm: 189984 189494 78 162 0 189819 0
Current children cumulated CPU time (s) 800.15
Current children cumulated vsize (KiB) 807488
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+863.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 13963
/proc/meminfo: memFree=787856/2055920 swapFree=4192812/4192956
[pid=13883] ppid=13881 vsize=47552 CPUtime=201.15
/proc/13883/stat : 13883 (galacE.sh) S 13881 13883 13071 0 -1 4194304 799 24659 0 1 0 0 19916 199 17 0 1 0 150397009 48693248 364 996147200 4194304 4520092 548682068832 18446744073709551615 217871215450 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/13883/statm: 11888 364 245 79 0 219 0
[pid=13906] ppid=13883 vsize=874292 CPUtime=639.77
/proc/13906/stat : 13906 (eSAT_static) R 13883 13883 13071 0 -1 4194304 218099 0 0 0 63823 154 0 0 25 0 1 0 150419049 895275008 218081 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/13906/statm: 218573 218081 78 162 0 218408 0
Current children cumulated CPU time (s) 840.92
Current children cumulated vsize (KiB) 921844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13883 and gives
# childrusage.ru_utime.tv_sec=199
# childrusage.ru_utime.tv_usec=165722
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=5695
# CPU time returned by wait4() is 201.171
# while last known CPU time is 840.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 863.113
CPU time (s): 840.92
CPU user time (s): 837.39
CPU system time (s): 3.53
CPU usage (%): 97.4287
Max. virtual memory (cumulated for all children) (KiB): 921844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.166
system time used= 2.00569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25458
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= 8244
involuntary context switches= 8605
runsolver used 1.91071 second user time and 3.9654 second system time
The end
Begin job on node28 at 2008-07-05 05:55:17
IDJOB=1084134
IDBENCH=57527
IDSOLVER=351
FILE ID=node28/1084134-1215230117
PBS_JOBID= 7881843
Free space on /tmp= 66500 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/super-queens/normalized-super-queens-4.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084134-1215230117/watcher-1084134-1215230117 -o /tmp/evaluation-result-1084134-1215230117/solver-1084134-1215230117 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1084134-1215230117.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 86f27dad5b32c8754684e5fda2e6b575
RANDOM SEED=1827030045
node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1719824 kB
Buffers: 41932 kB
Cached: 165128 kB
SwapCached: 0 kB
Active: 217108 kB
Inactive: 67876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5700 kB
Writeback: 0 kB
Mapped: 89412 kB
Slab: 36164 kB
Committed_AS: 404444 kB
PageTables: 1880 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66388 MiB
End job on node28 at 2008-07-05 06:09:42