0.00/0.03 c --- Preproc Stats ---
0.01/1.00 c start processing
0.01/1.00 c start relation processing
0.99/1.05 c start cnf exporting
2.58/2.65 c parsing time : 0.876
2.58/2.66 c preprocessing time : 2.53
2.58/2.66
2.58/2.66 c Nary constraints - conflicts : 0 supports : 0
2.58/2.66 c Binary constraints - conflicts : 88 supports :92
2.58/2.66 c max arity constraint : 2
2.58/2.66 c Max Tuples generated 0
2.58/2.66 c relations : 180
2.58/2.66 c relations BDD: 0
2.58/2.66 c sampling 0/0
2.58/2.66 c vars : 1001 - clauses : 43303
2.58/2.66
2.64/2.71
2.64/2.71 c --- SAT Solver Stats ---
2.64/2.71
2.64/2.71 c eSAT 0.1 : minisat core with additionnal features
2.64/2.71 c ============================[ Problem Statistics ]=============================
2.64/2.71 c | |
2.64/2.71 c | Number of variables: 1000 |
2.64/2.71 c | Number of clauses: 43303 |
2.64/2.75 c | Parsing time: 0.03 s |
349.22/352.63 c restarts : 479
349.22/352.63 c conflicts : 324156 (936 /sec)
349.22/352.63 c decisions : 521110 (2.60 % random) (1504 /sec)
349.22/352.63 c euip : 41458
349.22/352.63 c propagations : 39135805 (112945 /sec)
349.22/352.63 c conflict literals : 24254232 (33.86 % deleted)
349.22/352.63 c Memory used : 46.48 MB
349.22/352.63 c CPU time : 346.503 s
349.22/352.63 c
349.22/352.63 s UNSATISFIABLE
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1097375-1215281928/watcher-1097375-1215281928 -o /tmp/evaluation-result-1097375-1215281928/solver-1097375-1215281928 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1097375-1215281928.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/81 12876
/proc/meminfo: memFree=1734056/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=6392 CPUtime=0
/proc/12876/stat : 12876 (galacE.sh) R 12874 12876 9253 0 -1 4194304 230 0 0 0 0 0 0 0 20 0 1 0 2007167173 6545408 194 996147200 4194304 4520092 548682068832 18446744073709551615 255233947692 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12876/statm: 1598 194 146 79 0 122 0
[startup+0.0647209 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12876
/proc/meminfo: memFree=1734056/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=0.01
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 766 1698 0 0 0 0 0 1 18 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.101728 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12876
/proc/meminfo: memFree=1734056/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=0.01
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 766 1698 0 0 0 0 0 1 18 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.301762 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12876
/proc/meminfo: memFree=1734056/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=0.01
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 766 1698 0 0 0 0 0 1 18 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.701833 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 12876
/proc/meminfo: memFree=1734056/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=0.01
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 766 1698 0 0 0 0 0 1 18 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+1.50198 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 12898
/proc/meminfo: memFree=1663896/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=0.01
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 766 1698 0 0 0 0 0 1 18 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12890] ppid=12876 vsize=813268 CPUtime=1.46
/proc/12890/stat : 12890 (java) S 12876 12876 9253 0 -1 0 21768 0 1 0 135 11 0 0 18 0 9 0 2007167176 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12890/statm: 203317 21183 1914 9 0 197298 0
[pid=12890/tid=12891] ppid=12876 vsize=813268 CPUtime=1.15
/proc/12890/task/12891/stat : 12891 (java) R 12876 12876 9253 0 -1 64 14612 0 1 0 107 8 0 0 25 0 9 0 2007167178 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 102716489 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12890/tid=12892] ppid=12876 vsize=813268 CPUtime=0.05
/proc/12890/task/12892/stat : 12892 (java) S 12876 12876 9253 0 -1 64 5649 0 0 0 3 2 0 0 16 0 9 0 2007167179 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12890/tid=12893] ppid=12876 vsize=813268 CPUtime=0
/proc/12890/task/12893/stat : 12893 (java) S 12876 12876 9253 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2007167179 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12890/tid=12894] ppid=12876 vsize=813268 CPUtime=0
/proc/12890/task/12894/stat : 12894 (java) S 12876 12876 9253 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 2007167179 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12890/tid=12895] ppid=12876 vsize=813268 CPUtime=0
/proc/12890/task/12895/stat : 12895 (java) S 12876 12876 9253 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2007167181 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12890/tid=12896] ppid=12876 vsize=813268 CPUtime=0.24
/proc/12890/task/12896/stat : 12896 (java) S 12876 12876 9253 0 -1 64 808 0 0 0 24 0 0 0 16 0 9 0 2007167181 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12890/tid=12897] ppid=12876 vsize=813268 CPUtime=0
/proc/12890/task/12897/stat : 12897 (java) S 12876 12876 9253 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2007167181 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12890/tid=12898] ppid=12876 vsize=813268 CPUtime=0
/proc/12890/task/12898/stat : 12898 (java) R 12876 12876 9253 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2007167182 832786432 21183 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 860832
[startup+3.10129 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 12898
/proc/meminfo: memFree=1655448/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 47564
[startup+6.30189 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1726872/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=6876 CPUtime=3.54
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 1635 0 0 0 354 0 0 0 25 0 1 0 2007167444 7041024 1532 996147200 134512640 135177480 4294955968 18446744073709551615 134565030 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 1719 1532 81 162 0 1554 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 54440
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1722584/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=10976 CPUtime=9.88
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 2639 0 0 0 987 1 0 0 25 0 1 0 2007167444 11239424 2536 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 2744 2536 81 162 0 2579 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 58540
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1719000/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=14716 CPUtime=22.55
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 3574 0 0 0 2253 2 0 0 25 0 1 0 2007167444 15069184 3471 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 3679 3471 81 162 0 3514 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 62280
[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1712152/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=21360 CPUtime=47.91
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 5235 0 0 0 4787 4 0 0 25 0 1 0 2007167444 21872640 5132 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 5340 5132 81 162 0 5175 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 68924
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1705496/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=28128 CPUtime=98.63
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 6910 0 0 0 9857 6 0 0 25 0 1 0 2007167444 28803072 6807 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 7032 6807 81 162 0 6867 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 75692
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1700952/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=32672 CPUtime=158.07
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 8005 0 0 0 15800 7 0 0 25 0 1 0 2007167444 33456128 7902 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 8168 7902 81 162 0 8003 0
Current children cumulated CPU time (s) 160.72
Current children cumulated vsize (KiB) 80236
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1699672/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=34140 CPUtime=217.49
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 8341 0 0 0 21742 7 0 0 25 0 1 0 2007167444 34959360 8238 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 8535 8238 81 162 0 8370 0
Current children cumulated CPU time (s) 220.14
Current children cumulated vsize (KiB) 81704
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1691928/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=42132 CPUtime=276.93
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 10286 0 0 0 27684 9 0 0 25 0 1 0 2007167444 43143168 10183 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 10533 10183 81 162 0 10368 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 89696
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=336.36
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 33626 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 339.01
Current children cumulated vsize (KiB) 95160
Solver just ended. Dumping a history of the last processes samples
[startup+345.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=339.53
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 33943 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95160
[startup+348.706 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=342.7
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34260 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 345.35
Current children cumulated vsize (KiB) 95160
[startup+350.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=344.29
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34419 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 346.94
Current children cumulated vsize (KiB) 95160
[startup+351.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=345.88
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34578 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 348.53
Current children cumulated vsize (KiB) 95160
[startup+352.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=346.27
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34617 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134566359 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 348.92
Current children cumulated vsize (KiB) 95160
[startup+352.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=346.47
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34637 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 349.12
Current children cumulated vsize (KiB) 95160
[startup+352.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12899
/proc/meminfo: memFree=1686552/2055920 swapFree=4180456/4192956
[pid=12876] ppid=12874 vsize=47564 CPUtime=2.65
/proc/12876/stat : 12876 (galacE.sh) S 12874 12876 9253 0 -1 4194304 800 23516 0 1 0 0 251 14 17 0 1 0 2007167173 48705536 365 996147200 4194304 4520092 548682068832 18446744073709551615 255236172634 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/12876/statm: 11891 365 246 79 0 219 0
[pid=12899] ppid=12876 vsize=47596 CPUtime=346.57
/proc/12899/stat : 12899 (eSAT_static) R 12876 12876 9253 0 -1 4194304 11594 0 0 0 34647 10 0 0 25 0 1 0 2007167444 48738304 11491 996147200 134512640 135177480 4294955968 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 1 0 0
/proc/12899/statm: 11899 11491 81 162 0 11734 0
Current children cumulated CPU time (s) 349.22
Current children cumulated vsize (KiB) 95160
Child status: 0
Real time (s): 352.647
CPU time (s): 349.297
CPU user time (s): 349.027
CPU system time (s): 0.269958
CPU usage (%): 99.05
Max. virtual memory (cumulated for all children) (KiB): 860832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.027
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36110
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= 1215
involuntary context switches= 15454
runsolver used 0.449931 second user time and 1.16082 second system time
The end
Begin job on node19 at 2008-07-05 20:18:48
IDJOB=1097375
IDBENCH=59433
IDSOLVER=351
FILE ID=node19/1097375-1215281928
PBS_JOBID= 7882199
Free space on /tmp= 66560 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-16_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1097375-1215281928/watcher-1097375-1215281928 -o /tmp/evaluation-result-1097375-1215281928/solver-1097375-1215281928 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1097375-1215281928.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 353fe73398f62a5e481812f92f5cede2
RANDOM SEED=1775398785
node19.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.263
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 : 5931.00
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.263
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: 1734536 kB
Buffers: 48368 kB
Cached: 197212 kB
SwapCached: 6496 kB
Active: 165968 kB
Inactive: 100592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1734536 kB
SwapTotal: 4192956 kB
SwapFree: 4180456 kB
Dirty: 3408 kB
Writeback: 0 kB
Mapped: 37200 kB
Slab: 39888 kB
Committed_AS: 3540664 kB
PageTables: 1936 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= 66556 MiB
End job on node19 at 2008-07-05 20:24:41