0.00/0.03 c --- Preproc Stats ---
2.44/2.53 c start processing
2.44/2.53 c start relation processing
3.52/3.68 c start cnf exporting
17.77/18.07 c parsing time : 2.398
17.77/18.07 c preprocessing time : 17.944
17.77/18.07
17.77/18.07 c Nary constraints - conflicts : 0 supports : 0
17.77/18.07 c Binary constraints - conflicts : 29 supports :19
17.77/18.07 c max arity constraint : 2
17.77/18.07 c Max Tuples generated 39794
17.77/18.07 c relations : 48
17.77/18.07 c relations BDD: 0
17.77/18.07 c sampling 31/48
17.77/18.07 c vars : 2594 - clauses : 472452
17.77/18.07
17.84/18.13
17.84/18.13 c --- SAT Solver Stats ---
17.84/18.13
17.86/18.43 c restarts : 1
17.86/18.43 c conflicts : 89 (337 /sec)
17.86/18.43 c decisions : 3212 (0.84 % random) (12169 /sec)
17.86/18.43 c propagations : 16648 (63070 /sec)
17.86/18.43 c conflict literals : 12259 (15.60 % deleted)
17.86/18.43 c Memory used : 19.87 MB
17.86/18.43 c CPU time : 0.263959 s
17.86/18.43
17.86/18.43 s SATISFIABLE
18.50/18.89 v 74 28 142 24 29 0 38 128 165 143 0 55 70 36 29 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1075000-1215180053/watcher-1075000-1215180053 -o /tmp/evaluation-result-1075000-1215180053/solver-1075000-1215180053 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1075000-1215180053.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.03 2.05 2.01 4/72 27147
/proc/meminfo: memFree=1786648/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=8652 CPUtime=0
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 346 0 0 0 0 0 0 0 17 0 1 0 1996980170 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 2163 280 208 79 0 156 0
[pid=27148] ppid=27147 vsize=8688 CPUtime=0
/proc/27148/stat : 27148 (galacM.sh) S 27147 27147 23573 0 -1 4194368 36 0 0 0 0 0 0 0 17 0 1 0 1996980171 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/27148/statm: 2172 286 209 79 0 165 0
[pid=27149] ppid=27148 vsize=128 CPUtime=0
/proc/27149/stat : 27149 (id) R 27148 27147 23573 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 1996980171 131072 22 996147200 4194304 4211724 548682068832 18446744073709551615 214917248393 0 0 3674112 0 0 0 0 17 1 0 0
/proc/27149/statm: 32 22 16 4 0 3 0
[startup+0.085719 s]
/proc/loadavg: 2.03 2.05 2.01 4/72 27147
/proc/meminfo: memFree=1786648/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+0.101775 s]
/proc/loadavg: 2.03 2.05 2.01 4/72 27147
/proc/meminfo: memFree=1786648/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+0.301803 s]
/proc/loadavg: 2.03 2.05 2.01 4/72 27147
/proc/meminfo: memFree=1786648/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+0.701861 s]
/proc/loadavg: 2.03 2.05 2.01 4/72 27147
/proc/meminfo: memFree=1786648/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+1.50196 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27169
/proc/meminfo: memFree=1737544/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=1.43
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 16360 0 1 0 135 8 0 0 18 0 9 0 1996980174 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 15566 2586 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=0.66
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 7652 0 1 0 61 5 0 0 25 0 9 0 1996980175 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=0.64
/proc/27161/task/27163/stat : 27163 (java) R 27147 27147 23573 0 -1 64 7270 0 0 0 62 2 0 0 17 0 9 0 1996980177 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 103834271 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.11
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 738 0 0 0 11 0 0 0 16 0 9 0 1996980179 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 15566 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 15566 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) 860300
[startup+3.10218 s]
/proc/loadavg: 2.03 2.05 2.01 4/82 27169
/proc/meminfo: memFree=1726536/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=3.02
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 18792 0 1 0 292 10 0 0 18 0 9 0 1996980174 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 17991 2586 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=1.48
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 7659 0 1 0 143 5 0 0 25 0 9 0 1996980175 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4126746357 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=1.38
/proc/27161/task/27163/stat : 27163 (java) S 27147 27147 23573 0 -1 64 9680 0 0 0 134 4 0 0 19 0 9 0 1996980177 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.14
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 753 0 0 0 14 0 0 0 15 0 9 0 1996980179 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 17991 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 17991 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) 860300
[startup+6.30261 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27169
/proc/meminfo: memFree=1682888/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=6.2
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 28748 0 1 0 602 18 0 0 18 0 9 0 1996980174 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 27940 2591 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=4.5
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 14626 0 1 0 440 10 0 0 25 0 9 0 1996980175 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4126895719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=1.47
/proc/27161/task/27163/stat : 27163 (java) S 27147 27147 23573 0 -1 64 12637 0 0 0 141 6 0 0 16 0 9 0 1996980177 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.2
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 785 0 0 0 20 0 0 0 15 0 9 0 1996980179 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 27940 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 860300
[startup+12.7025 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27175
/proc/meminfo: memFree=1679048/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=12.51
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 28787 0 1 0 1231 20 0 0 18 0 9 0 1996980174 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 27969 2591 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=10.77
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 14636 0 1 0 1065 12 0 0 25 0 9 0 1996980175 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4126717629 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=1.47
/proc/27161/task/27163/stat : 27163 (java) S 27147 27147 23573 0 -1 64 12648 0 0 0 141 6 0 0 16 0 9 0 1996980177 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.23
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 803 0 0 0 23 0 0 0 15 0 9 0 1996980179 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 27969 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 27969 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) 860300
Solver just ended. Dumping a history of the last processes samples
[startup+15.9029 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27175
/proc/meminfo: memFree=1677576/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=15.68
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 28809 0 1 0 1547 21 0 0 18 0 9 0 1996980174 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 27986 2591 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=13.94
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 14641 0 1 0 1381 13 0 0 25 0 9 0 1996980175 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4126826895 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=1.48
/proc/27161/task/27163/stat : 27163 (java) S 27147 27147 23573 0 -1 64 12665 0 0 0 142 6 0 0 16 0 9 0 1996980177 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.23
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 803 0 0 0 23 0 0 0 16 0 9 0 1996980179 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 27986 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (KiB) 860300
[startup+17.5011 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27175
/proc/meminfo: memFree=1676616/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=0.01
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
[pid=27161] ppid=27147 vsize=812720 CPUtime=17.26
/proc/27161/stat : 27161 (java) S 27147 27147 23573 0 -1 0 28819 0 1 0 1704 22 0 0 18 0 9 0 1996980174 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27161/statm: 203180 27994 2591 9 0 197161 0
[pid=27161/tid=27162] ppid=27147 vsize=812720 CPUtime=15.52
/proc/27161/task/27162/stat : 27162 (java) R 27147 27147 23573 0 -1 64 14643 0 1 0 1538 14 0 0 25 0 9 0 1996980175 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4126913573 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27163] ppid=27147 vsize=812720 CPUtime=1.48
/proc/27161/task/27163/stat : 27163 (java) S 27147 27147 23573 0 -1 64 12673 0 0 0 142 6 0 0 16 0 9 0 1996980177 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27164] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27164/stat : 27164 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996980177 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27165] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27165/stat : 27165 (java) S 27147 27147 23573 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996980177 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27166] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27166/stat : 27166 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996980179 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27167] ppid=27147 vsize=812720 CPUtime=0.23
/proc/27161/task/27167/stat : 27167 (java) S 27147 27147 23573 0 -1 64 803 0 0 0 23 0 0 0 16 0 9 0 1996980179 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27168] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27168/stat : 27168 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996980179 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27161/tid=27169] ppid=27147 vsize=812720 CPUtime=0
/proc/27161/task/27169/stat : 27169 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996980179 832225280 27994 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (KiB) 860300
[startup+18.3012 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 27175
/proc/meminfo: memFree=1676616/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=17.86
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 799 30529 0 1 0 0 1761 25 17 0 1 0 1996980170 48721920 364 996147200 4194304 4520092 548682068832 18446744073709551615 214919474010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/27147/statm: 11895 364 245 79 0 219 0
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (KiB) 47580
[startup+18.7063 s]
/proc/loadavg: 2.02 2.05 2.01 4/82 27185
/proc/meminfo: memFree=1769544/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=18.17
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 836 35526 0 1 0 0 1788 29 15 0 1 0 1996980170 48721920 365 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/27147/statm: 11895 365 245 79 0 219 0
[pid=27177] ppid=27147 vsize=812644 CPUtime=0.24
/proc/27177/stat : 27177 (java) S 27147 27147 23573 0 -1 0 5002 0 1 0 21 3 0 0 18 0 9 0 1996982015 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27177/statm: 203161 4428 1848 9 0 197142 0
[pid=27177/tid=27178] ppid=27147 vsize=812644 CPUtime=0.19
/proc/27177/task/27178/stat : 27178 (java) R 27147 27147 23573 0 -1 64 3588 0 1 0 17 2 0 0 18 0 9 0 1996982016 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4125960198 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27179] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27179/stat : 27179 (java) S 27147 27147 23573 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 1996982018 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27180] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27180/stat : 27180 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996982018 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27181] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27181/stat : 27181 (java) S 27147 27147 23573 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996982018 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27182] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27182/stat : 27182 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996982020 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27183] ppid=27147 vsize=812644 CPUtime=0.03
/proc/27177/task/27183/stat : 27183 (java) R 27147 27147 23573 0 -1 64 700 0 0 0 3 0 0 0 19 0 9 0 1996982020 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27184] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27184/stat : 27184 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996982020 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27185] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27185/stat : 27185 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 1996982020 832147456 4428 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.41
Current children cumulated vsize (KiB) 860224
[startup+18.8013 s]
/proc/loadavg: 2.02 2.05 2.01 4/82 27185
/proc/meminfo: memFree=1769544/2055920 swapFree=4179464/4192956
[pid=27147] ppid=27145 vsize=47580 CPUtime=18.17
/proc/27147/stat : 27147 (galacM.sh) S 27145 27147 23573 0 -1 4194304 836 35526 0 1 0 0 1788 29 15 0 1 0 1996980170 48721920 365 996147200 4194304 4520092 548682068832 18446744073709551615 214920036434 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/27147/statm: 11895 365 245 79 0 219 0
[pid=27177] ppid=27147 vsize=812644 CPUtime=0.33
/proc/27177/stat : 27177 (java) S 27147 27147 23573 0 -1 0 5188 0 1 0 30 3 0 0 18 0 9 0 1996982015 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27177/statm: 203161 4600 1857 9 0 197142 0
[pid=27177/tid=27178] ppid=27147 vsize=812644 CPUtime=0.24
/proc/27177/task/27178/stat : 27178 (java) R 27147 27147 23573 0 -1 64 3734 0 1 0 22 2 0 0 19 0 9 0 1996982016 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 8905508 0 2147483391 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27179] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27179/stat : 27179 (java) S 27147 27147 23573 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 1996982018 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27180] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27180/stat : 27180 (java) S 27147 27147 23573 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996982018 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27181] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27181/stat : 27181 (java) S 27147 27147 23573 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996982018 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27182] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27182/stat : 27182 (java) S 27147 27147 23573 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1996982020 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27183] ppid=27147 vsize=812644 CPUtime=0.07
/proc/27177/task/27183/stat : 27183 (java) S 27147 27147 23573 0 -1 64 740 0 0 0 7 0 0 0 17 0 9 0 1996982020 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27184] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27184/stat : 27184 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996982020 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
[pid=27177/tid=27185] ppid=27147 vsize=812644 CPUtime=0
/proc/27177/task/27185/stat : 27185 (java) S 27147 27147 23573 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996982020 832147456 4600 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 3670016 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.5
Current children cumulated vsize (KiB) 860224
Child status: 0
Real time (s): 18.8995
CPU time (s): 18.6332
CPU user time (s): 18.2792
CPU system time (s): 0.353946
CPU usage (%): 98.5907
Max. virtual memory (cumulated for all children) (KiB): 860300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2792
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42493
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2031
involuntary context switches= 2329
runsolver used 0.027995 second user time and 0.074988 second system time
The end
Begin job on node10 at 2008-07-04 16:00:53
IDJOB=1075000
IDBENCH=56476
IDSOLVER=350
FILE ID=node10/1075000-1215180053
PBS_JOBID= 7881433
Free space on /tmp= 66528 MiB
SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/os-taillard-4/normalized-os-taillard-4-105-0.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1075000-1215180053/watcher-1075000-1215180053 -o /tmp/evaluation-result-1075000-1215180053/solver-1075000-1215180053 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1075000-1215180053.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2cc845dd003569fb3b3c979469638cfe
RANDOM SEED=1045032029
node10.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.229
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.229
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: 1787128 kB
Buffers: 41756 kB
Cached: 149536 kB
SwapCached: 7540 kB
Active: 157432 kB
Inactive: 56980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1787128 kB
SwapTotal: 4192956 kB
SwapFree: 4179464 kB
Dirty: 3496 kB
Writeback: 0 kB
Mapped: 31020 kB
Slab: 39456 kB
Committed_AS: 3441004 kB
PageTables: 1948 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node10 at 2008-07-04 16:01:12