0.00/0.04 c --- Preproc Stats ---
1.78/1.84 c start processing
1.78/1.84 c start relation processing
4.67/4.80 c start cnf exporting
114.59/115.60 c parsing time : 1.716
114.59/115.60 c preprocessing time : 115.472
114.59/115.60
114.59/115.60 c Nary constraints - conflicts : 0 supports : 27
114.59/115.60 c Binary constraints - conflicts : 0 supports :0
114.59/115.60 c max arity constraint : 15
114.59/115.60 c Max Tuples generated 0
114.59/115.60 c relations : 2
114.59/115.60 c relations BDD: 2
114.59/115.60 c sampling 0/0
114.59/115.60 c vars : 1040095 - clauses : 3663837
114.59/115.60
114.68/115.65
114.68/115.65 c --- SAT Solver Stats ---
114.68/115.65
114.68/115.65 c eSAT 0.1 : minisat core with additionnal features
114.68/115.65 c ============================[ Problem Statistics ]=============================
114.68/115.65 c | |
114.68/115.65 c | Number of variables: 1040094 |
114.68/115.65 c | Number of clauses: 3663837 |
119.92/120.94 c | Parsing time: 4.74 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-1076378-1215186555/watcher-1076378-1215186555 -o /tmp/evaluation-result-1076378-1215186555/solver-1076378-1215186555 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1076378-1215186555.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: 1.17 1.25 1.62 5/72 6273
/proc/meminfo: memFree=1541008/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=8652 CPUtime=0
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 346 0 0 0 0 0 0 0 16 0 1 0 1997630569 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 2163 280 208 79 0 156 0
[pid=6274] ppid=6272 vsize=8688 CPUtime=0
/proc/6274/stat : 6274 (galacE.sh) S 6272 6272 3715 0 -1 4194368 36 0 0 0 0 0 0 0 16 0 1 0 1997630569 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 228706713682 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/6274/statm: 2172 286 209 79 0 165 0
[pid=6275] ppid=6274 vsize=6864 CPUtime=0
/proc/6275/stat : 6275 (id) R 6274 6272 3715 0 -1 4194304 241 0 0 0 0 0 0 0 19 0 1 0 1997630569 7028736 184 996147200 4194304 4211724 548682068832 18446744073709551615 228706731919 0 0 3674112 0 0 0 0 17 0 0 0
/proc/6275/statm: 1716 184 155 4 0 46 0
[startup+0.106847 s]
/proc/loadavg: 1.17 1.25 1.62 5/72 6273
/proc/meminfo: memFree=1541008/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.201892 s]
/proc/loadavg: 1.17 1.25 1.62 5/72 6273
/proc/meminfo: memFree=1541008/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.301808 s]
/proc/loadavg: 1.17 1.25 1.62 5/72 6273
/proc/meminfo: memFree=1541008/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.701888 s]
/proc/loadavg: 1.17 1.25 1.62 5/72 6273
/proc/meminfo: memFree=1541008/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.50165 s]
/proc/loadavg: 1.40 1.29 1.63 3/92 6317
/proc/meminfo: memFree=1387304/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6300] ppid=6272 vsize=813276 CPUtime=1.47
/proc/6300/stat : 6300 (java) S 6272 6272 3715 0 -1 0 24427 0 1 0 132 15 0 0 18 0 9 0 1997630573 832794624 23853 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6300/statm: 203319 23860 1883 9 0 197300 0
[pid=6300/tid=6302] ppid=6272 vsize=813276 CPUtime=1.25
/proc/6300/task/6302/stat : 6302 (java) R 6272 6272 3715 0 -1 64 14560 0 1 0 116 9 0 0 25 0 9 0 1997630574 832794624 23865 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6304] ppid=6272 vsize=813276 CPUtime=0.08
/proc/6300/task/6304/stat : 6304 (java) R 6272 6272 3715 0 -1 64 8506 0 0 0 4 4 0 0 16 0 9 0 1997630576 832794624 23873 996147200 134512640 134550740 4294955600 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6306] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6306/stat : 6306 (java) S 6272 6272 3715 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997630576 832794624 23880 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6308] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6308/stat : 6308 (java) S 6272 6272 3715 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997630576 832794624 23887 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6311] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6311/stat : 6311 (java) S 6272 6272 3715 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997630578 832794624 23894 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6313] ppid=6272 vsize=813276 CPUtime=0.11
/proc/6300/task/6313/stat : 6313 (java) S 6272 6272 3715 0 -1 64 683 0 0 0 11 0 0 0 16 0 9 0 1997630578 832794624 23901 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6315] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6315/stat : 6315 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997630578 832794624 23911 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6317] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6317/stat : 6317 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997630578 832794624 23917 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 860836
[startup+3.1028 s]
/proc/loadavg: 1.40 1.29 1.63 3/92 6317
/proc/meminfo: memFree=1333096/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6300] ppid=6272 vsize=813276 CPUtime=3.06
/proc/6300/stat : 6300 (java) S 6272 6272 3715 0 -1 0 28111 0 1 0 288 18 0 0 18 0 9 0 1997630573 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6300/statm: 203319 27534 1890 9 0 197300 0
[pid=6300/tid=6302] ppid=6272 vsize=813276 CPUtime=2.75
/proc/6300/task/6302/stat : 6302 (java) R 6272 6272 3715 0 -1 64 14575 0 1 0 265 10 0 0 25 0 9 0 1997630574 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4126793380 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6304] ppid=6272 vsize=813276 CPUtime=0.13
/proc/6300/task/6304/stat : 6304 (java) S 6272 6272 3715 0 -1 64 12125 0 0 0 7 6 0 0 17 0 9 0 1997630576 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6306] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6306/stat : 6306 (java) S 6272 6272 3715 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997630576 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6308] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6308/stat : 6308 (java) S 6272 6272 3715 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997630576 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6311] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6311/stat : 6311 (java) S 6272 6272 3715 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997630578 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6313] ppid=6272 vsize=813276 CPUtime=0.15
/proc/6300/task/6313/stat : 6313 (java) S 6272 6272 3715 0 -1 64 713 0 0 0 15 0 0 0 15 0 9 0 1997630578 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6315] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6315/stat : 6315 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997630578 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6317] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6317/stat : 6317 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997630578 832794624 27534 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 860836
[startup+6.3021 s]
/proc/loadavg: 1.53 1.32 1.64 4/92 6317
/proc/meminfo: memFree=1280040/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6300] ppid=6272 vsize=813276 CPUtime=6.26
/proc/6300/stat : 6300 (java) S 6272 6272 3715 0 -1 0 36185 0 1 0 604 22 0 0 18 0 9 0 1997630573 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6300/statm: 203319 35601 1911 9 0 197300 0
[pid=6300/tid=6302] ppid=6272 vsize=813276 CPUtime=5.52
/proc/6300/task/6302/stat : 6302 (java) R 6272 6272 3715 0 -1 64 14624 0 1 0 541 11 0 0 25 0 9 0 1997630574 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4126764528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6304] ppid=6272 vsize=813276 CPUtime=0.5
/proc/6300/task/6304/stat : 6304 (java) S 6272 6272 3715 0 -1 64 20103 0 0 0 41 9 0 0 16 0 9 0 1997630576 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6306] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6306/stat : 6306 (java) S 6272 6272 3715 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997630576 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6308] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6308/stat : 6308 (java) S 6272 6272 3715 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997630576 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6311] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6311/stat : 6311 (java) S 6272 6272 3715 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997630578 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6313] ppid=6272 vsize=813276 CPUtime=0.22
/proc/6300/task/6313/stat : 6313 (java) S 6272 6272 3715 0 -1 64 760 0 0 0 21 1 0 0 15 0 9 0 1997630578 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6315] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6315/stat : 6315 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997630578 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6317] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6317/stat : 6317 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997630578 832794624 35601 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 860836
[startup+12.7017 s]
/proc/loadavg: 1.57 1.33 1.64 3/92 6317
/proc/meminfo: memFree=1260328/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6300] ppid=6272 vsize=813276 CPUtime=12.66
/proc/6300/stat : 6300 (java) S 6272 6272 3715 0 -1 0 36203 0 1 0 1241 25 0 0 18 0 9 0 1997630573 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6300/statm: 203319 35606 1911 9 0 197300 0
[pid=6300/tid=6302] ppid=6272 vsize=813276 CPUtime=11.9
/proc/6300/task/6302/stat : 6302 (java) R 6272 6272 3715 0 -1 64 14637 0 1 0 1176 14 0 0 25 0 9 0 1997630574 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4126992987 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6304] ppid=6272 vsize=813276 CPUtime=0.51
/proc/6300/task/6304/stat : 6304 (java) S 6272 6272 3715 0 -1 64 20103 0 0 0 42 9 0 0 16 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6306] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6306/stat : 6306 (java) S 6272 6272 3715 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6308] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6308/stat : 6308 (java) S 6272 6272 3715 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6311] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6311/stat : 6311 (java) S 6272 6272 3715 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6313] ppid=6272 vsize=813276 CPUtime=0.23
/proc/6300/task/6313/stat : 6313 (java) S 6272 6272 3715 0 -1 64 765 0 0 0 22 1 0 0 15 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6315] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6315/stat : 6315 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6317] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6317/stat : 6317 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 860836
[startup+25.5028 s]
/proc/loadavg: 1.66 1.36 1.64 4/92 6317
/proc/meminfo: memFree=1242408/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=0.01
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 766 1697 0 0 0 0 0 1 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6300] ppid=6272 vsize=813276 CPUtime=25.45
/proc/6300/stat : 6300 (java) S 6272 6272 3715 0 -1 0 36229 0 1 0 2515 30 0 0 18 0 9 0 1997630573 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6300/statm: 203319 35606 1911 9 0 197300 0
[pid=6300/tid=6302] ppid=6272 vsize=813276 CPUtime=24.68
/proc/6300/task/6302/stat : 6302 (java) R 6272 6272 3715 0 -1 64 14663 0 1 0 2449 19 0 0 25 0 9 0 1997630574 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 103568641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6304] ppid=6272 vsize=813276 CPUtime=0.52
/proc/6300/task/6304/stat : 6304 (java) S 6272 6272 3715 0 -1 64 20103 0 0 0 43 9 0 0 16 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6306] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6306/stat : 6306 (java) S 6272 6272 3715 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6308] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6308/stat : 6308 (java) S 6272 6272 3715 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997630576 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6311] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6311/stat : 6311 (java) S 6272 6272 3715 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6313] ppid=6272 vsize=813276 CPUtime=0.23
/proc/6300/task/6313/stat : 6313 (java) S 6272 6272 3715 0 -1 64 765 0 0 0 22 1 0 0 16 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6300/tid=6315] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6315/stat : 6315 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6300/tid=6317] ppid=6272 vsize=813276 CPUtime=0
/proc/6300/task/6317/stat : 6317 (java) S 6272 6272 3715 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1997630578 832794624 35606 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
################
# More data... #
################
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1176.29
Current children cumulated vsize (KiB) 589332
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/76 6325
/proc/meminfo: memFree=631144/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1121.3
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 112039 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565391 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1236.01
Current children cumulated vsize (KiB) 589332
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/76 6325
/proc/meminfo: memFree=630248/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1181.02
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 118011 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1295.73
Current children cumulated vsize (KiB) 589332
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/76 6325
/proc/meminfo: memFree=629352/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1240.73
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 123982 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565318 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1355.44
Current children cumulated vsize (KiB) 589332
[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/76 6325
/proc/meminfo: memFree=628456/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1300.45
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 129954 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565210 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1415.16
Current children cumulated vsize (KiB) 589332
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/76 6325
/proc/meminfo: memFree=627688/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1360.17
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 135926 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1474.88
Current children cumulated vsize (KiB) 589332
[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.89 3/76 6325
/proc/meminfo: memFree=626984/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1419.88
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 141897 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134547878 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1534.59
Current children cumulated vsize (KiB) 589332
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/76 6325
/proc/meminfo: memFree=626536/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1479.6
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 147869 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565260 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1594.31
Current children cumulated vsize (KiB) 589332
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/76 6325
/proc/meminfo: memFree=625576/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541772 CPUtime=1539.31
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149777 0 0 0 153840 91 0 0 25 0 1 0 1997642134 554774528 132520 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135443 132520 79 162 0 135278 0
Current children cumulated CPU time (s) 1654.02
Current children cumulated vsize (KiB) 589332
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 4/76 6325
/proc/meminfo: memFree=624680/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541936 CPUtime=1599.03
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149807 0 0 0 159812 91 0 0 25 0 1 0 1997642134 554942464 132550 996147200 134512640 135177480 4294955968 18446744073709551615 134547878 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135484 132550 79 162 0 135319 0
Current children cumulated CPU time (s) 1713.74
Current children cumulated vsize (KiB) 589496
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 6325
/proc/meminfo: memFree=623912/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541936 CPUtime=1658.74
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149809 0 0 0 165783 91 0 0 25 0 1 0 1997642134 554942464 132552 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135484 132552 79 162 0 135319 0
Current children cumulated CPU time (s) 1773.45
Current children cumulated vsize (KiB) 589496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809 s]
/proc/loadavg: 1.99 1.97 1.91 4/76 6325
/proc/meminfo: memFree=623528/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541936 CPUtime=1685.32
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149809 0 0 0 168441 91 0 0 25 0 1 0 1997642134 554942464 132552 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135484 132552 79 162 0 135319 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 589496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809 s]
/proc/loadavg: 1.99 1.97 1.91 4/76 6325
/proc/meminfo: memFree=623528/2055920 swapFree=4179560/4192956
[pid=6272] ppid=6268 vsize=47560 CPUtime=114.71
/proc/6272/stat : 6272 (galacE.sh) S 6268 6272 3715 0 -1 4194304 800 38115 0 1 0 0 11395 76 17 0 1 0 1997630569 48701440 365 996147200 4194304 4520092 548682068832 18446744073709551615 228706151258 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6272/statm: 11890 365 246 79 0 219 0
[pid=6319] ppid=6272 vsize=541936 CPUtime=1685.32
/proc/6319/stat : 6319 (eSAT_static) R 6272 6272 3715 0 -1 4194304 149809 0 0 0 168441 91 0 0 25 0 1 0 1997642134 554942464 132552 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/6319/statm: 135484 132552 79 162 0 135319 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 589496
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6272 and gives
# childrusage.ru_utime.tv_sec=113
# childrusage.ru_utime.tv_usec=963674
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=775882
# CPU time returned by wait4() is 114.74
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1809.01
CPU time (s): 1800.03
CPU user time (s): 1798.36
CPU system time (s): 1.67
CPU usage (%): 99.5034
Max. virtual memory (cumulated for all children) (KiB): 860836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.964
system time used= 0.775882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38915
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= 4791
involuntary context switches= 5825
runsolver used 2.53861 second user time and 5.73313 second system time
The end
Begin job on node8 at 2008-07-04 17:49:15
IDJOB=1076378
IDBENCH=56584
IDSOLVER=351
FILE ID=node8/1076378-1215186555
PBS_JOBID= 7881619
Free space on /tmp= 66332 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg12-15_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076378-1215186555/watcher-1076378-1215186555 -o /tmp/evaluation-result-1076378-1215186555/solver-1076378-1215186555 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1076378-1215186555.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fcb0c211c5328bd178a0e367b57590ab
RANDOM SEED=4123175
node8.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1541960 kB
Buffers: 50920 kB
Cached: 394312 kB
SwapCached: 6900 kB
Active: 168472 kB
Inactive: 286320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1541960 kB
SwapTotal: 4192956 kB
SwapFree: 4179560 kB
Dirty: 111428 kB
Writeback: 0 kB
Mapped: 15140 kB
Slab: 44512 kB
Committed_AS: 3297344 kB
PageTables: 1644 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= 66180 MiB
End job on node8 at 2008-07-04 18:19:26