0.00/0.03 c --- Preproc Stats ---
1.34/1.40 c start processing
1.34/1.40 c start relation processing
2.43/2.51 c start cnf exporting
79.95/80.81 c parsing time : 1.274
79.95/80.81 c preprocessing time : 80.686
79.95/80.81
79.95/80.81 c Nary constraints - conflicts : 0 supports : 31
79.95/80.81 c Binary constraints - conflicts : 0 supports :0
79.95/80.81 c max arity constraint : 17
79.95/80.81 c Max Tuples generated 0
79.95/80.81 c relations : 2
79.95/80.81 c relations BDD: 2
79.95/80.81 c sampling 0/0
79.95/80.81 c vars : 686974 - clauses : 2366267
79.95/80.81
79.95/80.84
79.95/80.84 c --- SAT Solver Stats ---
79.95/80.84
79.95/80.84 c eSAT 0.1 : minisat core with additionnal features
79.95/80.84 c ============================[ Problem Statistics ]=============================
79.95/80.84 c | |
79.95/80.84 c | Number of variables: 686973 |
79.95/80.84 c | Number of clauses: 2366267 |
83.40/84.32 c | Parsing time: 3.15 s |
141.25/142.77 c restarts : 250
141.25/142.77 c conflicts : 6665 (110 /sec)
141.25/142.77 c decisions : 263513 (90.77 % random) (4334 /sec)
141.25/142.77 c euip : 510
141.25/142.77 c propagations : 34509117 (567586 /sec)
141.25/142.77 c conflict literals : 89337 (29.27 % deleted)
141.25/142.77 c Memory used : 349.04 MB
141.25/142.77 c CPU time : 60.7998 s
141.25/142.77 c
141.25/142.77 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-1076746-1215189946/watcher-1076746-1215189946 -o /tmp/evaluation-result-1076746-1215189946/solver-1076746-1215189946 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1076746-1215189946.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.16 2.07 2.02 4/80 15117
/proc/meminfo: memFree=1719600/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=5224 CPUtime=0
/proc/15117/stat : 15117 (galacE.sh) R 15115 15117 13830 0 -1 4194304 59 0 0 0 0 0 0 0 22 0 1 0 641928187 5349376 44 996147200 4194304 4520092 548682068784 18446744073709551615 231491042683 0 0 4096 0 0 0 0 17 1 0 0
/proc/15117/statm: 1306 44 33 79 0 104 0
[startup+0.0258211 s]
/proc/loadavg: 2.16 2.07 2.02 4/80 15117
/proc/meminfo: memFree=1719600/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=8784 CPUtime=0
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 589 1324 0 0 0 0 0 0 20 0 1 0 641928187 8994816 320 996147200 4194304 4520092 548682068784 18446744073709551615 231493828690 0 2 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/15117/statm: 2196 320 218 79 0 189 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8784
[startup+0.10184 s]
/proc/loadavg: 2.16 2.07 2.02 4/80 15117
/proc/meminfo: memFree=1719600/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.301866 s]
/proc/loadavg: 2.16 2.07 2.02 4/80 15117
/proc/meminfo: memFree=1719600/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.701928 s]
/proc/loadavg: 2.16 2.07 2.02 4/80 15117
/proc/meminfo: memFree=1719600/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+1.50205 s]
/proc/loadavg: 2.16 2.07 2.02 3/90 15139
/proc/meminfo: memFree=1678496/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=1.43
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 22270 0 1 0 132 11 0 0 18 0 9 0 641928191 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 21695 1889 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=1.19
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14481 0 1 0 112 7 0 0 25 0 9 0 641928192 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4125925088 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.04
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 6303 0 0 0 2 2 0 0 16 0 9 0 641928193 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 641928193 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.16
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 787 0 0 0 16 0 0 0 16 0 9 0 641928196 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 21695 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 21695 996147200 134512640 134550740 4294955568 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) 860308
[startup+3.10128 s]
/proc/loadavg: 2.16 2.07 2.02 3/90 15139
/proc/meminfo: memFree=1639200/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=3.01
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 27474 0 1 0 286 15 0 0 18 0 9 0 641928191 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 26895 1910 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=2.53
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14526 0 1 0 245 8 0 0 25 0 9 0 641928192 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4126956659 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.22
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 11414 0 0 0 17 5 0 0 17 0 9 0 641928193 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 641928193 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.23
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 835 0 0 0 23 0 0 0 15 0 9 0 641928196 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 26895 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 860308
[startup+6.30275 s]
/proc/loadavg: 2.15 2.07 2.02 3/90 15139
/proc/meminfo: memFree=1611104/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=6.19
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 28867 0 1 0 602 17 0 0 18 0 9 0 641928191 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 28280 1910 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=5.63
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14535 0 1 0 554 9 0 0 25 0 9 0 641928192 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4126907003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.29
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 12793 0 0 0 23 6 0 0 16 0 9 0 641928193 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 641928193 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.24
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 840 0 0 0 24 0 0 0 15 0 9 0 641928196 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 28280 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 860308
[startup+12.7017 s]
/proc/loadavg: 2.14 2.06 2.02 3/90 15139
/proc/meminfo: memFree=1607264/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=12.53
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 28881 0 1 0 1234 19 0 0 18 0 9 0 641928191 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 28283 1910 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=11.95
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14546 0 1 0 1184 11 0 0 25 0 9 0 641928192 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4126953626 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.29
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 12793 0 0 0 23 6 0 0 16 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.25
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 843 0 0 0 25 0 0 0 15 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 860308
[startup+25.5026 s]
/proc/loadavg: 2.18 2.08 2.02 3/90 15139
/proc/meminfo: memFree=1599392/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=25.2
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 28903 0 1 0 2496 24 0 0 18 0 9 0 641928191 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 28283 1910 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=24.62
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14568 0 1 0 2446 16 0 0 25 0 9 0 641928192 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4127003218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.3
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 12793 0 0 0 24 6 0 0 16 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.25
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 843 0 0 0 25 0 0 0 16 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 860308
[startup+51.1024 s]
/proc/loadavg: 2.11 2.07 2.02 3/90 15139
/proc/meminfo: memFree=1583968/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=0.01
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 769 1704 0 0 0 0 0 1 23 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15131] ppid=15117 vsize=812732 CPUtime=50.53
/proc/15131/stat : 15131 (java) S 15117 15117 13830 0 -1 0 28948 0 1 0 5019 34 0 0 18 0 9 0 641928191 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15131/statm: 203183 28283 1910 9 0 197164 0
[pid=15131/tid=15132] ppid=15117 vsize=812732 CPUtime=49.92
/proc/15131/task/15132/stat : 15132 (java) R 15117 15117 13830 0 -1 64 14613 0 1 0 4966 26 0 0 25 0 9 0 641928192 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4126965884 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15133] ppid=15117 vsize=812732 CPUtime=0.32
/proc/15131/task/15133/stat : 15133 (java) S 15117 15117 13830 0 -1 64 12793 0 0 0 26 6 0 0 16 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15134] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15134/stat : 15134 (java) S 15117 15117 13830 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15135] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15135/stat : 15135 (java) S 15117 15117 13830 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 641928193 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15136] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15136/stat : 15136 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15137] ppid=15117 vsize=812732 CPUtime=0.25
/proc/15131/task/15137/stat : 15137 (java) S 15117 15117 13830 0 -1 64 843 0 0 0 25 0 0 0 16 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15138] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15138/stat : 15138 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15131/tid=15139] ppid=15117 vsize=812732 CPUtime=0
/proc/15131/task/15139/stat : 15139 (java) S 15117 15117 13830 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 641928196 832237568 28283 996147200 134512640 134550740 4294955568 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 860308
[startup+102.307 s]
/proc/loadavg: 2.30 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1278880/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=408260 CPUtime=21.25
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98018 0 0 0 2072 53 0 0 25 0 1 0 641936271 418058240 97992 996147200 134512640 135177480 4294955936 18446744073709551615 134524740 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 102065 97992 74 162 0 101900 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 455836
Solver just ended. Dumping a history of the last processes samples
[startup+127.902 s]
/proc/loadavg: 2.28 2.14 2.05 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=46.6
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 4606 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565495 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 126.58
Current children cumulated vsize (KiB) 404992
[startup+134.303 s]
/proc/loadavg: 2.26 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=52.94
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 5240 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 132.92
Current children cumulated vsize (KiB) 404992
[startup+137.506 s]
/proc/loadavg: 2.24 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=56.11
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 5557 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 136.09
Current children cumulated vsize (KiB) 404992
[startup+140.702 s]
/proc/loadavg: 2.22 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=59.28
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 5874 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 139.26
Current children cumulated vsize (KiB) 404992
[startup+141.502 s]
/proc/loadavg: 2.22 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=60.08
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 5954 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565260 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (KiB) 404992
[startup+142.302 s]
/proc/loadavg: 2.22 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=60.87
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 6033 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565210 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 140.85
Current children cumulated vsize (KiB) 404992
[startup+142.702 s]
/proc/loadavg: 2.22 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=357416 CPUtime=61.27
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194304 98207 0 0 0 6073 54 0 0 25 0 1 0 641936271 365993984 87290 996147200 134512640 135177480 4294955936 18446744073709551615 134565682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 89354 87290 79 162 0 89189 0
Current children cumulated CPU time (s) 141.25
Current children cumulated vsize (KiB) 404992
[startup+142.802 s]
/proc/loadavg: 2.22 2.13 2.04 3/82 15140
/proc/meminfo: memFree=1321760/2055920 swapFree=4180808/4192956
[pid=15117] ppid=15115 vsize=47576 CPUtime=79.98
/proc/15117/stat : 15117 (galacE.sh) S 15115 15117 13830 0 -1 4194304 804 30717 0 1 0 0 7947 51 17 0 1 0 641928187 48717824 366 996147200 4194304 4520092 548682068784 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15117/statm: 11894 366 245 79 0 220 0
[pid=15140] ppid=15117 vsize=0 CPUtime=61.36
/proc/15140/stat : 15140 (eSAT_static) R 15117 15117 13830 0 -1 4194308 98219 0 0 0 6079 57 0 0 25 0 1 0 641936271 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/15140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 141.34
Current children cumulated vsize (KiB) 47576
Child status: 0
Real time (s): 142.867
CPU time (s): 141.446
CPU user time (s): 140.284
CPU system time (s): 1.16282
CPU usage (%): 99.0057
Max. virtual memory (cumulated for all children) (KiB): 860308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.284
system time used= 1.16282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129931
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= 3559
involuntary context switches= 6828
runsolver used 0.204968 second user time and 0.451931 second system time
The end
Begin job on node39 at 2008-07-04 18:45:46
IDJOB=1076746
IDBENCH=56601
IDSOLVER=351
FILE ID=node39/1076746-1215189946
PBS_JOBID= 7881593
Free space on /tmp= 66552 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg14-17_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076746-1215189946/watcher-1076746-1215189946 -o /tmp/evaluation-result-1076746-1215189946/solver-1076746-1215189946 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1076746-1215189946.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8a2800653f6a3fd24064aa5b82dfed2c
RANDOM SEED=1555950389
node39.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.267
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.267
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: 1720080 kB
Buffers: 43236 kB
Cached: 137332 kB
SwapCached: 5956 kB
Active: 225312 kB
Inactive: 57420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720080 kB
SwapTotal: 4192956 kB
SwapFree: 4180808 kB
Dirty: 3964 kB
Writeback: 0 kB
Mapped: 115732 kB
Slab: 38304 kB
Committed_AS: 1745900 kB
PageTables: 1960 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= 66548 MiB
End job on node39 at 2008-07-04 18:48:09