0.09 c --- Preproc Stats ---
11.58 c start processing
11.58 c start relation processing
11.59 c start cnf exporting
33.87 c parsing time : 11.361
33.87 c preprocessing time : 33.653
33.87
33.87 c Nary constraints - conflicts : 0 supports : 0
33.87 c Binary constraints - conflicts : 5090 supports :458
33.87 c max arity constraint : 2
33.87 c Max Tuples generated 1225
33.87 c relations : 287
33.87 c relations BDD: 0
33.87 c vars : 28597 - clauses : 1014301
33.87
33.89
33.89 c --- Minisat Stats ---
33.89
34.42 c restarts : 3
34.43 c conflicts : 277 (602 /sec)
34.43 c decisions : 7856 (1.67 % random) (17081 /sec)
34.43 c propagations : 59690 (129781 /sec)
34.43 c conflict literals : 4917 (23.06 % deleted)
34.43 c Memory used : 36.13 MB
34.43 c CPU time : 0.45993 s
34.43
34.43 s UNSATISFIABLE
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-216624-1168243636 -o ROOT/results/node15/solver-216624-1168243636 -C 1800 -M 900 /tmp/evaluation/216624-1168243636/galac.sh /tmp/evaluation/216624-1168243636/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.07 2.03 2.00 5/87 6388
/proc/meminfo: memFree=1840200/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=18540 CPUtime=0
/proc/6387/stat : 6387 (runsolver) R 6385 5976 5976 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 1 0 172758427 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 240481491084 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6387/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107205 s]
/proc/loadavg: 2.07 2.03 2.00 5/87 6388
/proc/meminfo: memFree=1840200/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.515277 s]
/proc/loadavg: 2.07 2.03 2.00 5/87 6388
/proc/meminfo: memFree=1840200/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.33842 s]
/proc/loadavg: 2.07 2.03 2.00 4/95 6408
/proc/meminfo: memFree=1800512/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
[pid=6401] ppid=6387 vsize=860804 CPUtime=1.23
/proc/6401/stat : 6401 (java) S 6387 6387 5976 0 -1 0 11986 0 1 0 116 7 0 0 16 0 8 0 172758436 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6401/statm: 215201 11719 1996 14 0 201458 0
[pid=6401/tid=6402] ppid=6387 vsize=860804 CPUtime=0.52
/proc/6401/task/6402/stat : 6402 (java) R 6387 6387 5976 0 -1 64 3407 0 0 0 51 1 0 0 19 0 8 0 172758440 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4154045014 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6403] ppid=6387 vsize=860804 CPUtime=0
/proc/6401/task/6403/stat : 6403 (java) S 6387 6387 5976 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 172758440 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6404] ppid=6387 vsize=860804 CPUtime=0
/proc/6401/task/6404/stat : 6404 (java) S 6387 6387 5976 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 172758440 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6405] ppid=6387 vsize=860804 CPUtime=0
/proc/6401/task/6405/stat : 6405 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172758444 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6406] ppid=6387 vsize=860804 CPUtime=0.19
/proc/6401/task/6406/stat : 6406 (java) S 6387 6387 5976 0 -1 64 966 0 0 0 18 1 0 0 18 0 8 0 172758444 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6407] ppid=6387 vsize=860804 CPUtime=0
/proc/6401/task/6407/stat : 6407 (java) S 6387 6387 5976 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 172758444 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6408] ppid=6387 vsize=860804 CPUtime=0
/proc/6401/task/6408/stat : 6408 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172758444 881463296 11719 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 908364
[startup+2.9947 s]
/proc/loadavg: 2.14 2.04 2.01 3/95 6408
/proc/meminfo: memFree=1800192/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
[pid=6401] ppid=6387 vsize=860924 CPUtime=2.86
/proc/6401/stat : 6401 (java) R 6387 6387 5976 0 -1 0 12208 0 1 0 279 7 0 0 16 0 8 0 172758436 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073520325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6401/statm: 215231 11887 1996 14 0 201488 0
[pid=6401/tid=6402] ppid=6387 vsize=860924 CPUtime=1.79
/proc/6401/task/6402/stat : 6402 (java) R 6387 6387 5976 0 -1 64 3498 0 0 0 177 2 0 0 25 0 8 0 172758440 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6403] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6403/stat : 6403 (java) S 6387 6387 5976 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6404] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6404/stat : 6404 (java) S 6387 6387 5976 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6405] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6405/stat : 6405 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172758444 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6406] ppid=6387 vsize=860924 CPUtime=0.3
/proc/6401/task/6406/stat : 6406 (java) S 6387 6387 5976 0 -1 64 1043 0 0 0 29 1 0 0 15 0 8 0 172758444 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6407] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6407/stat : 6407 (java) S 6387 6387 5976 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 172758444 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6408] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6408/stat : 6408 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172758444 881586176 11887 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 908484
[startup+6.19526 s]
/proc/loadavg: 2.14 2.04 2.01 3/95 6408
/proc/meminfo: memFree=1799040/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
[pid=6401] ppid=6387 vsize=860924 CPUtime=6.03
/proc/6401/stat : 6401 (java) S 6387 6387 5976 0 -1 0 12471 0 1 0 594 9 0 0 15 0 8 0 172758436 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6401/statm: 215231 12052 1996 14 0 201488 0
[pid=6401/tid=6402] ppid=6387 vsize=860924 CPUtime=4.41
/proc/6401/task/6402/stat : 6402 (java) R 6387 6387 5976 0 -1 64 3633 0 0 0 438 3 0 0 25 0 8 0 172758440 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4155166443 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6403] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6403/stat : 6403 (java) S 6387 6387 5976 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6404] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6404/stat : 6404 (java) S 6387 6387 5976 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6405] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6405/stat : 6405 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172758444 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6406] ppid=6387 vsize=860924 CPUtime=0.35
/proc/6401/task/6406/stat : 6406 (java) S 6387 6387 5976 0 -1 64 1073 0 0 0 34 1 0 0 15 0 8 0 172758444 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6407] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6407/stat : 6407 (java) S 6387 6387 5976 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 172758444 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6408] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6408/stat : 6408 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172758444 881586176 12052 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 908484
[startup+12.6174 s]
/proc/loadavg: 2.20 2.06 2.01 4/95 6408
/proc/meminfo: memFree=1766920/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
[pid=6401] ppid=6387 vsize=860924 CPUtime=12.38
/proc/6401/stat : 6401 (java) R 6387 6387 5976 0 -1 0 20324 0 2 0 1223 15 0 0 16 0 8 0 172758436 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4074462432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6401/statm: 215231 19792 2017 14 0 201488 0
[pid=6401/tid=6402] ppid=6387 vsize=860924 CPUtime=7.78
/proc/6401/task/6402/stat : 6402 (java) R 6387 6387 5976 0 -1 64 3960 0 0 0 774 4 0 0 24 0 8 0 172758440 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6403] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6403/stat : 6403 (java) S 6387 6387 5976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172758440 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6404] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6404/stat : 6404 (java) S 6387 6387 5976 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6405] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6405/stat : 6405 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172758444 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6406] ppid=6387 vsize=860924 CPUtime=0.44
/proc/6401/task/6406/stat : 6406 (java) S 6387 6387 5976 0 -1 64 1120 0 0 0 42 2 0 0 16 0 8 0 172758444 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6407] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6407/stat : 6407 (java) S 6387 6387 5976 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 172758444 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6408] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6408/stat : 6408 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172758444 881586176 19792 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 908484
[startup+25.4734 s]
/proc/loadavg: 2.17 2.05 2.01 3/95 6408
/proc/meminfo: memFree=1757256/2055920 swapFree=4174172/4192956
[pid=6387] ppid=6385 vsize=47560 CPUtime=0.01
/proc/6387/stat : 6387 (galac.sh) S 6385 6387 5976 0 -1 4194304 762 1704 0 0 0 0 0 1 19 0 1 0 172758427 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6387/statm: 11890 365 247 79 0 218 0
[pid=6401] ppid=6387 vsize=860924 CPUtime=25.16
/proc/6401/stat : 6401 (java) R 6387 6387 5976 0 -1 0 20445 0 2 0 2496 20 0 0 25 0 8 0 172758436 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4155213685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6401/statm: 215231 19889 2018 14 0 201488 0
[pid=6401/tid=6402] ppid=6387 vsize=860924 CPUtime=7.82
/proc/6401/task/6402/stat : 6402 (java) S 6387 6387 5976 0 -1 64 4049 0 0 0 777 5 0 0 16 0 8 0 172758440 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6403] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6403/stat : 6403 (java) S 6387 6387 5976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172758440 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6404] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6404/stat : 6404 (java) S 6387 6387 5976 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 172758440 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6405] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6405/stat : 6405 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172758444 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6406] ppid=6387 vsize=860924 CPUtime=0.45
/proc/6401/task/6406/stat : 6406 (java) S 6387 6387 5976 0 -1 64 1126 0 0 0 43 2 0 0 15 0 8 0 172758444 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6407] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6407/stat : 6407 (java) S 6387 6387 5976 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 172758444 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6401/tid=6408] ppid=6387 vsize=860924 CPUtime=0
/proc/6401/task/6408/stat : 6408 (java) S 6387 6387 5976 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172758444 881586176 19889 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 908484
Child status: 0
Real time (s): 34.4475
CPU time (s): 34.1308
CPU user time (s): 33.7769
CPU system time (s): 0.353946
CPU usage (%): 99.0806
Max. virtual memory (cumulated for all children) (KiB): 908484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.7769
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32093
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2750
involuntary context switches= 2747
runsolver used 0.049992 s user time and 0.109983 s system time
The end
Begin job on node15 on Mon Jan 8 08:07:16 UTC 2007
IDJOB= 216624
IDBENCH= 5091
FILE ID= node15/216624-1168243636
PBS_JOBID= 3481565
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen1-f9.xml
COMMAND LINE= /tmp/evaluation/216624-1168243636/galac.sh /tmp/evaluation/216624-1168243636/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-216624-1168243636 -o ROOT/results/node15/solver-216624-1168243636 -C 1800 -M 900 /tmp/evaluation/216624-1168243636/galac.sh /tmp/evaluation/216624-1168243636/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 3cc6acaa1f73e7c39add36f444a58577
RANDOM SEED= 929804303
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.276
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.276
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: 1840680 kB
Buffers: 47516 kB
Cached: 66512 kB
SwapCached: 6400 kB
Active: 89684 kB
Inactive: 70216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840680 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 3620 kB
Writeback: 0 kB
Mapped: 56520 kB
Slab: 40016 kB
Committed_AS: 5039316 kB
PageTables: 2388 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= 66330 MiB
End job on node15 on Mon Jan 8 08:07:50 UTC 2007