0.03 rm: No match.
0.03 c --- Preproc Stats ---
0.03 c benchs : unknown.xml
142.84 c start processing
142.84 c start relation processing
145.93 c start cnf exporting
147.21 c parsing time : 142.681
147.21 c preprocessing time : 147.046
147.21
147.21 c Nary constraints - conflicts : 0 supports : 20
147.21 c Binary constraints - conflicts : 0 supports :0
147.21 c max arity constraint : 4
147.21 c Max Tuples generated 24010000
147.21 c relations : 20
147.21 c relations BDD: 20
147.21 c vars : 90552 - clauses : 554813
147.21
147.51 c Start Sat4J solver
147.51
149.08 s SATISFIABLE
149.95 c {propagations=1181181, learnedliterals=5, changedreason=0, reduceddb=0, starts=3, learnedbinaryclauses=93, learnedclauses=314, reducedliterals=607, learnedternaryclauses=30, conflicts=319, serialVersionUID=1, inspects=2760836, rootSimplifications=0, decisions=53133}
151.30 v 11 3 48 44 48 51 64 71 7 5 7 2 2 48 27 49 63 64 71 51 38 37 41 61 8 2 3 22 19 53 3 25 2 61 5 2 22 2 2 48 23 52 56 64 56 33 6 10 46 71 14 2 34 44 2 44 2 2 2 2 2 56 2 2 3 4 2 19 37 67 3 39 2 16 2 44 55 28 6 15 15 2 53 59 46 2 32 50 2 2 62 2 19 37 2 13 55 2 42 63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-249427-1168404190 -o ROOT/results/node60/solver-249427-1168404190 -C 1800 -M 900 /tmp/evaluation/249427-1168404190/galacJ.sh /tmp/evaluation/249427-1168404190/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: 1.94 2.05 2.02 5/81 22432
/proc/meminfo: memFree=1542000/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=8560 CPUtime=0
/proc/22431/stat : 22431 (galacJ.sh) R 22429 22431 22292 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 188816967 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271894431631 0 0 4096 8192 0 0 0 17 1 0 0
/proc/22431/statm: 2140 253 197 79 0 133 0
[startup+0.108734 s]
/proc/loadavg: 1.94 2.05 2.02 5/81 22432
/proc/meminfo: memFree=1542000/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+0.516773 s]
/proc/loadavg: 1.94 2.05 2.02 5/81 22432
/proc/meminfo: memFree=1542000/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564
[startup+1.33886 s]
/proc/loadavg: 2.03 2.06 2.02 3/89 22453
/proc/meminfo: memFree=1498288/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=1.29
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 12978 0 1 0 122 7 0 0 25 0 8 0 188816970 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 12732 2034 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.04
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3353 0 0 0 3 1 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.09
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 865 0 0 0 9 0 0 0 16 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 12732 18446744073709551615 134512640 134570532 4294956064 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) 909772
[startup+2.99102 s]
/proc/loadavg: 2.03 2.06 2.02 3/89 22453
/proc/meminfo: memFree=1498288/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=2.94
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 12978 0 1 0 287 7 0 0 25 0 8 0 188816970 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073689954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 12732 2034 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.04
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3353 0 0 0 3 1 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.09
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 865 0 0 0 9 0 0 0 16 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 909772
[startup+6.28034 s]
/proc/loadavg: 2.02 2.06 2.02 3/89 22453
/proc/meminfo: memFree=1498160/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=6.23
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 12978 0 1 0 616 7 0 0 25 0 8 0 188816970 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073691623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 12732 2034 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.04
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3353 0 0 0 3 1 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.09
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 865 0 0 0 9 0 0 0 16 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 12732 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 909772
[startup+12.768 s]
/proc/loadavg: 2.02 2.06 2.02 3/89 22453
/proc/meminfo: memFree=1497720/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=12.72
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 13093 0 1 0 1265 7 0 0 25 0 8 0 188816970 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 12846 2036 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.06
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3457 0 0 0 5 1 0 0 16 0 8 0 188816974 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.1
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 871 0 0 0 10 0 0 0 16 0 8 0 188816977 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 12846 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 909772
[startup+25.6022 s]
/proc/loadavg: 2.02 2.06 2.02 3/89 22453
/proc/meminfo: memFree=1497592/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=25.55
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 13182 0 1 0 2548 7 0 0 25 0 8 0 188816970 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 12931 2036 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.17
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3540 0 0 0 16 1 0 0 16 0 8 0 188816974 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.11
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 873 0 0 0 11 0 0 0 16 0 8 0 188816977 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 12931 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 909772
[startup+51.2058 s]
/proc/loadavg: 2.01 2.05 2.02 3/89 22453
/proc/meminfo: memFree=1496632/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=51.14
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 13449 0 1 0 5107 7 0 0 25 0 8 0 188816970 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073688547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 13194 2036 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.28
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 3803 0 0 0 27 1 0 0 16 0 8 0 188816974 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.11
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 873 0 0 0 11 0 0 0 16 0 8 0 188816977 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 13194 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 909772
[startup+102.407 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 22453
/proc/meminfo: memFree=1494264/2055920 swapFree=4192812/4192956
[pid=22431] ppid=22429 vsize=47564 CPUtime=0.01
/proc/22431/stat : 22431 (galacJ.sh) S 22429 22431 22292 0 -1 4194304 796 1728 0 0 0 0 0 1 18 0 1 0 188816967 48705536 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 271893850970 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/22431/statm: 11891 362 245 79 0 217 0
[pid=22446] ppid=22431 vsize=862208 CPUtime=102.32
/proc/22446/stat : 22446 (java) R 22431 22431 22292 0 -1 0 14058 0 1 0 10225 7 0 0 25 0 8 0 188816970 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4073518107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22446/statm: 215552 13796 2036 14 0 201457 0
[pid=22446/tid=22447] ppid=22431 vsize=862208 CPUtime=0.52
/proc/22446/task/22447/stat : 22447 (java) S 22431 22431 22292 0 -1 64 4404 0 0 0 51 1 0 0 16 0 8 0 188816974 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22448] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22448/stat : 22448 (java) S 22431 22431 22292 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 188816974 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22449] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22449/stat : 22449 (java) S 22431 22431 22292 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 188816974 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22450] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22450/stat : 22450 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188816977 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22451] ppid=22431 vsize=862208 CPUtime=0.11
/proc/22446/task/22451/stat : 22451 (java) S 22431 22431 22292 0 -1 64 874 0 0 0 11 0 0 0 16 0 8 0 188816977 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22452] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22452/stat : 22452 (java) S 22431 22431 22292 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188816977 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22446/tid=22453] ppid=22431 vsize=862208 CPUtime=0
/proc/22446/task/22453/stat : 22453 (java) S 22431 22431 22292 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188816978 882900992 13796 18446744073709551615 134512640 134570532 4294956064 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 909772
Child status: 0
Real time (s): 151.302
CPU time (s): 151.031
CPU user time (s): 150.205
CPU system time (s): 0.825874
CPU usage (%): 99.821
Max. virtual memory (cumulated for all children) (KiB): 910776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.205
system time used= 0.825874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63396
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4655
involuntary context switches= 4930
runsolver used 0.145977 s user time and 0.398939 s system time
The end
Begin job on node60 on Wed Jan 10 04:43:11 UTC 2007
IDJOB= 249427
IDBENCH= 11783
FILE ID= node60/249427-1168404190
PBS_JOBID= 3523143
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-20/primes-20-20-3-1.xml
COMMAND LINE= /tmp/evaluation/249427-1168404190/galacJ.sh /tmp/evaluation/249427-1168404190/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-249427-1168404190 -o ROOT/results/node60/solver-249427-1168404190 -C 1800 -M 900 /tmp/evaluation/249427-1168404190/galacJ.sh /tmp/evaluation/249427-1168404190/unknown.xml
META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH= 1cbb4617d5f424f7fbcd127b8c97dad2
RANDOM SEED= 903001899
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: 1542480 kB
Buffers: 57808 kB
Cached: 334688 kB
SwapCached: 0 kB
Active: 197936 kB
Inactive: 259680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1542480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3572 kB
Writeback: 0 kB
Mapped: 84276 kB
Slab: 41008 kB
Committed_AS: 5333372 kB
PageTables: 2056 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= 66557 MiB
End job on node60 on Wed Jan 10 04:45:42 UTC 2007