0.00/0.05 c 0 Sugar v1-13 + HOME/picosat
0.00/0.05 c 0 BEGIN Fri Jul 4 12:05:57 2008
0.00/0.05 c 0 PID 10008
0.00/0.05 c 0 HOST node56.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1070585-1215165957.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1070585-1215165957.xml' 'HOME/temp.csp'
0.03/1.00 c 1 1 domains, 231 variables, 0 predicates, 0 relations, 2707 constraints
0.95/1.05 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.95/1.05 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.97/1.13 c 1 Parsing HOME/temp.csp
0.97/1.43 c 1 parsed 2939 expressions
0.97/1.43 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.97/1.43 c 1 Converting to clausal form CSP
0.97/1.48 c 1 converted 294 (10%) expressions
0.97/1.53 c 1 converted 588 (20%) expressions
0.97/1.58 c 2 converted 882 (30%) expressions
0.97/1.66 c 2 converted 1176 (40%) expressions
0.97/1.67 c 2 converted 1470 (50%) expressions
0.97/1.69 c 2 converted 1764 (60%) expressions
0.97/1.70 c 2 converted 2058 (70%) expressions
0.97/1.71 c 2 converted 2352 (80%) expressions
0.97/1.72 c 2 converted 2646 (90%) expressions
0.97/1.79 c 2 converted 2939 (100%) expressions
0.97/1.79 c 2 CSP : 735 integers, 0 booleans, 3715 clauses, largest domain size 304
0.97/1.79 c 2 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/1.79 c 2 Propagation in CSP
0.97/1.85 c 2 2083 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.97/1.85 c 2 CSP : 735 integers, 0 booleans, 3715 clauses, largest domain size 26
0.97/1.85 c 2 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/1.85 c 2 Simplifing CSP by introducing new Boolean variables
0.97/1.85 c 2 CSP : 735 integers, 0 booleans, 3715 clauses, largest domain size 26
0.97/1.85 c 2 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/1.89 c 2 Encoding CSP to SAT : HOME/temp.cnf
0.97/1.90 c 2 74 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.97/1.90 c 2 147 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.97/1.90 c 2 221 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.97/1.90 c 2 294 (40%) CSP integer variables are encoded (57 clauses, 691 bytes)
0.97/1.91 c 2 368 (50%) CSP integer variables are encoded (136 clauses, 1560 bytes)
0.97/1.91 c 2 441 (60%) CSP integer variables are encoded (213 clauses, 2407 bytes)
0.97/1.91 c 2 515 (70%) CSP integer variables are encoded (296 clauses, 3320 bytes)
0.97/1.91 c 2 588 (80%) CSP integer variables are encoded (373 clauses, 4167 bytes)
0.97/1.91 c 2 662 (90%) CSP integer variables are encoded (900 clauses, 10979 bytes)
0.97/1.92 c 2 735 (100%) CSP integer variables are encoded (1963 clauses, 24798 bytes)
0.97/1.93 c 2 372 (10%) CSP clauses are encoded (2335 clauses, 28406 bytes)
0.97/1.95 c 2 743 (20%) CSP clauses are encoded (2706 clauses, 33159 bytes)
0.97/1.96 c 2 1115 (30%) CSP clauses are encoded (3078 clauses, 37995 bytes)
0.97/1.97 c 2 1486 (40%) CSP clauses are encoded (3449 clauses, 42818 bytes)
0.97/1.98 c 2 1858 (50%) CSP clauses are encoded (3821 clauses, 47654 bytes)
0.97/1.98 c 2 2229 (60%) CSP clauses are encoded (4192 clauses, 52484 bytes)
0.97/1.99 c 2 2601 (70%) CSP clauses are encoded (4564 clauses, 57851 bytes)
0.97/1.99 c 2 2972 (80%) CSP clauses are encoded (5789 clauses, 72950 bytes)
0.97/2.00 c 2 3344 (90%) CSP clauses are encoded (7205 clauses, 90305 bytes)
0.97/2.04 c 2 3715 (100%) CSP clauses are encoded (28109 clauses, 456888 bytes)
0.97/2.04 c 2 3715 CSP clauses encoded
0.97/2.04 c 2 Writing map file : HOME/temp.map
0.97/2.05 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/2.05 c 2 SAT : 2698 SAT variables, 28109 SAT clauses, 456888 bytes
0.97/2.05 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.94/2.11 c 2 SOLVING HOME/temp.cnf
1.94/2.11 c 2 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.09/1803.60 sh: line 1: 10032 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.09/1803.60 c 1804 DECODING HOME/temp.out WITH HOME/temp.map
1800.09/1803.60 c 1804 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1800.09/1803.61 c ERROR INTERRUPTED
1800.09/1803.62 s UNKNOWN
1800.09/1803.62 c 1804 CPU 1799.8 (0.03 0 1799.77 0.32)
1800.09/1803.62 c 1804 END Fri Jul 4 12:36:01 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070585-1215165957/watcher-1070585-1215165957 -o /tmp/evaluation-result-1070585-1215165957/solver-1070585-1215165957 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1070585-1215165957.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/85 10008
/proc/meminfo: memFree=1420232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=12268 CPUtime=0
/proc/10008/stat : 10008 (sugar) R 10006 10008 9387 0 -1 4194304 348 0 0 0 0 0 0 0 23 0 1 0 1995567272 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 250969029221 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/10008/statm: 3067 316 241 3 0 167 0
[startup+0.054415 s]
/proc/loadavg: 2.00 2.00 2.00 4/85 10008
/proc/meminfo: memFree=1420232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=0.03
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995567272 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101399 s]
/proc/loadavg: 2.00 2.00 2.00 4/85 10008
/proc/meminfo: memFree=1420232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=0.03
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995567272 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301392 s]
/proc/loadavg: 2.00 2.00 2.00 4/85 10008
/proc/meminfo: memFree=1420232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=0.03
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995567272 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701477 s]
/proc/loadavg: 2.00 2.00 2.00 4/85 10008
/proc/meminfo: memFree=1420232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=0.03
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1995567272 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50261 s]
/proc/loadavg: 2.00 2.00 2.00 2/96 10020
/proc/meminfo: memFree=1405232/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=0.97
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 973 6805 0 1 3 0 89 5 15 0 1 0 1995567272 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13600
[startup+3.10189 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 10030
/proc/meminfo: memFree=1412520/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13600
[startup+6.30246 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1415472/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=2232 CPUtime=4.14
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 495 0 0 0 402 12 0 0 25 0 1 0 1995567483 2285568 479 996147200 134512640 134931368 4294956256 18446744073709551615 134525929 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 558 479 48 102 0 453 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 21188
[startup+12.7016 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 10032
/proc/meminfo: memFree=1415280/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=2652 CPUtime=10.47
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 573 0 0 0 1035 12 0 0 25 0 1 0 1995567483 2715648 557 996147200 134512640 134931368 4294956256 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 663 557 48 102 0 558 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 21608
[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1415088/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=2916 CPUtime=23.16
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 650 0 0 0 2303 13 0 0 25 0 1 0 1995567483 2985984 634 996147200 134512640 134931368 4294956256 18446744073709551615 134529123 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 729 634 48 102 0 624 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 21872
[startup+51.1024 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1414320/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=3620 CPUtime=48.52
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 814 0 0 0 4839 13 0 0 25 0 1 0 1995567483 3706880 798 996147200 134512640 134931368 4294956256 18446744073709551615 134525783 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 905 798 48 102 0 800 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 22576
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1413808/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=4288 CPUtime=99.23
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 970 0 0 0 9910 13 0 0 25 0 1 0 1995567483 4390912 954 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 1072 954 48 102 0 967 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 23244
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1413296/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=4708 CPUtime=158.65
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 1081 0 0 0 15852 13 0 0 25 0 1 0 1995567483 4820992 1065 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 1177 1065 48 102 0 1072 0
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (KiB) 23664
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10032
/proc/meminfo: memFree=1412848/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=5116 CPUtime=218.07
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 1194 0 0 0 21794 13 0 0 25 0 1 0 1995567483 5238784 1178 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/10032/statm: 1279 1178 48 102 0 1174 0
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (KiB) 24072
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10043
/proc/meminfo: memFree=1364072/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=5508 CPUtime=277.58
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 1308 0 0 0 27744 14 0 0 25 0 1 0 1995567483 5640192 1288 996147200 134512640 134931368 4294956256 18446744073709551615 134529123 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 1377 1288 48 102 0 1272 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 24464
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10043
/proc/meminfo: memFree=1358504/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
################
# More data... #
################
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9172 CPUtime=1237.1
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 4777 0 0 0 123691 19 0 0 25 0 1 0 1995567483 9392128 2153 996147200 134512640 134931368 4294956256 18446744073709551615 134525751 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2293 2153 48 102 0 2188 0
Current children cumulated CPU time (s) 1239.04
Current children cumulated vsize (KiB) 28128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10092
/proc/meminfo: memFree=1409840/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9084 CPUtime=1297.09
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 4885 0 0 0 129689 20 0 0 25 0 1 0 1995567483 9302016 2136 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2271 2136 48 102 0 2166 0
Current children cumulated CPU time (s) 1299.03
Current children cumulated vsize (KiB) 28040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10092
/proc/meminfo: memFree=1409840/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9084 CPUtime=1357.06
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 4993 0 0 0 135686 20 0 0 25 0 1 0 1995567483 9302016 2136 996147200 134512640 134931368 4294956256 18446744073709551615 134525811 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2271 2136 48 102 0 2166 0
Current children cumulated CPU time (s) 1359
Current children cumulated vsize (KiB) 28040
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10092
/proc/meminfo: memFree=1409840/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9084 CPUtime=1417.04
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 5167 0 0 0 141684 20 0 0 25 0 1 0 1995567483 9302016 2142 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2271 2142 48 102 0 2166 0
Current children cumulated CPU time (s) 1418.98
Current children cumulated vsize (KiB) 28040
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 10092
/proc/meminfo: memFree=1409648/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9348 CPUtime=1477
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 5333 0 0 0 147680 20 0 0 25 0 1 0 1995567483 9572352 2194 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2337 2194 48 102 0 2232 0
Current children cumulated CPU time (s) 1478.94
Current children cumulated vsize (KiB) 28304
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 10092
/proc/meminfo: memFree=1409392/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9612 CPUtime=1536.97
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 5450 0 0 0 153677 20 0 0 25 0 1 0 1995567483 9842688 2254 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2403 2254 48 102 0 2298 0
Current children cumulated CPU time (s) 1538.91
Current children cumulated vsize (KiB) 28568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10103
/proc/meminfo: memFree=1356840/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=9744 CPUtime=1596.95
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 5685 0 0 0 159674 21 0 0 25 0 1 0 1995567483 9977856 2312 996147200 134512640 134931368 4294956256 18446744073709551615 134530094 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2436 2312 48 102 0 2331 0
Current children cumulated CPU time (s) 1598.89
Current children cumulated vsize (KiB) 28700
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10103
/proc/meminfo: memFree=1356136/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=10404 CPUtime=1656.92
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 5946 0 0 0 165671 21 0 0 25 0 1 0 1995567483 10653696 2453 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2601 2453 48 102 0 2496 0
Current children cumulated CPU time (s) 1658.86
Current children cumulated vsize (KiB) 29360
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10103
/proc/meminfo: memFree=1356008/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=10404 CPUtime=1716.88
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 6006 0 0 0 171667 21 0 0 25 0 1 0 1995567483 10653696 2453 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2601 2453 48 102 0 2496 0
Current children cumulated CPU time (s) 1718.82
Current children cumulated vsize (KiB) 29360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10103
/proc/meminfo: memFree=1355752/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=10404 CPUtime=1776.85
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 6126 0 0 0 177664 21 0 0 25 0 1 0 1995567483 10653696 2453 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2601 2453 48 102 0 2496 0
Current children cumulated CPU time (s) 1778.79
Current children cumulated vsize (KiB) 29360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 10103
/proc/meminfo: memFree=1355752/2055920 swapFree=4179440/4192956
[pid=10008] ppid=10006 vsize=13600 CPUtime=1.94
/proc/10008/stat : 10008 (sugar) S 10006 10008 9387 0 -1 4194304 1022 14237 0 2 3 0 182 9 16 0 1 0 1995567272 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10008/statm: 3400 798 370 3 0 500 0
[pid=10031] ppid=10008 vsize=5356 CPUtime=0
/proc/10031/stat : 10031 (sh) S 10008 10008 9387 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1995567483 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10031/statm: 1339 232 193 169 0 50 0
[pid=10032] ppid=10031 vsize=10404 CPUtime=1798.15
/proc/10032/stat : 10032 (picosat) R 10031 10008 9387 0 -1 4194304 6126 0 0 0 179794 21 0 0 25 0 1 0 1995567483 10653696 2453 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 0 0 0
/proc/10032/statm: 2601 2453 48 102 0 2496 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 29360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1803.62
CPU time (s): 1800.15
CPU user time (s): 1799.81
CPU system time (s): 0.333949
CPU usage (%): 99.8073
Max. virtual memory (cumulated for all children) (KiB): 883656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22125
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= 2315
involuntary context switches= 22822
runsolver used 2.30565 second user time and 5.9091 second system time
The end
Begin job on node56 at 2008-07-04 12:05:57
IDJOB=1070585
IDBENCH=55891
IDSOLVER=345
FILE ID=node56/1070585-1215165957
PBS_JOBID= 7881431
Free space on /tmp= 103216 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t3002-11tsp11-1900548667.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070585-1215165957/watcher-1070585-1215165957 -o /tmp/evaluation-result-1070585-1215165957/solver-1070585-1215165957 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1070585-1215165957.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 846ad545923b28f256a1d37e126b7907
RANDOM SEED=160341120
node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
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: 1420712 kB
Buffers: 88904 kB
Cached: 425636 kB
SwapCached: 7360 kB
Active: 314288 kB
Inactive: 244836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1420712 kB
SwapTotal: 4192956 kB
SwapFree: 4179440 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 60996 kB
Slab: 60952 kB
Committed_AS: 3966252 kB
PageTables: 2068 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= 103216 MiB
End job on node56 at 2008-07-04 12:36:03