0.03 c --- Preproc Stats ---
22.02 c start processing
22.02 c start relation processing
29.39 c start cnf exporting
101.14 c parsing time : 21.782
101.14 c preprocessing time : 100.907
101.14
101.14 c Nary constraints - conflicts : 0 supports : 0
101.14 c Binary constraints - conflicts : 82 supports :18
101.14 c max arity constraint : 2
101.14 c Max Tuples generated 82863
101.14 c relations : 100
101.14 c relations BDD: 0
101.14 c vars : 6200 - clauses : 2492610
101.14
101.18
101.18 c --- Minisat Stats ---
101.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-234803-1168717661 -o ROOT/results/node71/solver-234803-1168717661 -C 1800 -M 900 /tmp/evaluation/234803-1168717661/galac.sh /tmp/evaluation/234803-1168717661/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: 2.03 1.97 1.78 5/81 8717
/proc/meminfo: memFree=1437584/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=8560 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) R 8714 8716 7899 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 19262930 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231962560399 0 0 4096 8192 0 0 0 17 1 0 0
/proc/8716/statm: 2140 253 197 79 0 133 0
[startup+0.106972 s]
/proc/loadavg: 2.03 1.97 1.78 5/81 8717
/proc/meminfo: memFree=1437584/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47552
[startup+0.519032 s]
/proc/loadavg: 2.03 1.97 1.78 5/81 8717
/proc/meminfo: memFree=1437584/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47552
[startup+1.34315 s]
/proc/loadavg: 2.03 1.97 1.78 4/89 8737
/proc/meminfo: memFree=1386768/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=861072 CPUtime=1.2
/proc/8730/stat : 8730 (java) S 8716 8716 7899 0 -1 0 14933 0 1 0 113 7 0 0 16 0 8 0 19262933 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215268 14653 1994 14 0 201525 0
[pid=8730/tid=8731] ppid=8716 vsize=861072 CPUtime=0.43
/proc/8730/task/8731/stat : 8731 (java) R 8716 8716 7899 0 -1 64 6031 0 0 0 41 2 0 0 16 0 8 0 19262945 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=861072 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19262945 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=861072 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=861072 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=861072 CPUtime=0.11
/proc/8730/task/8735/stat : 8735 (java) R 8716 8716 7899 0 -1 64 913 0 0 0 11 0 0 0 20 0 8 0 19262949 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=861072 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=861072 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881737728 14653 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 908624
[startup+2.98038 s]
/proc/loadavg: 2.03 1.97 1.78 4/89 8737
/proc/meminfo: memFree=1372688/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=860884 CPUtime=2.84
/proc/8730/stat : 8730 (java) S 8716 8716 7899 0 -1 0 19860 0 1 0 275 9 0 0 16 0 8 0 19262933 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215221 19493 1994 14 0 201478 0
[pid=8730/tid=8731] ppid=8716 vsize=860884 CPUtime=1.61
/proc/8730/task/8731/stat : 8731 (java) R 8716 8716 7899 0 -1 64 10942 0 0 0 158 3 0 0 24 0 8 0 19262945 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155772447 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=860884 CPUtime=0.12
/proc/8730/task/8735/stat : 8735 (java) S 8716 8716 7899 0 -1 64 920 0 0 0 12 0 0 0 16 0 8 0 19262949 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881545216 19493 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 908436
[startup+6.27783 s]
/proc/loadavg: 2.03 1.97 1.78 4/89 8737
/proc/meminfo: memFree=1348176/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=860884 CPUtime=6.12
/proc/8730/stat : 8730 (java) S 8716 8716 7899 0 -1 0 25381 0 1 0 601 11 0 0 16 0 8 0 19262933 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215221 24941 1994 14 0 201478 0
[pid=8730/tid=8731] ppid=8716 vsize=860884 CPUtime=4.27
/proc/8730/task/8731/stat : 8731 (java) R 8716 8716 7899 0 -1 64 16439 0 0 0 422 5 0 0 25 0 8 0 19262945 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=860884 CPUtime=0.13
/proc/8730/task/8735/stat : 8735 (java) S 8716 8716 7899 0 -1 64 924 0 0 0 13 0 0 0 16 0 8 0 19262949 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881545216 24941 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 908436
[startup+12.7797 s]
/proc/loadavg: 2.03 1.97 1.78 3/89 8737
/proc/meminfo: memFree=1313552/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=860884 CPUtime=12.59
/proc/8730/stat : 8730 (java) R 8716 8716 7899 0 -1 0 34127 0 1 0 1245 14 0 0 15 0 8 0 19262933 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073743562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215221 33659 1994 14 0 201478 0
[pid=8730/tid=8731] ppid=8716 vsize=860884 CPUtime=9.85
/proc/8730/task/8731/stat : 8731 (java) R 8716 8716 7899 0 -1 64 25145 0 0 0 977 8 0 0 25 0 8 0 19262945 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=860884 CPUtime=0.15
/proc/8730/task/8735/stat : 8735 (java) S 8716 8716 7899 0 -1 64 936 0 0 0 15 0 0 0 15 0 8 0 19262949 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881545216 33659 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 908436
[startup+25.6263 s]
/proc/loadavg: 2.09 1.99 1.79 3/89 8737
/proc/meminfo: memFree=1278992/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=860884 CPUtime=25.43
/proc/8730/stat : 8730 (java) R 8716 8716 7899 0 -1 0 41861 0 1 0 2526 17 0 0 20 0 8 0 19262933 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073857463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215221 41364 1995 14 0 201478 0
[pid=8730/tid=8731] ppid=8716 vsize=860884 CPUtime=18.22
/proc/8730/task/8731/stat : 8731 (java) S 8716 8716 7899 0 -1 64 32833 0 0 0 1810 12 0 0 16 0 8 0 19262945 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=860884 CPUtime=0.16
/proc/8730/task/8735/stat : 8735 (java) S 8716 8716 7899 0 -1 64 948 0 0 0 16 0 0 0 16 0 8 0 19262949 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881545216 41364 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 908436
[startup+51.2318 s]
/proc/loadavg: 2.06 1.99 1.79 3/89 8737
/proc/meminfo: memFree=1172880/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=0
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 761 1704 0 0 0 0 0 0 24 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8730] ppid=8716 vsize=860884 CPUtime=51.02
/proc/8730/stat : 8730 (java) R 8716 8716 7899 0 -1 0 53901 0 1 0 5071 31 0 0 25 0 8 0 19262933 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073786021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8730/statm: 215221 53366 2016 14 0 201478 0
[pid=8730/tid=8731] ppid=8716 vsize=860884 CPUtime=18.39
/proc/8730/task/8731/stat : 8731 (java) S 8716 8716 7899 0 -1 64 37816 0 0 0 1825 14 0 0 16 0 8 0 19262945 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8732] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8732/stat : 8732 (java) S 8716 8716 7899 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 19262945 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8733] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8733/stat : 8733 (java) S 8716 8716 7899 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 19262945 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8734] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8734/stat : 8734 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 19262949 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8735] ppid=8716 vsize=860884 CPUtime=0.26
/proc/8730/task/8735/stat : 8735 (java) S 8716 8716 7899 0 -1 64 998 0 0 0 25 1 0 0 15 0 8 0 19262949 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8736] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8736/stat : 8736 (java) S 8716 8716 7899 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 19262949 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8730/tid=8737] ppid=8716 vsize=860884 CPUtime=0
/proc/8730/task/8737/stat : 8737 (java) S 8716 8716 7899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19262949 881545216 53366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 908436
[startup+102.531 s]
/proc/loadavg: 2.02 1.99 1.80 3/82 8738
/proc/meminfo: memFree=1248328/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=103112 CPUtime=1.34
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 24652 0 0 0 122 12 0 0 25 0 1 0 19273048 105586688 24634 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529456 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 25778 24634 54 142 0 25634 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150664
[startup+162.629 s]
/proc/loadavg: 2.06 2.00 1.82 3/82 8738
/proc/meminfo: memFree=1021384/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=252576 CPUtime=61.41
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 61950 0 0 0 6107 34 0 0 25 0 1 0 19273048 258637824 61932 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 63144 61932 54 142 0 63000 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 300128
[startup+222.631 s]
/proc/loadavg: 2.02 2.00 1.83 3/82 8738
/proc/meminfo: memFree=791816/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=391276 CPUtime=121.39
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 96613 0 0 0 12085 54 0 0 25 0 1 0 19273048 400666624 96595 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 97819 96595 54 142 0 97675 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 438828
[startup+282.655 s]
/proc/loadavg: 2.01 2.00 1.83 3/82 8738
/proc/meminfo: memFree=620488/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=474284 CPUtime=181.4
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 117360 0 0 0 18072 68 0 0 25 0 1 0 19273048 485666816 117342 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 118571 117342 54 142 0 118427 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 521836
[startup+342.749 s]
/proc/loadavg: 2.05 2.01 1.84 3/82 8738
/proc/meminfo: memFree=498120/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=552628 CPUtime=241.48
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 136879 0 0 0 24066 82 0 0 25 0 1 0 19273048 565891072 136861 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 138157 136861 54 142 0 138013 0
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (KiB) 600180
[startup+402.778 s]
/proc/loadavg: 1.81 1.96 1.83 3/82 8873
/proc/meminfo: memFree=770056/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=621024 CPUtime=301.44
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 153931 0 0 0 30048 96 0 0 25 0 1 0 19273048 635928576 153913 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529456 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 155256 153913 54 142 0 155112 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 668576
[startup+462.807 s]
/proc/loadavg: 1.96 1.98 1.84 4/82 8873
/proc/meminfo: memFree=700552/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=691292 CPUtime=361.44
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 171303 0 0 0 36035 109 0 0 25 0 1 0 19273048 707883008 171285 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 172823 171285 54 142 0 172679 0
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (KiB) 738844
[startup+522.834 s]
/proc/loadavg: 1.98 1.98 1.85 3/82 8873
/proc/meminfo: memFree=631944/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=758932 CPUtime=421.45
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 188103 0 0 0 42027 118 0 0 25 0 1 0 19273048 777146368 188085 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525808 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 189733 188085 54 142 0 189589 0
Current children cumulated CPU time (s) 522.41
Current children cumulated vsize (KiB) 806484
[startup+582.872 s]
/proc/loadavg: 1.99 1.98 1.86 3/82 8873
/proc/meminfo: memFree=564168/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=826336 CPUtime=481.47
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 204907 0 0 0 48020 127 0 0 25 0 1 0 19273048 846168064 204889 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525938 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 206584 204889 54 142 0 206440 0
Current children cumulated CPU time (s) 582.43
Current children cumulated vsize (KiB) 873888
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+638.364 s]
/proc/loadavg: 1.99 1.98 1.86 3/82 8873
/proc/meminfo: memFree=515464/2055920 swapFree=4192812/4192956
[pid=8716] ppid=8714 vsize=47552 CPUtime=100.96
/proc/8716/stat : 8716 (galac.sh) S 8714 8716 7899 0 -1 4194304 799 55761 0 1 0 0 10048 48 17 0 1 0 19262930 48693248 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231961979738 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8716/statm: 11888 363 245 79 0 218 0
[pid=8738] ppid=8716 vsize=874140 CPUtime=536.94
/proc/8738/stat : 8738 (minisat) R 8716 8716 7899 0 -1 4194304 216902 0 0 0 53560 134 0 0 25 0 1 0 19273048 895119360 216884 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 1 0 0
/proc/8738/statm: 218535 216884 54 142 0 218391 0
Current children cumulated CPU time (s) 637.9
Current children cumulated vsize (KiB) 921692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 8716 and gives childrusage.ru_utime.tv_sec=100 childrusage.ru_utime.tv_usec=491722 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=489925
CPU time returned by wait4() is 100.982
while last known CPU time is 0
Using last known CPU time as value...
Real time (s): 638.375
CPU time (s): 0
CPU user time (s): 0
CPU system time (s): 0
CPU usage (%): 0
Max. virtual memory (cumulated for all children) (KiB): 921692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.492
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56560
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= 3868
involuntary context switches= 4400
runsolver used 0.58891 s user time and 1.73074 s system time
The end
Begin job on node71 on Sat Jan 13 19:47:41 UTC 2007
IDJOB= 234803
IDBENCH= 6713
IDSOLVER= 78
FILE ID= node71/234803-1168717661
PBS_JOBID= 3547584
Free space on /tmp= 66558 MiB
SOLVER NAME= galac 1
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-100-7.xml
COMMAND LINE= /tmp/evaluation/234803-1168717661/galac.sh /tmp/evaluation/234803-1168717661/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-234803-1168717661 -o ROOT/results/node71/solver-234803-1168717661 -C 1800 -M 900 /tmp/evaluation/234803-1168717661/galac.sh /tmp/evaluation/234803-1168717661/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= d5081a0ba82d7a928e9ef02f0cd66b7c
RANDOM SEED= 280745273
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.236
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.236
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: 1438064 kB
Buffers: 22932 kB
Cached: 188948 kB
SwapCached: 144 kB
Active: 403640 kB
Inactive: 152448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1438064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2844 kB
Writeback: 0 kB
Mapped: 363008 kB
Slab: 46388 kB
Committed_AS: 1038092 kB
PageTables: 2556 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= 66525 MiB
End job on node71 on Sat Jan 13 19:58:20 UTC 2007