0.03 c --- Preproc Stats ---
3.10 c start processing
3.10 c start relation processing
9.93 c start cnf exporting
41.91 c parsing time : 2.942
41.91 c preprocessing time : 41.748
41.91
41.91 c Nary constraints - conflicts : 0 supports : 75
41.91 c Binary constraints - conflicts : 0 supports :0
41.91 c max arity constraint : 3
41.91 c Max Tuples generated 0
41.91 c relations : 75
41.91 c relations BDD: 75
41.91 c vars : 296513 - clauses : 936632
41.91
41.99
41.99 c --- Minisat Stats ---
41.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-195796-1168114115 -o ROOT/results/node45/solver-195796-1168114115 -C 1800 -M 900 /tmp/evaluation/195796-1168114115/galac.sh /tmp/evaluation/195796-1168114115/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.00 1.99 1.90 5/74 1015
/proc/meminfo: memFree=1807480/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=8560 CPUtime=0
/proc/1014/stat : 1014 (galac.sh) R 1012 1014 32636 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 159810466 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258939275151 0 0 4096 8192 0 0 0 17 1 0 0
/proc/1014/statm: 2140 253 197 79 0 133 0
[startup+0.104962 s]
/proc/loadavg: 2.00 1.99 1.90 5/74 1015
/proc/meminfo: memFree=1807480/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.513033 s]
/proc/loadavg: 2.00 1.99 1.90 5/74 1015
/proc/meminfo: memFree=1807480/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.33619 s]
/proc/loadavg: 2.08 2.00 1.91 3/82 1035
/proc/meminfo: memFree=1728888/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1028] ppid=1014 vsize=860852 CPUtime=1.29
/proc/1028/stat : 1028 (java) R 1014 1014 32636 0 -1 0 21632 0 1 0 116 13 0 0 23 0 8 0 159810470 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073699098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1028/statm: 215213 21385 1963 14 0 201471 0
[pid=1028/tid=1029] ppid=1014 vsize=860852 CPUtime=0.05
/proc/1028/task/1029/stat : 1029 (java) S 1014 1014 32636 0 -1 64 5882 0 0 0 3 2 0 0 16 0 8 0 159810473 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1030] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1030/stat : 1030 (java) S 1014 1014 32636 0 -1 64 11 0 0 0 0 0 0 0 19 0 8 0 159810474 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1031] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1031/stat : 1031 (java) S 1014 1014 32636 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 159810474 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1032] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1032/stat : 1032 (java) S 1014 1014 32636 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 159810477 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1033] ppid=1014 vsize=860852 CPUtime=0.13
/proc/1028/task/1033/stat : 1033 (java) S 1014 1014 32636 0 -1 64 892 0 0 0 12 1 0 0 16 0 8 0 159810477 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1034] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1034/stat : 1034 (java) S 1014 1014 32636 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159810477 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1035] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1035/stat : 1035 (java) S 1014 1014 32636 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159810477 881512448 21385 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 908412
[startup+2.98949 s]
/proc/loadavg: 2.08 2.00 1.91 3/82 1035
/proc/meminfo: memFree=1716856/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1028] ppid=1014 vsize=860852 CPUtime=2.93
/proc/1028/stat : 1028 (java) R 1014 1014 32636 0 -1 0 25861 0 1 0 277 16 0 0 25 0 8 0 159810470 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073751179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1028/statm: 215213 25608 1963 14 0 201471 0
[pid=1028/tid=1029] ppid=1014 vsize=860852 CPUtime=0.22
/proc/1028/task/1029/stat : 1029 (java) S 1014 1014 32636 0 -1 64 10096 0 0 0 18 4 0 0 16 0 8 0 159810473 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1030] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1030/stat : 1030 (java) S 1014 1014 32636 0 -1 64 11 0 0 0 0 0 0 0 19 0 8 0 159810474 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1031] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1031/stat : 1031 (java) S 1014 1014 32636 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 159810474 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1032] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1032/stat : 1032 (java) S 1014 1014 32636 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 159810477 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1033] ppid=1014 vsize=860852 CPUtime=0.16
/proc/1028/task/1033/stat : 1033 (java) S 1014 1014 32636 0 -1 64 901 0 0 0 15 1 0 0 16 0 8 0 159810477 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1034] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1034/stat : 1034 (java) S 1014 1014 32636 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159810477 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1035] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1035/stat : 1035 (java) S 1014 1014 32636 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159810477 881512448 25608 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 908412
[startup+6.28109 s]
/proc/loadavg: 2.08 2.00 1.91 4/82 1035
/proc/meminfo: memFree=1693176/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1028] ppid=1014 vsize=860852 CPUtime=6.2
/proc/1028/stat : 1028 (java) R 1014 1014 32636 0 -1 0 36182 0 1 0 600 20 0 0 25 0 8 0 159810470 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073934317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1028/statm: 215213 35926 1971 14 0 201471 0
[pid=1028/tid=1029] ppid=1014 vsize=860852 CPUtime=0.72
/proc/1028/task/1029/stat : 1029 (java) S 1014 1014 32636 0 -1 64 20358 0 0 0 63 9 0 0 20 0 8 0 159810473 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1030] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1030/stat : 1030 (java) S 1014 1014 32636 0 -1 64 11 0 0 0 0 0 0 0 19 0 8 0 159810474 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1031] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1031/stat : 1031 (java) S 1014 1014 32636 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 159810474 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1032] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1032/stat : 1032 (java) S 1014 1014 32636 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 159810477 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1033] ppid=1014 vsize=860852 CPUtime=0.22
/proc/1028/task/1033/stat : 1033 (java) S 1014 1014 32636 0 -1 64 935 0 0 0 21 1 0 0 15 0 8 0 159810477 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1034] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1034/stat : 1034 (java) S 1014 1014 32636 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159810477 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1035] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1035/stat : 1035 (java) S 1014 1014 32636 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159810477 881512448 35926 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 908412
[startup+12.7823 s]
/proc/loadavg: 2.14 2.02 1.91 3/82 1035
/proc/meminfo: memFree=1595576/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1028] ppid=1014 vsize=860852 CPUtime=12.67
/proc/1028/stat : 1028 (java) R 1014 1014 32636 0 -1 0 54649 0 1 0 1235 32 0 0 25 0 8 0 159810470 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073667200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1028/statm: 215213 54388 1992 14 0 201471 0
[pid=1028/tid=1029] ppid=1014 vsize=860852 CPUtime=1.56
/proc/1028/task/1029/stat : 1029 (java) S 1014 1014 32636 0 -1 64 38744 0 0 0 138 18 0 0 16 0 8 0 159810473 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1030] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1030/stat : 1030 (java) S 1014 1014 32636 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 159810474 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1031] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1031/stat : 1031 (java) S 1014 1014 32636 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 159810474 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1032] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1032/stat : 1032 (java) S 1014 1014 32636 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1033] ppid=1014 vsize=860852 CPUtime=0.28
/proc/1028/task/1033/stat : 1033 (java) S 1014 1014 32636 0 -1 64 970 0 0 0 27 1 0 0 15 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1034] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1034/stat : 1034 (java) S 1014 1014 32636 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1035] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1035/stat : 1035 (java) S 1014 1014 32636 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 908412
[startup+25.6606 s]
/proc/loadavg: 2.12 2.02 1.91 3/82 1035
/proc/meminfo: memFree=1588984/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=0.01
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 760 1704 0 0 0 0 0 1 18 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1028] ppid=1014 vsize=860852 CPUtime=25.49
/proc/1028/stat : 1028 (java) R 1014 1014 32636 0 -1 0 54670 0 1 0 2513 36 0 0 25 0 8 0 159810470 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073667162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1028/statm: 215213 54388 1992 14 0 201471 0
[pid=1028/tid=1029] ppid=1014 vsize=860852 CPUtime=1.58
/proc/1028/task/1029/stat : 1029 (java) S 1014 1014 32636 0 -1 64 38744 0 0 0 140 18 0 0 16 0 8 0 159810473 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1030] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1030/stat : 1030 (java) S 1014 1014 32636 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 159810474 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1031] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1031/stat : 1031 (java) S 1014 1014 32636 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 159810474 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1032] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1032/stat : 1032 (java) S 1014 1014 32636 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1033] ppid=1014 vsize=860852 CPUtime=0.28
/proc/1028/task/1033/stat : 1033 (java) S 1014 1014 32636 0 -1 64 970 0 0 0 27 1 0 0 15 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1034] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1034/stat : 1034 (java) S 1014 1014 32636 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1028/tid=1035] ppid=1014 vsize=860852 CPUtime=0
/proc/1028/task/1035/stat : 1035 (java) S 1014 1014 32636 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159810477 881512448 54388 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 908412
[startup+51.2943 s]
/proc/loadavg: 2.07 2.02 1.91 3/75 1036
/proc/meminfo: memFree=1732848/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=59876 CPUtime=9.24
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 14261 0 0 0 914 10 0 0 25 0 1 0 159814665 61313024 14243 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529798 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 14969 14243 54 142 0 14825 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 107436
[startup+102.545 s]
/proc/loadavg: 2.03 2.01 1.91 3/75 1036
/proc/meminfo: memFree=1726384/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=65820 CPUtime=60.25
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 15827 0 0 0 6014 11 0 0 25 0 1 0 159814665 67399680 15809 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525927 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 16455 15809 54 142 0 16311 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 113380
[startup+162.633 s]
/proc/loadavg: 2.01 2.00 1.91 3/75 1036
/proc/meminfo: memFree=1717104/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=75188 CPUtime=120.06
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 18165 0 0 0 11991 15 0 0 25 0 1 0 159814665 76992512 18147 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 18797 18147 54 142 0 18653 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 122748
################
# More data... #
################
/proc/loadavg: 1.00 1.20 1.54 2/66 1053
/proc/meminfo: memFree=1696832/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=157472 CPUtime=1079.14
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 38657 0 0 0 107874 40 0 0 25 0 1 0 159814665 161251328 38639 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529495 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 39368 38639 54 142 0 39224 0
Current children cumulated CPU time (s) 1120.85
Current children cumulated vsize (KiB) 205032
[startup+1183.73 s]
/proc/loadavg: 1.00 1.16 1.50 2/66 1053
/proc/meminfo: memFree=1693248/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=160904 CPUtime=1139.17
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 39539 0 0 0 113876 41 0 0 25 0 1 0 159814665 164765696 39521 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 40226 39521 54 142 0 40082 0
Current children cumulated CPU time (s) 1180.88
Current children cumulated vsize (KiB) 208464
[startup+1243.77 s]
/proc/loadavg: 1.00 1.13 1.47 2/66 1053
/proc/meminfo: memFree=1690752/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=163424 CPUtime=1199.2
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 40158 0 0 0 119878 42 0 0 25 0 1 0 159814665 167346176 40140 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 40856 40140 54 142 0 40712 0
Current children cumulated CPU time (s) 1240.91
Current children cumulated vsize (KiB) 210984
[startup+1303.83 s]
/proc/loadavg: 1.08 1.12 1.44 2/66 1053
/proc/meminfo: memFree=1688384/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=165684 CPUtime=1259.24
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 40736 0 0 0 125881 43 0 0 25 0 1 0 159814665 169660416 40718 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 41421 40718 54 142 0 41277 0
Current children cumulated CPU time (s) 1300.95
Current children cumulated vsize (KiB) 213244
[startup+1363.89 s]
/proc/loadavg: 1.09 1.11 1.42 2/66 1053
/proc/meminfo: memFree=1686400/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=167544 CPUtime=1319.27
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 41221 0 0 0 131883 44 0 0 25 0 1 0 159814665 171565056 41203 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 41886 41203 54 142 0 41742 0
Current children cumulated CPU time (s) 1360.98
Current children cumulated vsize (KiB) 215104
[startup+1423.94 s]
/proc/loadavg: 1.03 1.09 1.39 2/66 1053
/proc/meminfo: memFree=1684288/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=169668 CPUtime=1379.31
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 41753 0 0 0 137887 44 0 0 25 0 1 0 159814665 173740032 41735 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 42417 41735 54 142 0 42273 0
Current children cumulated CPU time (s) 1421.02
Current children cumulated vsize (KiB) 217228
[startup+1484 s]
/proc/loadavg: 1.01 1.07 1.36 2/66 1053
/proc/meminfo: memFree=1680640/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=173376 CPUtime=1439.34
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 42656 0 0 0 143889 45 0 0 25 0 1 0 159814665 177537024 42638 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529361 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 43344 42638 54 142 0 43200 0
Current children cumulated CPU time (s) 1481.05
Current children cumulated vsize (KiB) 220936
[startup+1544.05 s]
/proc/loadavg: 1.00 1.05 1.34 2/66 1053
/proc/meminfo: memFree=1676032/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=177864 CPUtime=1499.37
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 43807 0 0 0 149891 46 0 0 25 0 1 0 159814665 182132736 43789 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529456 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 44466 43789 54 142 0 44322 0
Current children cumulated CPU time (s) 1541.08
Current children cumulated vsize (KiB) 225424
[startup+1604.1 s]
/proc/loadavg: 1.00 1.04 1.31 2/66 1053
/proc/meminfo: memFree=1672320/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=181560 CPUtime=1559.4
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 44724 0 0 0 155893 47 0 0 25 0 1 0 159814665 185917440 44706 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 45390 44706 54 142 0 45246 0
Current children cumulated CPU time (s) 1601.11
Current children cumulated vsize (KiB) 229120
[startup+1664.15 s]
/proc/loadavg: 1.00 1.03 1.29 2/66 1053
/proc/meminfo: memFree=1669440/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=184516 CPUtime=1619.43
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 45459 0 0 0 161895 48 0 0 25 0 1 0 159814665 188944384 45441 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 46129 45441 54 142 0 45985 0
Current children cumulated CPU time (s) 1661.14
Current children cumulated vsize (KiB) 232076
[startup+1724.21 s]
/proc/loadavg: 1.00 1.02 1.27 2/66 1053
/proc/meminfo: memFree=1666688/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=187192 CPUtime=1679.47
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 46120 0 0 0 167897 50 0 0 25 0 1 0 159814665 191684608 46102 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 46798 46102 54 142 0 46654 0
Current children cumulated CPU time (s) 1721.18
Current children cumulated vsize (KiB) 234752
[startup+1784.26 s]
/proc/loadavg: 1.00 1.02 1.25 2/66 1053
/proc/meminfo: memFree=1663936/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=189856 CPUtime=1739.5
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 46801 0 0 0 173899 51 0 0 25 0 1 0 159814665 194412544 46783 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529330 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 47464 46783 54 142 0 47320 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 237416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.12 s]
/proc/loadavg: 1.00 1.02 1.24 2/66 1053
/proc/meminfo: memFree=1663040/2055920 swapFree=4184048/4192956
[pid=1014] ppid=1012 vsize=47560 CPUtime=41.71
/proc/1014/stat : 1014 (galac.sh) S 1012 1014 32636 0 -1 4194304 798 56409 0 1 0 0 4124 47 17 0 1 0 159810466 48701440 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1014/statm: 11890 362 244 79 0 218 0
[pid=1036] ppid=1014 vsize=190784 CPUtime=1758.35
/proc/1036/stat : 1036 (minisat) R 1014 1014 32636 0 -1 4194304 47017 0 0 0 175784 51 0 0 25 0 1 0 159814665 195362816 46999 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529798 0 0 4096 3 0 0 0 17 1 0 0
/proc/1036/statm: 47696 46999 54 142 0 47552 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 238344
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 1014 and gives childrusage.ru_utime.tv_sec=41 childrusage.ru_utime.tv_usec=252728 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=476927
CPU time returned by wait4() is 41.7297
while last known CPU time is 1800.06
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.13
CPU time (s): 1800.06
CPU user time (s): 1799.08
CPU system time (s): 0.98
CPU usage (%): 99.8295
Max. virtual memory (cumulated for all children) (KiB): 908412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.2527
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57207
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= 2226
involuntary context switches= 2653
runsolver used 1.58376 s user time and 4.42133 s system time
The end
Begin job on node45 on Sat Jan 6 20:08:35 UTC 2007
IDJOB= 195796
IDBENCH= 3302
FILE ID= node45/195796-1168114115
PBS_JOBID= 3477359
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-47_ext.xml
COMMAND LINE= /tmp/evaluation/195796-1168114115/galac.sh /tmp/evaluation/195796-1168114115/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-195796-1168114115 -o ROOT/results/node45/solver-195796-1168114115 -C 1800 -M 900 /tmp/evaluation/195796-1168114115/galac.sh /tmp/evaluation/195796-1168114115/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 0af48681c41d1228d14cb349d509e17b
RANDOM SEED= 161149793
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.259
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.259
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: 1807896 kB
Buffers: 15924 kB
Cached: 117660 kB
SwapCached: 3164 kB
Active: 130220 kB
Inactive: 70172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1807896 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 5704 kB
Writeback: 0 kB
Mapped: 73476 kB
Slab: 33068 kB
Committed_AS: 2950608 kB
PageTables: 1856 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= 66523 MiB
End job on node45 on Sat Jan 6 20:38:38 UTC 2007