0.04 c --- Preproc Stats ---
1.44 c start processing
1.44 c start relation processing
1.45 c start cnf exporting
7.34 c parsing time : 1.27
7.34 c preprocessing time : 7.175
7.34
7.34 c Nary constraints - conflicts : 0 supports : 0
7.34 c Binary constraints - conflicts : 1953 supports :81
7.34 c max arity constraint : 2
7.34 c Max Tuples generated 4096
7.34 c relations : 3
7.34 c relations BDD: 0
7.34 c vars : 4107 - clauses : 263414
7.34
7.37
7.37 c --- Minisat Stats ---
7.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-221221-1168717308 -o ROOT/results/node55/solver-221221-1168717308 -C 1800 -M 900 /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=8564 CPUtime=0
/proc/4028/stat : 4028 (galac.sh) D 4025 4028 3917 0 -1 4194304 317 0 0 0 0 0 0 0 17 0 1 0 220129378 8769536 261 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761778130 0 2147483391 4096 8192 18446744072099781622 0 0 17 1 0 0
/proc/4028/statm: 2141 261 201 79 0 134 0
[startup+0.103542 s]
/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+0.511583 s]
/proc/loadavg: 0.37 0.82 0.94 5/70 4029
/proc/meminfo: memFree=1545552/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47580
[startup+1.33367 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1465776/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=1.27
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 12415 0 1 0 118 9 0 0 25 0 8 0 220129383 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 12168 1989 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.05
/proc/4058/task/4062/stat : 4062 (java) R 4028 4028 3917 0 -1 64 3355 0 0 0 4 1 0 0 17 0 8 0 220129386 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155135518 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.32
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1078 0 0 0 30 2 0 0 15 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 12168 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 908564
[startup+2.97182 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1404080/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=2.9
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 19568 0 3 0 275 15 0 0 25 0 8 0 220129383 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153380166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 19320 2015 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.09
/proc/4058/task/4062/stat : 4062 (java) S 4028 4028 3917 0 -1 64 3475 0 0 0 8 1 0 0 16 0 8 0 220129386 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.38
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1121 0 0 0 36 2 0 0 15 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 19320 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 908564
[startup+6.17613 s]
/proc/loadavg: 0.58 0.85 0.95 3/89 4072
/proc/meminfo: memFree=1397808/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=0.01
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4058] ppid=4028 vsize=860984 CPUtime=6.08
/proc/4058/stat : 4058 (java) R 4028 4028 3917 0 -1 0 19578 0 3 0 592 16 0 0 25 0 8 0 220129383 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074347566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4058/statm: 215246 19324 2015 14 0 201504 0
[pid=4058/tid=4062] ppid=4028 vsize=860984 CPUtime=0.1
/proc/4058/task/4062/stat : 4062 (java) S 4028 4028 3917 0 -1 64 3475 0 0 0 9 1 0 0 16 0 8 0 220129386 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4063] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4063/stat : 4063 (java) S 4028 4028 3917 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4064] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4064/stat : 4064 (java) S 4028 4028 3917 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220129387 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4069] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4069/stat : 4069 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4070] ppid=4028 vsize=860984 CPUtime=0.38
/proc/4058/task/4070/stat : 4070 (java) S 4028 4028 3917 0 -1 64 1125 0 0 0 36 2 0 0 16 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4058/tid=4071] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4071/stat : 4071 (java) S 4028 4028 3917 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4058/tid=4072] ppid=4028 vsize=860984 CPUtime=0
/proc/4058/task/4072/stat : 4072 (java) S 4028 4028 3917 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220129390 881647616 19324 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 908564
[startup+12.6458 s]
/proc/loadavg: 0.79 0.89 0.96 3/82 4073
/proc/meminfo: memFree=1434024/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=28364 CPUtime=5.23
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 6950 0 0 0 519 4 0 0 25 0 1 0 220130116 29044736 6932 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 7091 6932 54 142 0 6947 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 75944
[startup+25.486 s]
/proc/loadavg: 0.98 0.93 0.97 3/82 4073
/proc/meminfo: memFree=1392808/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=60796 CPUtime=18.01
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 15044 0 0 0 1793 8 0 0 25 0 1 0 220130116 62255104 15026 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 15199 15026 54 142 0 15055 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 108376
[startup+51.1525 s]
/proc/loadavg: 1.33 1.01 0.99 3/75 4074
/proc/meminfo: memFree=1331936/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=97752 CPUtime=43.54
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 24275 0 0 0 4336 18 0 0 25 0 1 0 220130116 100098048 24257 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 24438 24257 54 142 0 24294 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 145332
[startup+102.362 s]
/proc/loadavg: 1.73 1.17 1.05 3/75 4074
/proc/meminfo: memFree=1261728/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=149888 CPUtime=94.51
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 37286 0 0 0 9422 29 0 0 25 0 1 0 220130116 153485312 37268 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 37472 37268 54 142 0 37328 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 197468
[startup+162.402 s]
/proc/loadavg: 1.90 1.32 1.11 3/75 4074
/proc/meminfo: memFree=1191328/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=204784 CPUtime=154.27
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 50979 0 0 0 15387 40 0 0 25 0 1 0 220130116 209698816 50961 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 51196 50961 54 142 0 51052 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 252364
[startup+222.441 s]
/proc/loadavg: 1.96 1.44 1.16 3/75 4074
/proc/meminfo: memFree=1114208/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=258980 CPUtime=214.03
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 64474 0 0 0 21350 53 0 0 25 0 1 0 220130116 265195520 64456 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 64745 64456 54 142 0 64601 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 306560
[startup+282.485 s]
/proc/loadavg: 1.98 1.54 1.21 3/75 4074
/proc/meminfo: memFree=1041248/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=302576 CPUtime=273.81
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 75405 0 0 0 27318 63 0 0 25 0 1 0 220130116 309837824 75387 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 75644 75387 54 142 0 75500 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 350156
[startup+342.526 s]
/proc/loadavg: 1.99 1.62 1.26 3/75 4074
/proc/meminfo: memFree=976608/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
################
# More data... #
################
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=609524 CPUtime=931.29
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 151953 0 0 0 92990 139 0 0 25 0 1 0 220130116 624152576 151935 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529461 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 152381 151935 54 142 0 152237 0
Current children cumulated CPU time (s) 938.56
Current children cumulated vsize (KiB) 657104
[startup+1003.02 s]
/proc/loadavg: 2.00 1.95 1.61 3/75 4074
/proc/meminfo: memFree=273504/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=649064 CPUtime=991.07
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 161801 0 0 0 98959 148 0 0 25 0 1 0 220130116 664641536 161783 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 162266 161783 54 142 0 162122 0
Current children cumulated CPU time (s) 998.34
Current children cumulated vsize (KiB) 696644
[startup+1063.07 s]
/proc/loadavg: 2.00 1.95 1.64 3/75 4074
/proc/meminfo: memFree=214368/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=674704 CPUtime=1050.86
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 168197 0 0 0 104933 153 0 0 25 0 1 0 220130116 690896896 168179 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 168676 168179 54 142 0 168532 0
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (KiB) 722284
[startup+1123.11 s]
/proc/loadavg: 2.00 1.96 1.65 3/75 4074
/proc/meminfo: memFree=163872/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=696640 CPUtime=1110.62
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 173633 0 0 0 110903 159 0 0 25 0 1 0 220130116 713359360 173615 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 174160 173615 54 142 0 174016 0
Current children cumulated CPU time (s) 1117.89
Current children cumulated vsize (KiB) 744220
[startup+1183.18 s]
/proc/loadavg: 2.00 1.97 1.67 3/81 4192
/proc/meminfo: memFree=105376/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=720224 CPUtime=1170.36
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 179517 0 0 0 116862 174 0 0 25 0 1 0 220130116 737509376 179499 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 180056 179499 54 142 0 179912 0
Current children cumulated CPU time (s) 1177.63
Current children cumulated vsize (KiB) 767804
[startup+1243.25 s]
/proc/loadavg: 2.00 1.97 1.69 3/75 4272
/proc/meminfo: memFree=61920/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=738824 CPUtime=1230.11
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 184160 0 0 0 122819 192 0 0 25 0 1 0 220130116 756555776 184142 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 184706 184142 54 142 0 184562 0
Current children cumulated CPU time (s) 1237.38
Current children cumulated vsize (KiB) 786404
[startup+1303.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/75 4272
/proc/meminfo: memFree=15200/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=761168 CPUtime=1289.87
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 189760 0 0 0 128789 198 0 0 25 0 1 0 220130116 779436032 189742 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 190292 189742 54 142 0 190148 0
Current children cumulated CPU time (s) 1297.14
Current children cumulated vsize (KiB) 808748
[startup+1363.35 s]
/proc/loadavg: 2.06 1.99 1.73 3/75 4272
/proc/meminfo: memFree=15648/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=783736 CPUtime=1349.64
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 195390 0 0 0 134761 203 0 0 25 0 1 0 220130116 802545664 195372 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529444 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 195934 195372 54 142 0 195790 0
Current children cumulated CPU time (s) 1356.91
Current children cumulated vsize (KiB) 831316
[startup+1423.4 s]
/proc/loadavg: 2.02 1.99 1.74 3/75 4272
/proc/meminfo: memFree=15840/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=799760 CPUtime=1409.42
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 199426 0 0 0 140735 207 0 0 25 0 1 0 220130116 818954240 199408 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 199940 199408 54 142 0 199796 0
Current children cumulated CPU time (s) 1416.69
Current children cumulated vsize (KiB) 847340
[startup+1483.45 s]
/proc/loadavg: 2.04 2.00 1.76 3/75 4272
/proc/meminfo: memFree=16032/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=815480 CPUtime=1469.18
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 203338 0 0 0 146706 212 0 0 25 0 1 0 220130116 835051520 203320 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/4073/statm: 203870 203320 54 142 0 203726 0
Current children cumulated CPU time (s) 1476.45
Current children cumulated vsize (KiB) 863060
[startup+1543.48 s]
/proc/loadavg: 1.79 1.95 1.75 2/66 5195
/proc/meminfo: memFree=915824/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=831992 CPUtime=1528.93
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 207447 0 0 0 152673 220 0 0 25 0 1 0 220130116 851959808 207429 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 207998 207429 54 142 0 207854 0
Current children cumulated CPU time (s) 1536.2
Current children cumulated vsize (KiB) 879572
[startup+1603.54 s]
/proc/loadavg: 1.29 1.77 1.70 2/66 5195
/proc/meminfo: memFree=899768/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=848500 CPUtime=1588.97
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 211568 0 0 0 158672 225 0 0 25 0 1 0 220130116 868864000 211550 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 212125 211550 54 142 0 211981 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 896080
[startup+1663.59 s]
/proc/loadavg: 1.10 1.63 1.66 2/66 5195
/proc/meminfo: memFree=880888/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=867616 CPUtime=1649.01
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 216335 0 0 0 164672 229 0 0 25 0 1 0 220130116 888438784 216317 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 216904 216317 54 142 0 216760 0
Current children cumulated CPU time (s) 1656.28
Current children cumulated vsize (KiB) 915196
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1689.01 s]
/proc/loadavg: 1.07 1.58 1.64 2/66 5195
/proc/meminfo: memFree=874232/2055920 swapFree=4192192/4192956
[pid=4028] ppid=4025 vsize=47580 CPUtime=7.27
/proc/4028/stat : 4028 (galac.sh) S 4025 4028 3917 0 -1 4194304 799 21298 0 3 0 0 709 18 17 0 1 0 220129378 48721920 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 248761215834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/4028/statm: 11895 363 245 79 0 218 0
[pid=4073] ppid=4028 vsize=874024 CPUtime=1674.43
/proc/4073/stat : 4073 (minisat) R 4028 4028 3917 0 -1 4194304 217908 0 0 0 167213 230 0 0 25 0 1 0 220130116 895000576 217890 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/4073/statm: 218506 217890 54 142 0 218362 0
Current children cumulated CPU time (s) 1681.7
Current children cumulated vsize (KiB) 921604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1689.02
CPU time (s): 7.29489
CPU user time (s): 7.09792
CPU system time (s): 0.19697
CPU usage (%): 0.431901
Max. virtual memory (cumulated for all children) (KiB): 921604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.09792
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22097
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1813
involuntary context switches= 1886
runsolver used 1.60076 s user time and 4.40633 s system time
The end
Begin job on node55 on Sat Jan 13 19:41:49 UTC 2007
IDJOB= 221221
IDBENCH= 5402
IDSOLVER= 78
FILE ID= node55/221221-1168717308
PBS_JOBID= 3547614
Free space on /tmp= 66558 MiB
SOLVER NAME= galac 1
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-8.xml
COMMAND LINE= /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-221221-1168717308 -o ROOT/results/node55/solver-221221-1168717308 -C 1800 -M 900 /tmp/evaluation/221221-1168717308/galac.sh /tmp/evaluation/221221-1168717308/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 16844b2a8a95da9ff87f9b9658283ef6
RANDOM SEED= 680258266
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.218
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.218
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: 1546376 kB
Buffers: 34872 kB
Cached: 381360 kB
SwapCached: 268 kB
Active: 77292 kB
Inactive: 358688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1546376 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 7024 kB
Writeback: 0 kB
Mapped: 28688 kB
Slab: 59332 kB
Committed_AS: 4906592 kB
PageTables: 1572 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= 66558 MiB
End job on node55 on Sat Jan 13 20:10:00 UTC 2007